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 (EU Erasmus+ KA203 Strategic Partnerships for Higher Education)