UTFacultiesEEMCSNewsProf.Dr. Joost-Pieter Katoen ACM Fellow 2020

Prof.Dr. Joost-Pieter Katoen ACM Fellow 2020 for contributions to model checking of software and probabilistic systems

2020 ACM Fellows Recognized for Work that Underpins Today’s Computing Innovations
International Group Composed of Leaders Across All of Computing’s Disciplines

New York, NY, January 13, 2021—ACM, the Association for Computing Machinery, has named 95 members ACM Fellows for wide-ranging and fundamental contributions in areas including artificial intelligence, cloud computing, computer graphics, computational biology, data science, human-computer interaction, software engineering, theoretical computer science, and virtual reality, among other areas. The accomplishments of the 2020 ACM Fellows have driven innovations that ushered in significant improvements across many areas of technology, industry, and personal life.

The ACM Fellows program recognizes the top 1% of ACM Members for their outstanding accomplishments in computing and information technology and/or outstanding service to ACM and the larger computing community. Fellows are nominated by their peers, with nominations reviewed by a distinguished selection committee. 
Read more here on the ACM website.