dr hab. Michał Skrzypczak

Afiliacja

profesor uczelni, Instytut Informatyki

Konsultacje

Poniedziałki: 10:15 - 11:30 (proszę się zapowiadać e-mailem) konsultacje obowiązują w czasie trwania zajęć dydaktycznych

Telefon

55-44-566

Publikacje

• Publikacje (49)

Dziedziny badań

• Logika w informatyce
• Teoria automatów

Granty

• Problemy typu hierarchicznego dla automatów na nieskończonych słowach i drzewach
• Wydajne algorytmy dla słabych form niedeterminizmu