Assoc. Prof. Mgr. Hana Rudová, Ph.D.

Basic CV Supervisor Qualifications Publications Projects Teaching

Person Identification

doc. Mgr. Hana Rudová, Ph.D., born September 25, 1972, in Brno, Czech Republic, married, one child.

Workplace

Department of Computer Systems and Communications
Faculty of Informatics
Masaryk University
Botanická 68a
602 00 Brno
Czech Republic
tel: +420-549 496 345
e-mail: hanka@fi.muni.cz
url: http://www.fi.muni.cz/~hanka

Employment Position

Associate Professor, Vice-Dean for Bachelor and Master Studies

Education and Academic Qualifications

2010: habilitation ("venia docendi" equiv.) in Informatics. Thesis on Constraint-based Scheduling. Masaryk University, Brno.
2001: PhD, Computer Science, Constraint Satisfaction with Preferences, Faculty of Informatics, Masaryk University, Brno.
1995: masters degree, Mathematical Informatics, Mgr., Simulation kernel in C++, Faculty of Informatics, Masaryk University, Brno.
1995: bachelors degree, Mathematical Informatics, Bc., Faculty of Informatics, Masaryk University, Brno.
1990: graduation, specialization in mathematics, physics, grammar-school Vídeňská, Brno.

Employment Summary

2011- : Faculty of Informatics, Masaryk University, vice-dean for bachelor and master studies.
2010- : Faculty of Informatics, Masaryk University, associate professor.
2001-2010 : Faculty of Informatics, Masaryk University, assistant professor.
2000-2001 : Faculty of Informatics, Masaryk University, research assistant.
1995-2001 : Faculty of Informatics, Masaryk University, PhD student.
1995-1997: Center of Information Technology, Czech Railways, system administrator.

Teaching Activities

current teaching: Logic Programming I, Constraint Programming, Scheduling, Graphs and Networks;
past teaching: Laboratory of Advanced Network Technologies, Design of Algorithms I, Constraint Programming and Scheduling ( Hochschule Konstanz Technik, Wirtschaft und Gestaltung, Fakultät Informatik, Germany)
supervisor of Bachelor, Master, and PhD Thesis;
state exams committee chair for Bachelor and Mater studies at Faculty of Informatics, Masaryk University;
reviewer of Master thesis at Faculty of Mathematics and Physics, Charles University;
reviewer of PhD thesis at Faculty of Mathematics and Physics, Charles University and Faculty of Electrical Engineering, Czech Technical University in Prague;
ERASMUS coordinator for University of Nottingham (UK) and Hochschule Konstanz Technik, Wirtschaft und Gestaltung, Fakultät Informatik (Germany).

Research Interests

Scheduling, Scheduling in Parallel and Distributed Environment, Educational Timetabling, Constraint Satisfaction, Soft Constraints, Meta-Heuristics.

Academical Stays

2009: two weeks, teaching, Hochschule Konstanz Technik, Wirtschaft und Gestaltung, Fakultät Informatik, Germany.
2008: one week, research, Institute of Information Science and Technologies (ISTI), Italian National Research Council (CNR), Pisa, Italy.
2008: two weeks, research stay, Purdue University, IN, USA.
2007: two weeks, teaching, University of Nottingham, UK.
2001: five months, scheduling systems research associate, Purdue University, IN, USA.

University Activities

2011- : Vice-Dean for Bachelor and Master Studies, Faculty of Informatics, Masaryk University.
2011- : member of Doctoral Committee for Computer Systems and Technologies and Computer Systems and Technologies.

Funded Projects

2012-2015: Grant Agency of Czech Republic, Dyschnet - Dynamic Scheduling and Planning of Computational and Network Resources, applicant.
2007-2009: Grant Agency of Czech Republic, Dynamic Aspects of Scheduling, in cooperation with Charles University, joint applicant.
2006-2008: CoreGRID, EU NoE.
2005-2011: Ministry of Education of the CR, research intent Parallel and distributed systems.
2004-2005: Purdue University, IN, USA, Timetabling Project III, principal investigator.
2002-2003: Purdue University, IN, USA, Timetabling Project II, principal investigator.
2001-2002: Purdue University, IN, USA, Timetabling Project, principal investigator.
2001-2003: Grant Agency of Czech Republic, Advanced Planning and Scheduling, in cooperation with Charles University, joint applicant.
1999: Foundation for the Development of Universities in Czech Republic, Over-constrained systems.
1998: Foundation for the Development of Universities in Czech Republic, Constraint Logic Programming.

