Dr Juan Navarro Pérez
Lecturer
Research Interests
Software verification, program analysis, theorem proving, and applications of logic in computation. Other general interests include artificial intelligence, formalisation of mathematics, and—sometimes—online social networks.
Professional Highlights
Programme Committees LANMR (2006–2011), CONIELECOMP (2011, 2012), ENC (2008, 2011), MICAI (2009, 2010), WoLLIC (2006).
Prize And Award Member level 1 of the National System of Researchers (SNI) in Mexico (2010 to date).
Contact
Room: CS 333Tel: +44 20 7882 6976
email: juan.navarro@eecs.qmul.ac.uk
website: http://navarroj.com/research