Open source, local-search based solver of Constraint Satisfaction and Optimization Problems.
It was among finalists for all three tracks of the International Timetabling Competition 2007 and it won two of them, see http://www.unitime.org/itc2007 for more details.

Course timetabling, student scheduling, examination timetabling, etc.
For more information see http://www.unitime.org.

Organization of the International Timetabling Competition 2019 which was aimed to motivate further research on complex university course timetabling problems coming from practice. See https://www.itc2019.org for more details.

PhD in Theoretical Informatics, 2005. Research focused on constraint programming, timetabling, interactivity. PhD thesis in Constraint Based Timetabling.

Entitled RNDr. (Rerum Naturalium Doctoris), 2004.

Master of Science in Computer Science, 2001. Specialization in Software Engineering, Computer Graphics, Database Systems. Studies finished with distinction Excellent. Master thesis in Interactive Timetabling.

Engineering (master equivalent) degree in Electronics, 2003. Specialization in Radioelectronics and Communication Technology. Diploma thesis in Evolutionary Design of Microwave Circuits.

Partner

November 2017 to present

• Research, development and support of the UniTime open source software for university timetabling

Scheduling Research Professional / Lead Software Engineer

January 2010 to present

• Research, design and development of solutions for Purdue University timetabling and scheduling problems
• Coordination and leading the development of automated systems to implement these solutions at Purdue

Founding Partner

June 2008 to December 2018

• Research, development and support of the UniTime open source software for university timetabling

Software Engineer

October 2008 to December 2010

• Czech engineering regional team, Google Maps.

Scheduling Research Coordinator

October 2005 to September 2008

• Research, design and development of solutions for Purdue University timetabling and scheduling problems
• Coordination and leading the development of automated systems to implement these solutions at Purdue
• Java, J2EE, Hibernate, Oracle, MySQL

Researcher (part time, as PhD student)

October 2001 to April 2005

• Participation in the project of development of automated course timetabling system for Purdue
• Java, Sicstus Prolog, Oracle Database

R&D Engineer (part time, from October 2004 full time)

October 2000 - September 2005

• Work on digital prepress workflow, software for automated testing
• Java, J2EE (JBoss AS), C/C++, Microsoft SQL

Programmer (part time)

February 2000 - June 2000

• Creation of an advertisement system for a newspaper company
• Java, MySQL

Practice in division EOT - Applications of work processes and technical development

December 1997 - December 1999

• Software for automatic faxing order forms via fax-modem
• Borland Delphi

T. Müller, Real-life examination timetabling. Journal of Scheduling, Volume 19, Issue 3, Pages 257-270, DOI 10.1007/s10951-014-0391-z, 2016.

T. Müller, H. Rudová, Real-life curriculum-based timetabling with elective courses and course sections. Annals of Operations Research, Volume 239, Issue 1, Pages 153-170, DOI 10.1007/s10479-014-1643-1, 2016.

H. Rudová, T. Müller, K. Murray, Complex university course timetabling. Journal of Scheduling, Volume 14, Number 2, Pages 187-297, DOI 10.1007/s10951-010-0171-3, 2011.

T. Müller, K. Murray Comprehensive approach to student sectioning. Annals of Operations Research, Volume 181, Number 1, Pages 249-269, ISSN 0254-5330, DOI 10.1007/s10479-010-0735-9, 2010.

T. Müller, ITC2007 solver description: a hybrid approach. Annals of Operations Research, Volume 127, Number 1, Pages 429-446, ISSN 0254-5330, DOI 10.1007/s10479-009-0644-y, 2009.

K. Murray, T. Müller, H. Rudová, Modeling and Solution of a Complex University Course Timetabling Problem. In Edmund Burke and Hana Rudova, editors, Practice and Theory of Automated Timetabling, Selected Revised Papers, Springer-Verlag LNCS 3867, pages 189-209, 2007.

T. Müller, R. Barták, H. Rudová, Minimal Perturbation Problem in Course Timetabling. In Edmund Burke and Michael Trick, editors, Practice and Theory of Automated Timetabling, Selected Revised Papers, pages 126-146. Springer-Verlag LNCS 3616, 2005.

R. Barták, T. Müller, H. Rudová, A New Approach to Modeling and Solving Minimal Perturbation Problems. Rudová, In K.R. Apt, F. Fages, F. Rossi, P. Szeredi and J. Vancza (eds.), Recent Advances in Constraints. Springer-Verlag LNAI 3010, pages 233-249, 2004.

R. Barták, T. Müller, H. Rudová, Minimal Perturbation Problem - A Formal View. Neural Network World (2003), vol. 13, no. 5, p. 501-511.

• Czech - mother tongue
• English - fluent in writing and speaking

• Sport (dancing, skiing, swimming, bicycling), culture (theaters, movies), traveling, photography