dr hab. Wojciech Czerwiński, prof. UW

Afiliacja

profesor uczelni, Instytut Informatyki

Konsultacje

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

Telefon

55-44-564

Publikacje

• Publikacje (47)

Dziedziny badań

• Bazy danych
• Logika w informatyce
• Modele współbieżności
• Teoria automatów

Granty

• Challenging problems in infinite-state systems
• Problem separacji w teorii automatów