dr hab. Paweł Parys, prof. UW

Afiliacja

profesor uczelni, Instytut Informatyki

Mail

parys@mimuw.edu.pl

Telefon

55-44-573

Pokój

5730

Konsultacje

wtorki, 12:00-14:00 konsultacje obowiązują w czasie trwania zajęć dydaktycznych

Publikacje

• Publikacje (65)

Dziedziny badań

• Bazy danych
• Logika w informatyce
• Teoria automatów

Granty

• Granice rozstrzygalności w teorii automatow
• Obliczeniowe aspekty gier nieskończonych
• Własności ilościowe dla schematów rekrurencyjnych wyższego rzędu
• Własności ilościowe dla schematów rekurencyjnych wyższego rzędu