![Michalis Kokologiannakis](https://popl20.sigplan.org/getProfileImage/michaliskokologiannakis/c28336ee-cb69-4dc8-8e38-517e9ea2e7c4/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
POPL 2020-profile
View general profile
View general profile
Registered user since Thu 2 Nov 2017
Contributions