William Steingartner

William Steingartner is an Associate Professor at the Faculty of Electrical Engineering and Informatics, Technical University of Košice (TUKE). He specializes in formal languages, programming language semantics, cybersecurity, and computer science education. His research focuses on advancing pedagogical tools for teaching formal semantics, compiler design, and secure software development. He actively contributes to academic governance, serving as Principal Investigator on projects like 'Application of new principles in the education of IT specialists' and participating in 'Evolving Architectural Knowledge in the Edge-to-Cloud Continuum.'

Dr. Steingartner holds editorial roles, including guest editor for the Central European Journal of Computer Science (since 2011) and editor of proceedings for conferences like INFORMATICS 2019. He has organized major events such as the International Scientific Conference Informatics in 2013, 2015, 2017, and 2019, demonstrating leadership in academic event management.

His teaching spans formal languages, logic for computer scientists, and domain-specific language design. Research highlights include developing tools like OnlineProver for formal logic education and RISCAL for semantics visualization. He explores cybersecurity challenges in hybrid threats, API security, and cyber resilience strategies, alongside innovations in VR applications for therapy and education.

Key contributions include over 50 publications since 2015, with recent work addressing disinformation campaigns, smart orthosis design, and pedagogical software for programming semantics. He emphasizes interdisciplinary collaboration, bridging theoretical computer science with practical applications in medicine, robotics, and user experience design.