dr hab. Wojciech Czerwiński, prof. UW

Affiliation

Institute of Informatics

Consultations

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

Phone

55-44-564

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