H.vanMaaren@tudelft.nl
Associate professor in
Mathematics&Computer Science at Delft University of Technology , faculty EWI
Courses
IN4077 Computational
Logic and Satisfiability
IN4081
Randomized algorithms
IMPORTANT: These courses are
formally scheduled as weekly 90 minutes courses, but actually are to be
attended by working in small groups. These groups meet on a regular basis,
accordingly a mutually agreed schedule.
Only the first meeting follows the formal schedule.
Research
Publications and
related research output
Contract based Mathematics Decision Support research reports
Editor in Chief of JSAT, Journal on Satisfiability, Boolean Modeling and Computation