Personal Information

• Born on 21/10/1992 , Râmnicu Vâlcea, Romania

See my CV here.

Research Interests

My main research interests can be summarized as Modal logic, Many-sorted logic,Logic in Computer Science. However, I am also very keen on studying the connection between Logic and Databases, which I personally consider to be an interesting research matter that can also contribute to my professional development (Logic in Database, Database Management, Database Security).

Studies at Faculty of Mathematics and Computer Science, University of Bucharest

• 2017 - present: Ph.D. in Computer Science , Supervisor: Ioana Leuștean
• 2015 - 2017: M.Sc. in Database and Web Technologies - Head of class
• 2012 - 2015: B.Sc. in Computer Science
• 2011 - 2014: Bachelor in Mathematics

Professional Experience

• Teaching Assistant
• Gymnasium school teacher (Mathematics and Computer Science)

Teaching at Faculty of Mathematics and Computer Science, University of Bucharest

1. Computational and Mathematical Logic (2017 - present)
2. Database Management System (2017 - present)
3. Database Manipulation (2016 - present)

Publications:

• "A many-sorted polyadic modal logic" (with Ioana Leuștean), submitted. arXiv:1803.09709
• "Operational semantics and program verification using many-sorted hybrid modal logic" (with Ioana Leuștean and Traian Florin Şerbănuţă), submitted. arXiv:1905.05036

Conferences/Seminars:

• Talks at conferences:
  • LATD 2018, Bern, Switzerland, August 28-31
  • SYNASC 2018, Timișoara, Romania, September 20-23
• Talks in seminars:
  • February 22^th 2018: "Many-sorted polyadic modal logic", Logic Seminar, Faculty of Mathematics and Computer Science, University of Bucharest
• Member in the organizing commitee:
  • September 25^th-27^th 2017: “Fuzzy logic meets quantum logic”, BuCal, Faculty of Mathematics and Computer Science, University of Bucharest
  • 2017 - present: Logic Seminar, Faculty of Mathematics and Computer Science, University of Bucharest