(*1976) He graduated at University of Ostrava, Faculty of Science in course Information Systems (Mgr.~ MSc. – 1999), further he passed rigorous examination in Computer Science Education (PaedDr. – 2003) and in 2004 he defended in the same discipline dissertation (PhD. – 2004). In 2006 he passed rigorous examination in Information Systems (RNDr. – 2006) followed by second dissertation in 2007 in the same discipline (Ph.D. – 2007). In 2012 he finished habilitation on University of Hradec Kralove and he is appointed docent (Doc. – Associate professor) in the field system engineering and informatics. He works as Associate Professor and head of dept. on University of Ostrava, Dept. Informatics and Computers from 1999. He focuses to artificial intelligence, logic, theory of formal languages, logic programming and Computer Science Education. He is author of about 100 publications – articles in reviewed journals, articles in proceedings of intl. conferences, etc. He also participated in 3 research plans, 2 projects GACR etc.
(*1976) He graduated at University of Ostrava, Faculty of Science in course Information Systems (Mgr.~ MSc. – 1999), further he passed rigorous examination in Computer Science Education (PaedDr. – 2003) and in 2004 he defended in the same discipline dissertation (PhD. – 2004). In 2006 he passed rigorous examination in Information Systems (RNDr. – 2006) followed by second dissertation in 2007 in the same discipline (Ph.D. – 2007). In 2012 he finished habilitation on University of Hradec Kralove and he is appointed docent (Doc. – Associate professor) in the field system engineering and informatics. He works as Associate Professor and head of dept. on University of Ostrava, Dept. Informatics and Computers from 1999. He focuses to artificial intelligence, logic, theory of formal languages, logic programming and Computer Science Education. He is author of about 100 publications – articles in reviewed journals, articles in proceedings of intl. conferences, etc. He also participated in 3 research plans, 2 projects GACR etc.