
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
Twitter:https://twitter.com/Tritlo
GitHub:https://github.com/Tritlo
Research interests:Functional Programming, Typed-Holes, Program Synthesis, Security, and Repair
Contributions
POPL 2023 | Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile