Registered user since Fri 27 Jul 2018
Name:Matthías Páll Gissurarson
Bio:
Matthías Páll Gissurarson is a PhD student at Chalmers University of Technology. His interests include functional programming, typed-holes, program synthesis, compilers, security, and repair.
Country:Sweden
Affiliation:Chalmers University of Technology, Sweden
Personal website: https://mpg.is
X (Twitter): https://x.com/Tritlo
GitHub: https://github.com/Tritlo
Research interests:Functional Programming, Typed-Holes, Program Synthesis, Security, and Repair
Contributions
POPL 2023-profile
View general profile
View general profile