dr hab. Wojciech Czerwiński, prof. UW

Affiliation

Institute of Informatics

Mail

W.Czerwinski@mimuw.edu.pl

Phone

55-44-564

Website

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

Consultations

poniedziałek 16:15 - 17:45 konsultacje obowiązują w czasie trwania zajęć dydaktycznych

Publications

• Publications list (47)

Fields of research

• Automata Theory
• Concurrency
• Data bases
• Logic in Computer Science

Grants

• Challenging problems in infinite-state systems
• Separability problem in automata theory