Awards Related to Science and Research

Member of the Steering Committee of the International Series of Conferences on the Practice and Theory of Automated Timetabling (PATAT), from 2006.
Guest co-editor of the Special issue of Journal of Scheduling on "Applications and Methodologies for Planning and Scheduling".
Co-chair of the track on AI Planning and Scheduling, 22nd International Florida Artificial Intelligence Research Society Conference (FLAIRS-22), with Roman Barták, 2009.
Co-chair of the track on AI Planning and Scheduling, 21st International Florida Artificial Intelligence Research Society Conference (FLAIRS-21), with Roman Barták, 2008.
Co-chair of the Stream on Timetabling and Rostering, 22nd European Conference on Operational Research (EURO 2007), with Dario Landa-Silva, 2007.
Co-chair of the 6th International Conference on the Practice and Theory of Automated Timetabling (PATAT), with Edmund Burke, 2006.

Program committee member of:

the COPLAS 2012 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems;
the 25th International FLAIRS Conference, 2012;
the 5th Multidisciplinary International Scheduling Conference (MISTA), 2011;
the IEEE Symposium on Computational Intelligence in Scheduling (CISched), 2011;
the 24th International FLAIRS Conference, 2011;
conference Znalosti, 2011;
the COPLAS 2011 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems;
the 8th International Conference on the Practice and Theory of Automated Timetabling (PATAT), 2010;
the 23rd International FLAIRS Conference, 2010;
conference Znalosti, 2010;
the COPLAS 2010 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems;
the 4th Multidisciplinary International Scheduling Conference (MISTA), 2009;
the IEEE Symposium on Computational Intelligence in Scheduling (CISched), 2009;
the 22nd International FLAIRS Conference, 2009;
the 27th Workshop of the UK Planning and Scheduling Special Interest Group, 2008;
the COPLAS 2008 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems;
the 18th European Conference on Artificial Intelligence (ECAI), 2008;
the 21st International FLAIRS Conference, 2008;
the 7th International Conference on the Practice and Theory of Automated Timetabling (PATAT), 2008;
the 26th Workshop of the UK Planning and Scheduling Special Interest Group, 2007;
the International Conference on Automated Planning & Scheduling (ICAPS), 2007;
the IEEE Symposium on Computational Intelligence in Scheduling (CISched), 2007;
the 20th International FLAIRS Conference, 2007;
the International Conference on Automated Planning & Scheduling (ICAPS), 2006;
the 19th International FLAIRS Conference, 2006;
the 7th International Workshop on Preferences and Soft Constraints, 2005;
the 18th International FLAIRS Conference, 2005;
the 5th International Conference on the Practice and Theory of Automated Timetabling (PATAT), selected papers, 2005;
the 4th EU/ME Workshop on Design and Evaluation of Advanced Hybrid Meta-Heuristics, 2004;
the 17th International FLAIRS Conference, 2004.

Journal reviewer for:

ACM Transactions on Intelligent Systems and Technology
Archives of Control Sciences
Advances in Engineering Software
Annals of Operations Research
Asia-Pacific Journal of Operational Research
Constraints
Discrete Applied Mathematics
European Journal of Operational Research
IEEE Transactions on Evolutionary Computation
Information & Software Technology
INFORMS Journal on Computing
Journal of Advances in Engineering Software
Journal of Computational Intelligence and Applications
Journal of Scheduling

Selected Publications

