prof. dr hab. Mikołaj Bojańczyk

Afiliacja

profesor, Instytut Informatyki

Mail

M.Bojanczyk@mimuw.edu.pl

Telefon

55-44-338

Pokój

3380

Strona internetowa

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

Inne informacje

Strona pracownika w USOSweb

Terminy konsultacji dla studentów

środy: 16:00- 17:30

termin konsultacji obowiązuje w czasie trwania zajęć dydaktycznych

Publikacje

• Publikacje (107)

Dziedziny badań

• Bazy danych
  Języki zapytań dla XML
• Logika w informatyce
  Logiki dla weryfikacji, teoria automatów
• Teoria automatów
  Logiki dla weryfikacji, teoria automatów

Granty

• Skończenie stanowe obliczenia wielomianowe
  Finansowany przez: Narodowe Centrum Nauki (Maestro)
• A unified theory of finite-state recognisability
  Finansowany przez: European Research Council
• Nowe pojęcie skończoności w teorii obliczeń
  Finansowany przez: Narodowe Centrum Nauki
• Expressive Power of Tree Logics (SOSNA)
  Finansowany przez: European Research Council
• Applications of automata theory to processing XML documents
  Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
• Foundations of XML – Safe Processing of Dynamic Data over the Internet (FOX)
  Finansowany przez: Komisja Europejska
• Automata: from Mathematics to Applications (AutoMathA)
  Finansowany przez: European Science Foundation