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.