BURKE, Edmund a Jakub MAREČEK a Andrew PARKES a Hana RUDOVÁ. A Branch-and-cut Procedure for the Udine Course Timetabling Problem. Annals of Operations Research, Springer Science+Business Media, LLC, 194, 1, od s. 71-87, 17 s. ISSN 0254-5330. 2012. doi:10.1007/s10479-010-0828-5. info
KLUSÁČEK, Dalibor a Hana RUDOVÁ. Efficient Grid Scheduling through the Incremental Schedule-based Approach. Computational Intelligence, Wiley-Blackwell Publishing, Inc, 27, 1, od s. 4-22, 19 s. ISSN 0824-7935. 2011. doi:10.1111/j.1467-8640.2010.00369.x. DOI info
RUDOVÁ, Hana a Tomáš MÜLLER a Murray KEITH. Complex university course timetabling. Journal of Scheduling, Springer US, 14, 2, od s. 187-207, 21 s. ISSN 1094-6136. 2011. doi:10.1007/s10951-010-0171-3. info
HOLUB, Petr a Hana RUDOVÁ a Miloš LIŠKA. Data Transfer Planning with Tree Placement for Collaborative Environments. Constraints, Springer, 16, 3, od s. 283-316, 34 s. ISSN 1383-7133. 2011. doi:10.1007/s10601-011-9106-7. info
TROUBIL, Pavel a Hana RUDOVÁ. Integer Linear Programming Models for Media Streams Planning. Lecture Notes in Management Science, Istanbul: Bahcesehir University, Istanbul, 2011, 3, od s. 509-522, 14 s. ISSN 2008-0050. 2011. info
KLUSÁČEK, Dalibor a Hana RUDOVÁ. Efficient Data Representation of Large Job Schedules. In MEMICS 2011, Revised Selected Papers. Berlin: Springer, Lecture Notes in Computer Science 7119, 2011. od s. 103-113, 12 s. ISBN 978-3-642-25928-9. doi:10.1007/978-3-642-25929-6_10. info
BURKE, Edmund K. a Jakub MAREČEK a Andrew J. PARKES a Hana RUDOVÁ. Decomposition, reformulation, and diving in university course timetabling. Computers & Operations Research, Amsterdam: Elsevier, 37, 3, od s. 582-597, 16 s. ISSN 0305-0548. 2010. DOIURL info
BURKE, K a Jakub MAREČEK a Andrew PARKES a Hana RUDOVÁ. A supernodal formulation of vertex colouring with applications in course timetabling. Annals of Operations Research, Springer Netherlands, 179, 1, od s. 105--130, 26 s. ISSN 0254-5330. 2010. DOIpre-print info
KLUSÁČEK, Dalibor a Hana RUDOVÁ. Alea 2 - Job Scheduling Simulator. In SIMUTools'10 3rd International Conference on Simulation Tools and Techniques. 1. vyd. Belgium: ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering) ICST, Brussels, 2010. 10 s. ISBN 978-963-9799-87-5. ACM DL info
RUDOVÁ, Hana a Keith MURRAY a Hana RUDOVÁ. System Demonstration of Interactive Course Timetabling. In PATAT 2010 -- Proceedings of the 8th International Conference on the Theory and Practice of Automated Timetabling. 2010. URL info
KLUSÁČEK, Dalibor a Hana RUDOVÁ. The importance of complete data sets for job scheduling simulations. In Job Scheduling Strategies for Parallel Processing, Revised Selected Papers. Heidelberg: Springer, Lecture Notes in Computer Science 6253, 2010. od s. 132-153, 22 s. ISBN 978-3-642-16504-7. URL info
BARTÁK, Roman a Hana RUDOVÁ. Special issue on applications and methodologies for planning and scheduling: editorial. In Journal of Scheduling, vol. 13, no. 4. : Springer, 2010. od s. 299-300, 2 s. info
KLUSÁČEK, Dalibor a Luděk MATYSKA a Hana RUDOVÁ. Alea - Grid Scheduling Simulation Environment. In Parallel Processing and Applied Mathematics. Heidelberg, Germany: Springer-Verlag, Lecture Notes in Computer Science 4967, 2008. od s. 1029-1038, 10 s. ISBN 978-3-540-68105-2. info
BURKE, Edmund K. a Jakub MAREČEK a Andrew J. PARKES a Hana RUDOVÁ. Penalising Patterns in Timetables: Novel Integer Programming Formulations. In Operations Research Proceedings 2007. Berlin: Springer, 2008. od s. 409-414, 6 s. ISBN 978-3-540-77902-5. URLDOI info
KLUSÁČEK, Dalibor a Hana RUDOVÁ a Ranieri BARAGLIA a Marco PASQUALI a Gabriele CAPANNI. Comparison of Multi-Criteria Scheduling Techniques. In Grid Computing Achievements and Prospects. Heidelberg: Springer, 2008. od s. 173-184, 12 s. ISBN 978-0-387-09456-4. info
BURKE, Edmund K. a Jakub MAREČEK a Andrew J. PARKES a Hana RUDOVÁ. A Branch-and-Cut Procedure for the Udine Course Timetabling Problem. In Proceedings of the 7th International Conference on the Practice and Theory of Automated Timetabling. 2008. URL info
MURRAY, Keith a Müller TOMÁŠ a Hana RUDOVÁ. Modeling and Solution of a Complex University Course Timetabling Problem. In Practice and Theory of Automated Timetabling VI, Revised and Selected Papers. Heidelberg: Springer-Verlag GmbH, Lecture Notes in Computer Science 3867, 2007. od s. 189-209, 21 s. ISBN 978-3-540-77344-3. info
BURKE, Edmund a Hana RUDOVÁ. Practice and Theory of Automated Timetabling VI, Revised Selected Papers. 2007. URL info
BURKE, Edmund a Hana RUDOVÁ. PATAT 2006: Proceedings of the 6th International Conference on the Practice and Theory of Automated Timetabling. 2006. Webová stránka konference info
MULLER, Tomáš a Hana RUDOVÁ a Roman BARTÁK. Minimal Perturbation Problem in Course Timetabling. In Practice and Theory of Automated Timetabling V. Heidelberg: Springer-Verlag GmbH, 2005. od s. 126-146, 21 s. ISBN 978-3-540-30705-1. URL info
BARTÁK, Roman a Hana RUDOVÁ. Limited Assignments: A New Cutoff Strategy for Incomplete Depth-First Search. In Proceedings of the 2005 ACM symposium on Applied computing. New York, NY, USA: ACM Press, 2005. od s. 288-292, 5 s. ISBN 1-58113-964-0. PDF info
BARTÁK, Roman a Tomáš MÜLLER a Hana RUDOVÁ. A New Approach to Modeling and Solving Minimal Perturbation Problems. In Recent Advances in Constraints. Berlin Heidelberg (Germany): Springer, 2004. s. 233-249. ISBN 3-540-21834-3. PDF info
RUDOVÁ, Hana. Soft CLP(FD). In FLAIRS'03, Recent Advances in Artificial Intelligence: Proceedings of the Sixteenth International FLAIRS Conference. Menlo Park, California (USA): AAAI Press, 2003. s. 202-206. ISBN 1-57735-177-0. URL info
RUDOVÁ, Hana a Keith MURRAY. University Course Timetabling with Soft Constraints. In Practice And Theory of Automated Timetabling IV. KaHo St.-Lieven, Gent (Belgium): Springer, 2003. s. 310-328. ISBN 3-540-40699-9. URL info
BARTÁK, Roman a Tomáš MÜLLER a Hana RUDOVÁ. Minimal Perturbation Problem - A Formal View. Neural Network World/IDG, 3, 5s. 501-511. ISSN 0169-4243. 2003. URL info
RUDOVÁ, Hana a Keith MURRAY. University Course Timetabling with Soft Constraints. In PATAT 2002, Proceedings of the 4th international conference on the Practice And Theory of Automated Timetabling. KaHo St.-Lieven, Gent (Belgium): Department of Industrial Engineering, Belgium, 2002. s. 73-89. ISBN 90-806096-1-7. PDF info
RUDOVÁ, Hana a Luděk MATYSKA. Constraint-based Timetabling with Student Schedules. In PATAT 2000 - Proceedings of the international conference on the Practice And Theory of Automated Timetabling. Constance (Germany), 2000. s. 109-123. ISBN 3-00-003866-3. PostScript info
RUDOVÁ, Hana. Over-Constrained Systems. In Proceedings Sixteenth National Conference on Artificial Intelligence (AAAI-99) / Eleventh Innovative Applications of Artificial Intelligence Conference (IAAI-99). Menlo Park, California, USA: AAAI Press/The MIT Press, 1999. s. 954-954. ISBN 0-262-51106-1. info
RUDOVÁ, Hana. Constraints with Variables' Annotations and Constraint Hierarchies. In SOFSEM'98: Theory and Practice of Informatics. Berlin Heidelberg: Springer, 1998. s. 409-418. LNCS 1521. ISBN 3-540-65260-4. info
RUDOVÁ, Hana. Constraints with Variables' Annotations. In 13th European Conference on Artificial Intelligence Proceedings. Chichester (England): John Wiley, 1998. s. 261-262. ISBN 0-471-98431-0. info

Last update: 2012/01/18

top