PhD in Computer Science from University of Champaign-Urbana at Illinois, US
Ms and BA in Computer Science from University of Bucharest, Romania
I am interested in Software Verification, Theorem Proving, Inductive and Coinductive Datatypes, Security.
I am a co-designer of Isabelle/ HOL's new inductive and coinductive datatype package and of CoCon, an EasyChair-like conference management system verified for confidentiality.
More information can be found on my webpage.
Blanchette, Jasmin and Böhme, Sascha and Popescu, Andrei and Smallbone, Nicholas (2015) Encoding monomorphic and polymorphic types. Logical Methods in Computer Science . (Accepted/In press)
Kuncar, Ondrej and Popescu, Andrei (2015) A consistent foundation for Isabelle/HOL. In: The 6th conference on Interactive Theorem Proving (ITP), 2015, Nanjing, China. (Accepted/In press)
Blanchette, Jasmin and Popescu, Andrei and Traytel, Dmitriy (2015) Foundational extensible corecursion: a proof assistant perspective. In: The 20th ACM SIGPLAN International Conference on Functional Programming (ICFP), 2015, Vancouver, Canada. (Accepted/In press)
Popescu, Andrei (2009) Weak bisimilarity coalgebraically. In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, 7-10 Sep 2009, Udine, Italy.
Popescu, Andrei and Şerbănuţă, Traian Florin and Roşu, Grigore (2009) A semantic approach to interpolation. Theoretical Computer Science, 410 (12-13). pp. 1109-1128. ISSN 0304-3975