HH with sealions

Holger H. Hoos ⟩ Awards & recognition


I have been very fortunate to be working with many talented students and colleagues over the years, and I've benefitted enormously from mentors and role models; any awards and recognition given to me should also be seen as reflecting on their contributions.

Fellowships:

Awards & recognition for scholarship:

Other awards & recognition (selection):
  • 1st, 2nd and 3rd prizes in the ICON Challenge on Algorithm Selection 2015, for the automatic algorithm selection systems zilla (joint work with Chris Cameron, Alex Frechette, Frank Hutter and Kevin Leyton-Brown) and autofolio (joint work with Marius Lindauer, Frank Hutter and Torsten Schaub)
  • Chaire internationale, awarded by the UniversitÚ Libre de Bruxelles (Belgium), 2015
  • 1st prizes in 2 of the 3 main tracks, 2nd in the 3rd main track, and 1st in the sequential portfolio track of the 2012 SAT Challenge, for the SAT solver SATzilla-12 (joint work with Lin Xu, Frank Hutter, Jonathan Shen and Kevin Leyton-Brown)
  • 1st prizes in 2 of the 18 categories of the 2011 SAT Solvers Competition 2011, for the SAT solver sparrow2011 (joint work with my postdoctoral fellow Dave Tompkins and collaborators Andreas Fr÷hlich and Adrian Balint)
  • Distinguished UBC Scholar in Residence, awarded by the Peter Wall Institute for Advanced Studies, 2010
  • Three 1st prizes and two 2nd in 5 of the 9 categories of the 2009 SAT Solvers Competition, for the SAT solver SATzilla-09 (joint work with Kevin Leyton-Brown and our students Frank Hutter and Lin Xu).
  • Incredible instructor award (highest teaching award given by the UBC Department of Computer Science), for the 2008 edition of my senior undergraduate course on algorithms for bioinformatics (co-designed with Anne Condon)
  • Three 1st prizes, one 2nd and one 3rd price in 5 of the 9 categories of the 2007 SAT Solvers Competition, for the SAT solver SATzilla (joint work with Kevin Leyton-Brown and our students Frank Hutter and Lin Xu).
  • 1st prize in the QF BV category of the 2007 Satisfiability Modulo Theories (SMT) Competition, for an automatically tuned version of the solver SPEAR (based on joint work with Domagoj Babic, Alan Hu and my student Frank Hutter).
  • 1st prize in the random category of the 2004 SAT Solvers Competition, for the SAT solver Adaptive Novelty+ (designed by me and implemented jointly with my student Dave Tompkins)
  • Early Career UBC Scholarship, awarded by the Peter Wall Institute for Advanced Studies, 2001-2002
  • Postgraduate scholarship, awarded by the German National Academic Foundation (Studienstiftung des Deutschen Volkes), 1998
  • Foreign studies scholarship, awarded by the German National Academic Foundation (Studienstiftung des Deutschen Volkes), 1996-1997
  • Student scholarship, awarded by the German National Academic Foundation (Studienstiftung des Deutschen Volkes), 1991-1996

⟩ Home


© 2004-21 Holger H. Hoos