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) |
Last update: 10.10.2022