dr Marcin Kubica

Affiliation

adiunkt, Institute of Informatics

Fields of interest

Formal specification methods, model-checking, automated theorem proving, software engineering

Mail

M.Kubica@mimuw.edu.pl

Phone

55-44-433

Room

4330

Personal webpage*

http://www.mimuw.edu.pl/~kubica

Other information

Employee's page on USOSweb

Office hours (availability for students)

Środy 8:30–10:00 po wcześniejszym potwierdzeniu e-mailem.

*The University of Warsaw is not responsible for the content published on employees’ personal webpages.

Fields of research

• Algorithmics
  Text algorithms and combinatorics on words

Commissions, councils

• Institute of Informatics Council - Rada Instytutu Informatyki_2024