Lucas Carvalho Cordeiro (Preferred)
Lucas Carvalho Cordeiro
Reader, University of Manchester
Joined
March 2022
Names
Emails
****@manchester.ac.uk (Confirmed)
Personal Links
Career & Education History
Reader
University of Manchester (manchester.ac.uk)
2018 – Present
Advisors, Relations & Conflicts
Expertise
Security
2018 – Present
Program Synthesis
2016 – Present
Software Verification
2008 – Present