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.

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.

Scheduling Research Professional

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

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

H. Rudová, T. Müller, K. Murray, Complex university course timetabling. Journal of Scheduling, DOI 10.1007/s10951-010-0171-3, To Appear, 2010.

T. Müller, K. Murray Comprehensive approach to student sectioning. Annals of Operations Research, DOI 10.1007/s10479-010-0735-9, To Appear, 2010.

T. Müller, ITC2007 solver description: a hybrid approach. Annals of Operations Research, Volume 127, Number 1 (November 2009), 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