![Michalis Kokologiannakis](https://popl23.sigplan.org/getProfileImage/michaliskokologiannakis/1b62f43d-e7c0-4bf9-b772-9187fc2cac99/small.jpg?1711497672000)
Registered user since Thu 2 Nov 2017
Name:Michalis Kokologiannakis
Country:Germany
Affiliation:MPI-SWS
Personal website: https://people.mpi-sws.org/~michalis
Contributions
POPL 2023-profile
View general profile
View general profile
Registered user since Thu 2 Nov 2017
Contributions