Martina Seidl

Martina Seidl é uma acadêmica e pesquisadora proeminente na área de ciência da computação, com foco em inteligência artificial simbólica e verificação de software. Ela detém um doutorado pela TU Wien e habilitou-se na JKU Linz. Atualmente, atua como professora associada no Instituto de Modelos Formais e Verificação da Johannes Kepler Universität Linz, onde também lidera o Instituto de Inteligência Artificial Simbólica. Sua pesquisa dedica-se ao desenvolvimento de técnicas de raciocínio automático e suas aplicações práticas em IA simbólica e na verificação de modelos de software. Seidl é autora da obra "UML @ Classroom: An Introduction to Object-Oriented Modeling", um livro voltado para iniciantes em modelagem orientada a objetos e UML.