dr hab. Eryk Kopczyński

Afiliacja

adiunkt, Instytut Informatyki

Mail

E.Kopczynski@mimuw.edu.pl

Telefon

55-44-403

Pokój

4580

Strona internetowa

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

Inne informacje

Strona pracownika w USOSweb

Terminy konsultacji dla studentów

termin do ustalenia indywidualnie e-mailem na erykk@mimuw.edu.pl

konsultacje obowiązują w czasie trawania zajęć dydaktycznych

Publikacje

• Publikacje (38)

Dziedziny badań

• Logika w informatyce
  
• Teoria automatów
  Gry nieskończone w weryfikacji

Granty

• Obliczeniowe aspekty geometrii nieeuklidesowych
  Finansowany przez: Narodowe Centrum Nauki
• Parametry modeli skończonych
  Finansowany przez: Narodowe Centrum Nauki