The University of Nottingham School of Computer Science Campus in Wollaton Road Nottingham NG8 1BB The United Kingdom +44 (0) 115 84 66520

Jakub Marecek PhD Student with Edmund K. Burke and Andrew J. Parkes in the ASAP Group at Nottingham School of Computer Science Industrial Mathematics Intern at Arm Ltd. in Cambridge Best reached at or . See here for further contact details. Research Interests Integer Programming (Solvers) Graph (Colouring) Algorithms Applications in Scheduling and Timetabling Steal a peek at some pre-prints or see my co-authors. Teaching & Materials Development Potential: Project ideas for G53IDS, G53IDA, or G54PRO Present: No teaching duties Previous: Algorithms and Data Structures (TA 2008), Corpus Linguistics (2006-7), C++ Programming (1999-2001), English for the Deaf (2003-6), English or Czenglish? (2005-7), Python Programming (2002-3) Previous Work & Education 2006-2009: Master's Student, Masaryk University Faculty of Informatics 2006-2007: Vistiting Postgraduate Student at The University of Nottingham 2003-2006: Undergraduate, Masaryk University Faculty of Informatics 2003-2006: Undergraduate, Masaryk University Faculty of Arts (English and Film) 2003-2006: Tutor of English, Teiresias: Support Centre for Students with Special Needs 2002-2003: Windows Mobile Software Developer, Aponia Software 2000-2001: PHP/Perl Coder, BrnoCity See my CV or my LinkedIn profile for details. See also some pictures, memorabilia, and friends.

Papers:

1. Some Probabilistic Results on Width Measures of Graphs
   a talk at GROW 2009, an extended abstract in arXiv
2. A Supernodal Formulation of Vertex Colouring with Applications in Course Timetabling
   in Annals of Operations Research: pre-print, instances and results, BibTeX; joint work with Edmund K. Burke, Andrew J. Parkes, and Hana Rudova
3. Decomposition, Reformulation, and Diving in University Course Timetabling
   in Computers and Operations Research: DOI, pre-print, BibTeX; joint work with Edmund K. Burke, Andrew J. Parkes, and Hana Rudova
4. A Branch-and-Cut Procedure for the Udine Course Timetabling Problem
   in PATAT 2008: pre-print, slides, BibTeX; extended version submitted to Annals of Operations Research; joint work with Edmund K. Burke, and Andrew J. Parkes, and Hana Rudova
5. Penalising Patterns in Timetables: Novel Integer Programming Formulations
   in OR 2007: DOI, pre-print, instances and results, BibTeX, slides; joint work with Edmund K. Burke, Andrew J. Parkes, and Hana Rudova

Theses:

• Course Timetabling with Integer Programming
  a master's thesis with Edmund K. Burke, Andrew J. Parkes, and Hana Rudova: text, code
• A Polylog Algorithm for Linear Discrete Optimization in 3D
  an undergraduate thesis with Petr Hlineny: text, demo, slides

Prototypes:

• Plosar: Programming Language for Optimisation with Semi-Automated Reformulations
• Philipaa: Primal Heuristic for Integer Linear Programming with Automated Aggregations
• Memos Solver for Timetabling: Multiphase Exploitation of Multiple Objective-/Value-restricted Submodels for Udine Course Timetabling

plus joint work with Sam D. Allen on solvers for container loading and consultations to Jason A. D. Atkin working on runway sequencing.