ETAPS 2019 (series) / Marijn Heule
![Marijn Heule](https://conf.researchr.org/getProfileImage/marijnheule/20a79efa-51a6-48da-b314-66ab923f54eb/small.jpg?1718213554000)
Registered user since Wed 6 Jul 2016
Name:Marijn Heule
Country:United States
Affiliation:The University of Texas at Austin
Personal website: http://www.cs.utexas.edu/users/marijn/
Research interests:Automated Reasoning, Formal Methods
Contributions
ETAPS 2019-profile
View general profile
View general profile