![Michalis Kokologiannakis](https://pldi20.sigplan.org/getProfileImage/michaliskokologiannakis/1a929160-e21f-42e6-bab9-6f1ff5f84f63/small.jpg?1711497672000)
Registered user since Thu 2 Nov 2017
Name:Michalis Kokologiannakis
Country:Greece
Affiliation:MPI-SWS, Germany
Personal website: https://people.mpi-sws.org/~michalis
Contributions
PLDI 2020-profile
View general profile
View general profile
Registered user since Thu 2 Nov 2017
Contributions