Personal Data and Education


Employment
See my CV and
Publication List
Publications
Google Scholar
Scopus
Orcid
Awards, Fellowships, Research Grants
PhD Students
Events I am involved in
 15th FrancoRomanian
Conference on Applied Mathematics, Braşov, Romania, August 2428, 2020
 Working Formal Methods Symposium (FROM 2020), ClujNapoca, Romania, September 46, 2020
 Oberwolfach Workshop 2046: Mathematical Logic: Proof Theory, Constructive Mathematics,
Mathematisches Forschungsinstitut Oberwolfach, Germany, November 814, 2020
Scientific Seminars
Teaching in 2019/2020
Previous teaching
Logic and Security Group, Faculty of Mathematics
and Computer Science, University of Bucharest
Master in Security and Applied Logic,
Faculty of Mathematics and Computer Science, University of Bucharest
