Programming Languages Lunch Colloquia - Marijn Heule/UTCS, "Encoding Applications into SAT (part 1)," PAI 3.14

Contact Name: 
John Thywissen
PAI 3.14
Nov 19, 2012 12:00pm - 1:30pm

Type of Talk: Programming Languages Lunch Colloquium

Speaker/Affiliation: Marijn Heule/UTCS

Talk Audience: UTCS Faculty and Grads

Date/Time: 11/19/2012, 12:00 PM to 1:30 PM

Location: PAI 3.14

Talk Title: "Encoding Applications into SAT (part 1)" 

Talk Abstract: Part one of a two-part tutorial.  A follow-on to Marijn's SAT tutorial in September.

Speaker Bio: Marienus (Marijn) Johannes Hendrikus Heule earned his M.Sc. and Ph.D. degrees from Delft University of Technology.  He worked in the Algorithms group 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. Marijn worked as editor of the Handbook on Satisfiability ( IOS Press, eds. Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh).
He is currently a Research Fellow at UT, working with the ACL2 formal methods group in the UT Department of Computer Science.