dr Jacek Chrząszcz

Affiliation

adiunkt, Institute of Informatics

Mail

J.Chrzaszcz@mimuw.edu.pl

Phone

55-44-571

Room

5710

Website

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

Other information

Employee's page on USOSweb

Office hours (availability for students)

W semestrze letnim 2025/26 zapraszam na konsultacje w środy 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
Można też próbować umówić się ze mną na inny termin.

Fields of research

• Logic in Computer Science
  
• Semantics and Formal Methods
  Formal verification of software, proof-carrying code
• Software Engineering
  Functional and object-oriented programming, code quality, Java

Commissions, councils

• Faculty Council - Pozostali nauczyciele akademiccy
• Institute of Informatics Council - Rada Instytutu Informatyki_2024