Andrew K. Hirsch @akhirsch@types.pl
- website
- http://akhirsch.science
Postdoc at the Max Planck Institute for Software Systems. Types, security, and categories.
Joined Oct 2020
Postdoc at the Max Planck Institute for Software Systems. Types, security, and categories.
