Get my own profile
Public access
View all35 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Mikhail Yasha Ramalho GadelhaIgaliaVerified email at igalia.com
Bernd FischerComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Iury BessaAssistant Professor at Federal University of AmazonasVerified email at ufam.edu.br
Eddie Batista de Lima FilhoFederal University of Amazonas and TPV TechnologyVerified email at tpv-tech.com
Raimundo BarretoProfessor of Computer Science, Universidade Federal do AmazonasVerified email at icomp.ufam.edu.br
Felipe R. MonteiroAmazonVerified email at amazon.com
Hussama Ibrahim IsmailFederal University of AmazonasVerified email at ufam.edu.br
Rafael MenezesThe University of Manchester, Universidade Federal do AmazonasVerified email at postgrad.manchester.ac.uk
Herbert RochaProfessor of Computer Science, Federal University of RoraimaVerified email at ufrr.br
Daniel KroeningAmazonVerified email at amazon.com
Mustafa A. MustafaUniversity of Manchester & COSIC KU LeuvenVerified email at manchester.ac.uk
Jeremy MorseUniversity of BristolVerified email at bristol.ac.uk
Kaled AlshmranyInstitute of Public Administration (IPA)Verified email at ipa.edu.sa
Alessandro TrindadeAdjunct Professor at Electricity Department, Federal University of Amazonas, BrazilVerified email at ufam.edu.br
Pascal KesseliDiffblue Ltd.Verified email at diffblue.com
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaVerified email at icrea.cat
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerified email at diffblue.com
Ahmed BhayatUniversity of ManchesterVerified email at postgrad.manchester.ac.uk
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
Cristina DavidUniversity of BristolVerified email at bristol.ac.uk
Follow![Lucas C. Cordeiro](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=Lje1SFgAAAAJ&citpid=5)
Lucas C. Cordeiro
Professor of Computer Science, University of Manchester
Verified email at manchester.ac.uk - Homepage