Dr Wojciech Czerwiński z Wydziału Matematyki, Informatyki i Mechaniki UW dołączył do grona laureatów prestiżowych grantów Europejskiej Rady ds. Badań Naukowych. Jego zespół  podejmie kilka ważnych wyzwań dotyczących systemów informatycznych o nieskończonej liczbie stanów. Czy da się opracować szybszy algorytm odpowiadający na pytanie o osiągalność poszczególnych stanów konkretnego systemu komputerowego? To jedno z pytań, na … Czytaj dalej ERC Starting Grant dla dr. Wojciecha Czerwińskiego z Instytutu Informatyki UW