Aktualności
Warsztaty z dowodzenia w systemie Coq

Instytut Informatyki zaprasza
w dniach 2 i 3 września na warsztaty z dowodzenia w systemie Coq,
które poprowadzi prof. Rajeev Gore
Wyniki World’s TOP 2% Scientists 2020
Z przyjemnością informujemy, że dwóch pracowników naszego Instytutu: prof. dr hab. inż. Marzena Kryszkiewicz oraz dr hab. inż. Wojciech Mazurczyk, profesor uczelni, znaleźli się na prestiżowej liście najczęściej cytowanych dwóch procent naukowców na świecie w roku 2020.