A visit at the address: Pavol.Navrat@One_Microsoft_Way_Redmond.WA
Pavol Návrat was born in 1952 in Bratislava, Slovakia. He received his Ing. (MSc.) cum laude in 1975, and his PhD. degree in Computing Machinery in 1983 both from Slovak University of Technology in Bratislava.
He was with Department of Computer Science and Engineering at the Slovak University of Technology in Bratislava since 1975. Since 2003, he is with the Faculty of Informatics and Information Technologies at the same University.
In 1980-1981, he was for 4 months with the Institute of Informatics, Warsaw University, Poland as a visiting research fellow.
In 1989-1990, he spent 5 months as a visiting associate professor with the Department of Informatics, University of Athens, Greece.
In 1991, he spent 3 months with The Department of Computer Science, University of Sheffield, U.K.
In 1992-1994, he joined as an associate professor Mathematics and Computer Science Department, Kuwait University, Kuwait for two academic years.Since 1996, he is a full professor of Computer Science and Engineering.
He (co-)authored books and numerous scientific papers. He had several contributions at international conferences, including an invited lecture on analysis of programming knowledge. His scientific interests include automated programming and software engineering, knowledge-based methods for assistance in programming and software development, intelligent CASE, as well as other topics in Software Engineering.
He is a Senior Member of The Institute of Electrical and Electronics Engineers and a member of its Computer Society. He is also a member of Association for Computing Machinery and American Association for Artificial Intelligence. Since its foundation in 1992, he is a member of the Slovak Society for Computer Science, which is a member of the International Federation for Information Processing. Since 1998, he serves as Slovakia's representative in IFIP Technical Committee TC-12 Artificial Intelligence. As a a member of Association for Advancement of Computers in Education he contributed to founding its Central European Chapter. He serves in its executive committee and volunteers as a regional liaison officer.
In 1997, he was elected chairman of the Slovak Centre of the Institution of Electrical Engineers. Since 1998, he is a Fellow of The Institution of Electrical Engineers. He is registered with The Engineering Council, U.K. as a Chartered Engineer (CEng). Since its foundation in 2000, he is a member of the Slovak Artificial Intelligence Society. Since 2000, he serves as the vice-chairman and member of the executive committee.Frequently, he has been serving in programme committees of scientific conferences:
He is a member of editorial boards of international scientific journals: He regularly publishes reviews of monographs and scientific articles in ACM Computing Reviews and other journals.
- Fourth European Conference on Software Engineering in Garmisch 1993
- East-West Conference on Computer Technologies in Education in Crimea 1994
- Third International Conference on Computer Aided Engineering Education in Bratislava 1995
- Eigth International PEG Conference Meeting the Challenge of New Technologies in Sozopol 1997
- First East European Symposium on Advances in Databases and Information Systems in St. Petersburg 1997
- Second East European Symposium on Advances in Databases and Information Systems in Poznan 1998
- Co-Chair, 3rd Joint Conference on Knowledge-Based Software Engineering in Smolenice Castle near Bratislava 1998
- Third East European Symposium on Advances in Databases and Information Systems in Maribor 1999
- Co-Chair for Eastern Europe, First Symposium on Generative and Component-Based Software Engineering, GCSE1999 in Erfurt 1999
- Fourth East European Symposium on Advances in Databases and Information Systems in Prague 2000
- Intelligent Information Processing 2000 in Beijing, Part of the IFIP World Computer Congress WCC2002
- Fourth Joint Conference on Knowledge-Based Software Engineering in Brno 2000
- Second Symposium on Generative and Component-Based Software Engineering, GCSE2000 in Erfurt 2000
- Ninth International Conference AIMSA'2000 - Artificial Intelligence: Methodology, Systems, Application in Varna 2000
- Eighth ISPE International Conference on Concurrent Engineering: Research and Applications in Anaheim, California 2001
- 4th International Conference on Information Systems Modelling ISM '01 in Hradec nad Moravicí, Czech Republic 2001
- Fifth East European Symposium on Advances in Databases and Information Systems in Vilnius 2001
- Fifth Joint Conference on Knowledge-Based Software Engineering in Maribor 2002
- First Conference Knowledge (Znalosti) in Prague 2001
- Sixth East European Symposium on Advances in Databases and Information Systems in Bratislava 2002
- Sixth European Conference on Software Maintenance and Reengineering in Szeged 2002
- Eighth Conference on Extending Database Technology in Prague 2002
- 5th International Conference on Information Systems Modelling ISM '02 in Roznov pod Radhostem, Czech Republic 2002
- Intelligent Information Processing 2002 in Montreal, Part of the IFIP World Computer Congress WCC2002
- Tenth International Conference AIMSA'2002 - Artificial Intelligence: Methodology, Systems, Application in Varna 2002
- Second Conference Knowledge (Znalosti) in Ostrava 2003
- 6th International Conference on Information Systems Modelling ISM '03 in Brno, Czech Republic 2003
- Seventh East European Symposium on Advances in Databases and Information Systems in Dresden 2003
- Tretí Slovensko-Ceský seminár: Kognícia, umelý život a pocítacová inteligencia CALCI 2003, Vysoké Tatry
- 2nd International Conference on Emerging Telecommunications Technologies and Applications and the 4th Conference on Virtual University in Košice 2003
- ISD'2004 THIRTEENTH INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS DEVELOPMENT: METHODS AND TOOLS, THEORY AND PRACTICE in Vilnius 2004
- 7th International Conference on Information Systems Modelling ISM '04 in Roznov pod Radhostem, Czech Republic 2004
- track on "Database Theory, Technology, and Applications (DTTA)" of the 19th ACM Symposium on Applied Computing (SAC) in Nicosia, 2004
- Third Conference Knowledge (Znalosti) in Brno 2004
- Eigtht East European Symposium on Advances in Databases and Information Systems in Budapest 2004
- 6th Joint Conference on Knowledge-Based Software Engineering in Protvino 2004
- AIAI 2004: First IFIP International Conference on Artificial Intelligence Applications and Innovations in Toulouse, Part of the IFIP World Computer Congress WCC2004
- 7th International Conference on Information Systems Modelling ISM '05 in Roznov pod Radhostem, Czech Republic 2005
- Third Conference Knowledge (Znalosti) in Stará Lesná 2005
- The Third International Human.Society@Internet Conference in Tokyo 2005, European PC for Web technologies, uses and ill effects of the Internet
- Ninth East European Symposium on Advances in Databases and Information Systems in Tallin 2005
- 31st Annual Conference on Current Trends in Theory and Practice of Informatics SOFSEM in Liptovsky Jan 2005
- IEEE Conference on Software Maintenance in Budapest 2005
- IADIS Virtual Multi Conference on Computer Science and Information Systems (MCCIS 2005), Conference "Intelligent Systems and Agents - ISA2005" 2005
- International and Interdisciplinary Conference on Adaptive Knowledge Representation and Reasoning AKRR'05, Espoo, Finland, 2005
- Tenth East European Symposium on Advances in Databases and Information Systems in Thessaloniki 2006
- 7th Joint Conference on Knowledge-Based Software Engineering in Vilnius 2006
- AIAI 2006: IFIP AI 2006 - Artificial Intelligence in Theory and Practice in Santiago de Chile, Part of the IFIP World Computer Congress WCC2006
- 7th International Conference on Information Systems Modelling ISM '06 in Prerov 2006
- Conference Knowledge (Znalosti) in Hradec Kralove 2006
- International Symposium on Intelligent and Distributed Computing - IDC'2007 in Craiova
- 7th International Conference on Information Systems Modelling ISM '07 in Hradec nad Moravicí 2007
- IADIS Multi Conference on Computer Science and Information Systems 2007 in Lisbon, Portugal 2007
- 1st International Workshop on Evolutionary Techniques in Data-Processing, held in collocation with DEXA 2007 in Regensburg, Germany
- Track Chair: Web technologies: 34th International Conference on Current Trends in Theory and Practice of Computer Science in Novy Smokovec 2008
- AIAI 2008: IFIP AI 2008 - Artificial Intelligence in Theory and Practice in Milano, Part of the IFIP World Computer Congress WCC2008
to the Top
My scientific interests include specific areas in fields of information systems, software engineering and artificial intelligence, all being part of a broader field of computing and information technologies. In case more information is desired, do not hesitate to contact me.
to the Top
Some international projects that I lead or participated in:
- Educational Programme in Computer Science, TEMPUS joint European project EPICS No. 0053-91, 1991-1993. I was a project leader of Slovakia's participation.
- Neumann Network, TEMPUS joint European project No. 1766-91/1, 1991-1993.
- Large Parallel Databases, INCO-COPERNICUS project No. CP 93:6638, 1993-1995.
- EMG net, INCO-COPERNICUS project No. 977069, I was a project leader of Slovakia's IT team.
- European Computing Education and Training ECET, ERASMUS thematic network project No. BG-66673-TNPP-1. I am a project leader of Slovakia's team.
- Research and Development of a Knowledge-Based System to Support Workflow Management in Organizations with Administrative Workflow Processes (APVT-51-024604).
- Collaborative Accessing, Analysis and Presentation of Documents in Internet Environment using Modern Software Tools (VEGA 1/0162/03). I am the project leader.
- Tools for Acquisition, Organisation, and Maintenance of Knowledge in an Environment of Heterogeneous Information Resources. I am the project leader.
- Doctoral Education in Computing (ERASMUS – Thematic Network Project 114046-CP-1-2004-1-BG-ERASMUS-TN). I am a project leader of Slovakia's team.
to the Top
Books, including monographs and some textbooks that I (co-)authored:
- Microcomputers, Programs, People. (in Slovak, with Ivan Burger), Smena, Bratislava 1987.
- Programming in Lisp. (scientific monograph in Slovak, with Ludovit Molnar), Alfa, Bratislava 1988.
- Knowledge Based Software Engineering. (scientific monograph, co-editor with H. Ueno and co-author), IOS Press, Amsterdam 1998.
- Functional and Logic Programming. (textbook in Slovak, with Maria Bielikova), STU Publishing House, Bratislava 2000.
- Artificial Intelligence. (textbook in Slovak, with Maria Bielikova, Lubica Benuskova, Ivan Kapustik, Milan Unger), STU Publishing House, Bratislava 2002.
- Knowledge Based Software Engineering. (special issue editor of the international scientific journal) Informatica, Volume 25, Number 3, October 2001.
- Advances in Data Bases and Information Systems (LNCS 2435). (scientific monograph, co-editor with Y. Manolopoulos and co-author), Springer Verlag, Heidelberg 2002.
- ADBIS 2002: Advances in Databases and Information Systems. (special issue editor of the international scientific journal) Information Systems, Volume 29, Number 6, September 2004.
- Tools for Acquisition, Organisation and Presenting of Information and Knowledge. (proceedings book, co-editor with Bartoš, P., Bieliková, M., Hluchý, L., Vojtáš, P.), STU 2006.
- Tools for Acquisition, Organisation and Presenting of Information and Knowledge 2. (proceedings book, co-editor with Bartoš, P., Bieliková, M., Hluchý, L., Vojtáš, P.), STU 2007.
- SOFSEM 2008: Theory and Practice of Computer Science (LNCS 4910). (scientific monograph, co-editor with Geffert, V.; Karhumäki, J.; Bertoni, A.; Preneel, B.; Bieliková, M.), Springer Verlag, Heidelberg 2008.
- Znalosti 2009. (scientific monograph proceedings book, co-editor with D. Chuda co-author), STU 2009.
- Umelá inteligencia a kognitívna veda I. (Artificial Intelligence and Cognitive Science I). (scientific monograph, co-editor with V. Kvasnička, J. Pospíchal, Š. kozák, P. Paroulek), STU 2009.
to the Top
to the Top
of visits since June 14th, 2002:
