Dr. Wojciech Czerwiński from the UW Faculty of Mathematics, Informatics and Mechanics has received prestigious European Research Council grants. His team will analyse problems related to infinite state systems. Is it possible to develop a faster algorithm answering the question about the reachability of a specific computer system? It is one of the questions asked … Continue reading ERC Starting Grant for Dr. Wojciech Czerwiński from the UW Faculty of Mathematics, Informatics and Mechanics