19th TEX Users Group Conference
Toruń, 17-20 August 1998
Professor of Computer Science at Masaryk University in Brno, Czech Republic, since 1994, and the first Dean of the newly established Faculty of Informatics thereof. PhD in Theoretical Computer Science from Czechoslovak Academy of Science 1987.
Visiting appointments at City University, London, UK, University of Coimbra, Portugal, University of Pisa, Italy, and University of Delaware, Newark, DE, USA. Eisenhower Exchange Fellow in the USA in 1996.
Member of IEEE Computer Society, ACM, EATCS, EACSL, and member of Board of Directors of the TeX Users Group. Programme committee member of a number of international conferences on Computer Science.
Research interests include Computer Science and mathematical logic, lambda-calculus-based systems, information systems, logic programming and specification-based programming methods, electronic typesetting and social aspects of computing.
Published 2 books, over 50 papers in journals, conference proceedings, and research reports (see http://www.fi.muni.cz/~zlatuska/zla-pub.html).
Member of the NTS project group.
Teaching activities include: Semantics of Program Languages, Types and Proofs, Introduction to Theoretical Computer Science, Lambda-Calculus, Functional Data Bases, Logic Programming, Theory of Compilers, Database and Knowledge-Based Systems, Logic and Programming.
- Dr Jiri Zlatuska
- Faculty of Informatics
- Masaryk University
- 602 00 Brno
- Czech Republic
- e-mail: email@example.com
- fax: +420-5-41212568
- phone: +420-5-41216758