Academic Staff and Senior Lecturer at the Department of Computer Science and Applied Mathematics
Martina Číhalová comes from Olomouc, where she graduated from the Slovan grammar school. She gained her Master´s degree in 2006 with a dual major in the fields of Philosophy and Czech Language and Literature at Palacky University. In 2006, she began her doctoral studies at the Technical University of Ostrava at the Faculty of Electrical Engineering and Computer Science at the Department of Computer Science. She completed her studies in 2012. She wrote her doctoral dissertation on the topic of Languages for the Creation of Ontology. She also took part in several projects, one of which was a project called Logic and Artificial Intelligence for Multiagent Systems which focused on transparent intensional logic as the communicative language of the agent. In 2012, she gained her PhDr. degree at Palacky University majoring in Philosophy. We can find the following topics among her research interests: the logical analysis of natural language, classic logic and formal theory, transparent intensional logic, epistemiology, informal logic, ontology, and conceptual analysis in a computer science context.