dr Marcin Engel, prof. ucz.

Affiliation

profesor uczelni, Institute of Informatics

Fields of interest

Specification methods, automated theorem proving

Mail

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

Commissions, councils

• Faculty Council - Electoral College
• Institute of Informatics Council - Rada Instytutu Informatyki_2024