Marko Dimjašević

Registered user since Mon 25 Jan 2016

Name: Marko Dimjašević

Affiliation: N/A

Personal website: https://dimjasevic.net/marko/

Research interests: theorem proving, software correctness, functional programming and type theory

Contributions

PLDI 2016 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Committee Member in Artifact Evaluation Committee