dr Jacek Chrząszcz

Afiliacja

adiunkt, Instytut Informatyki

Mail

J.Chrzaszcz@mimuw.edu.pl

Telefon

55-44-571

Pokój

5710

Strona internetowa

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

Inne informacje

Strona pracownika w USOSweb

Terminy konsultacji dla studentów

W semestrze zimowym 2024/25 zapraszam na konsultacje w czwartki w godz 14:15-15:45 w moim biurze 5710.
Ale bardzo proszę o informację np. drogą mailową o zamiarze przyjścia - jeśli nikt się nie zapowie, będę czekać tylko kwadrans akademicki :)
Gdybym musiał odwołać albo przenieść konsultacje, to informację o tym umieszczę pod adresem
https://www.mimuw.edu.pl/~chrzaszcz/konsultacje.html

Dziedziny badań

• Inżynieria oprogramowania
  Programowanie funkcyjne i obiektowe, jakość kodu, Java
• Logika w informatyce
  Rachunek lambda, przepisywanie termów, systemy wspomagania dowodzenia
• Semantyka i metody formalne
  Formalna weryfikacja oprogramowania, kod zawierający dowód