Academic Qualifications:
- 1994: Professor of Computer Science (Faculty of Science of Masaryk University);
- 1990: Associate Professor of Computer Science (Faculty of Science of Masaryk University);
- 1987: PhD in Theoretical Computer Science; Czechoslovak Academy of Science; theses: ``Functional data modelling'', developing a typed-lambda-calculus-based data model for data modelling encompassing formal tools for data description and data manipulation on several levels of abstraction.
- 1981: graduated with honors from Computer Science studies at faculty of Science, Masaryk University, awarded RNDr degree upon graduation (theses: ``Program schemata and their applications''; advisor: J. Horejs).
Employment:
- 2004 - Dean, Faculty of Informatics at Masaryk University;
- 1998 - 2004 : Rector of Masaryk University;
- 1995 - : Full Professor of Computer Science at the Faculty of Informatics at Masaryk University;
- 1994 : Associate Professor of Computer Science at the Faculty of Informatics at Masaryk University;
- 1990 - 1994: Associate Professor of Computer Science and research director of the Institute of Computer Science of Masaryk University;
- 1988 - 1989: Visiting Associate Professor at the University of Delaware, Newark, DE, USA;
- 1987 - 1994: research director of the Institute of Computer Science of Masaryk University;
- 1981 - 1986: research assistant at the Institute of Computer science of Masaryk University.
Publication activity: 2 books, more than 40 papers in journals, conference proceedings, and research reports; over 100 reviews in review journals.
Academic record:
- 1996: Eisenhower Exchange Fellow (USA);
- 1993: three-month research stay at the Department of Computer Science, School of Informatics, City University of London;
- 1993: teaching one-week intensive course within TEMPUS at the University of Coimbra, Portugal: ``Lambda-calculus, Functional data bases''
- 1989: teaching one-month PhD course at School of doctoral studies in Pisa, Italy;
- 1988 - 1989: 18 months as Visiting Associate Professor Computer Science at the University of Delaware, Newark, DE, USA.
University activities:
- 2004 - : Dean of the Faculty of Informatics at Masaryk University;
- 1998 - 2004: Rector of Masaryk University;
- 1994 - 1998: founding dean of the Faculty of Informatics at Masaryk University;
- 1990 -: member of the Scientific Council of Masaryk University;
- 1990 - 1994: member of Vice-Rector's research advisory board;
- 1990: Vice-rector of Masaryk University;
- 1987 - 1994: research director of the Institute of Computer Science;
Other Activities:
- 1998 - : member of Council for Research and Development of the Government of the Czech Republic
- 1998: General Conference Chair for Federated MFCS/CSL'98 Conferences, Satellite Workshops and Tutorials in Brno;
- 1998: Executive Chairman of the Czech Nominating Commitee for 1999 Eisenhower Exchange Fellow Multi-Nation Program;
- 1997 - : member of the economic committee of the Council of Universities of Czech Republic;
- 1997 - : member of the ERCIM (European Research Consortium for Informatics and Mathematics) Executive Board and Executive Director of CRCIM (Czech Research Consortium for Informatics and Mathematics);
- 1995 - 1998: member of TUG (TeX Users Group) Board of Directors;
- 1994 - 1998: member of board of HESP (Higher Education Support Program of the Open Society Fund) for Czech Republic; chairman of the board 1996--1998;
- 1994: vice-chairman of the ``Informatics'' sub-committee of the Higher Education Development Fund of the Ministry of Education;
- 1994 - 1997: member of the Czech IFIP Committee; IFIP TC-2 representative for Czechoslovakia;
- 1994 - : member of the program Committee of the MFCS conference, General Conference Chairman of the CSL/MFCS'98 Federated Conferences in 1998;
- 1993 - 1997: member of the ministerial board for the university development projects in Informatics of the Ministry of Education of Czech Republic;
- 1992 - : member of the Scientific council of the European Association for Computer Science Logic;
- 1992: program committee chairman for the EuroTeX'92 conference, conference proceedings editor.
- 1991 - : member of the advisory board for Informatics of the Ministry of Education;
- 1991 - 1993: vice-chairman of the Czechoslovak IFIP Committee; IFIP TC-2 representative for Czechoslovakia;
- 1991 - 1997: member of program committees of international conferences Extending Database Technology, International Conference on Database Theory;
- 1991 - 1993: member of the Advisory board of the Eisenhower Exchange Fellowship;
- 1990 - 1992: member of the the Coordination Board of the IBM Academic Initiative CSFR at the federal government, from Fall 1991 to Fall 1992 chairman of the scientific part of the Program;
- 1990 - : executive committee member of the Czechoslovak Society for Computer Science;
- 1989 - : member of committees for theses defending for DrSc and CSc in Informatics at the Academy of Sciences and several universities in Czech Republic and Slovakia;
- 1988 - 1992: program committee chairman of the Logic programming Winter School LOP;
- 1987 - 1996: program committee member of SOFSEM conference series;
Projects:
- 1998 - : Complex Research Grant of the Grant Agency of the Czech Republic on Human-Computer Interaction Laboratory;
- 1998 - : participating in GA CR grant on Informatics as a New Research Methodology;
- 1994 - 1995: EC Copernicus EXEMPLARY project;
- 1994 - : member of the New Typesetting Project team;
- Grant Agency of Czech Republic, 201/93/1269 ``Computer Typesetting in Language-specific Environment'' (three-year grant 1993-1995);
- Esprit BRA 7232 GENTZEN: ``Common Foundations of Logic and Functional Programming'' (1993-1995);
- European Community's Action for Cooperation in Science and Technology with Central and Eastern European Countries; project 6844 ``Functional and declarative data modelling; also managerial aspects'' (individual mobility, 1993);
- Tempus Individual Mobility Grants 1990-91: IMG-CZT-0136-90 (Barcelona, 1991), IMG-CZT-0135-90 (Paris, 1991);
- SPZV CSAV ``Modern programming methodologies'' (1985-1990)