Dr Juan Navarro Pérez
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.
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).