Teaching		Welcome to Faculty of Mathematics and Informatics: Discover a lecture EN / RO
Research		Automated Reasoning, Logic, Mathematical Theory Exploration, Algorithm Synthesis
Projects		ARC: Automated Reasoning in the Class 2019-2022 (EU Erasmus+ KA203 Strategic Partnerships for Higher Education)	AiRobo: Artificial Intelligence based Robotics 2023-2026 (EU Erasmus+ KA220 Cooperation Patnerships for Higher Education)