You are not logged in |
Return to the list of employees
dr Marcin Engel, prof. ucz.
- Affiliation
-
profesor uczelni,
Institute of Informatics
- Fields of interest
- Specification methods, automated theorem proving
- M.Engel@mimuw.edu.pl
- Phone
- 55-44-221
- Room
- 2210
- Other information
- Employee's page on USOSweb
- Office hours (availability for students)
środa, godz. 10-12
Functions
- Deputy dean of students Faculty of Mathematics, Informatics, and Mechanics
Fields of research
-
Software Engineering
Automated theorem proving
