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
| ICST 2023 | Spectacular: Finding Laws from 25 Trillion Programs | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile