Aktualności

Rząd Japonii funduje stypendia na studia magisterskie na Uniwersytecie Waseda 

Realizacja studiów rozpocznie się we wrześniu 2025 roku, ale już niebawem spotkanie informacyjne.

Instytut Informatyki zaprasza

w dniach 2 i 3 września na warsztaty z dowodzenia w systemie Coq,

które poprowadzi prof. Rajeev Gore 

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.