Registered user since Fri 27 Jul 2018
Name:Matthías Páll Gissurarson
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.
Affiliation:Chalmers University of Technology, Sweden
Research interests:Functional Programming, Typed-Holes, Program Synthesis, Security, and Repair
|POPL 2023||Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track|
|Show activities from other conferences|
Using general profile