|
| Resume |
 |
|
|
|
|
Marienus (Marijn) Johannes Hendrikus Heule was born on March 12, 1979 in
Rijnsburg.
He solved his first 100-piece puzzle before he could walk.
Marijn attended the Rijnlands Lyceum in Oegstgeest
from 1991 until 1997, when he obtained his VWO-diploma.
Following his life-long fascination with puzzles, he enrolled in the
Delft University of Technology
in 1997, where he studied Computer Science.
For his ingenieurs degree (MSc, obtained in 2004), he first studied solvability of two-player board games
with perfect information with Dr.drs. L.J.M. Rothkrantz and finished his final assignment
on satisfiability solving with Dr. H. van Maaren. Marijn received the award for the best
graduate student of the year in Computer Science.
Subsequently, Marijn started working as a PhD student (April 2004 - March 2008, cum laude) at the
Algorithms group of
Delft University of Technology with
Dr. H. van Maaren as his supervisor.
He studied a wide variety of subjects within the field of
satisfiability (SAT),
which resulted in his
thesis. Meanwhile, he kept his focus on solving itself and wrote software
dedicated to the SAT problem. His solver
march
won several awards in various editions of the prestigious
SAT competitions.
In addition to his research, Marijn helped set up the
Journal on Satisfiability, Boolean Modeling and Computation
(JSAT) and now contributes to this journal as a production editor.
At Delft University, he gives courses in Satisfiability, supervises several graduate students
and advises them on their masters' theses.
Currently, Marijn works as editor of the Handbook on Satisfiability (
IOS Press, eds. Armin Biere, Marijn Heule,
Hans van Maaren, and Toby Walsh). Also, he continues his research in Delft as a
post-doc, this time focusing on cardinality solving.
|
|
|
|
|
Resume
