dr hab. Michał Skrzypczak, prof. ucz.

Affiliation

profesor uczelni, Institute of Informatics

Fields of interest

Descriptive set theory, MSO logic, automata theory, infinite combinatorics.

Mail

michal.skrzypczak@uw.edu.pl

Phone

55-44-566

Room

5660

Personal webpage*

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

Other information

Employee's page on USOSweb

Office hours (availability for students)

Poniedziałki: 10:15 - 11:30 (proszę się zapowiadać e-mailem)

konsultacje obowiązują w czasie trwania zajęć dydaktycznych

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

Publications

• Publications list (53)

Fields of research

• Automata Theory
  
• Logic in Computer Science
  

Commissions, councils

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

Grants

• Efficient algorithms for weak forms of non-determinism
• Hierarchy-type Problems for Automata on Infinite Words and Trees
  Financed by: National Science Center