Martin TapplerView profile
Researcher
Martin Tappler is a researcher at Vienna University of Technology's Faculty of Electrical Engineering and Information Technology, working in the Cyber-Physical Systems research area (Institute of Computer Engineering). Holding a technical doctorate (Dr.techn.), he serves as a Project Assistant conducting advanced research at the intersection of formal methods and machine learning. His research focuses on automata theory , neural network semantics , and reinforcement learning systems . Tappler's work bridges theoretical computer science with practical applications in cyber-physical systems, particularly exploring how formal models can enhance machine learning approaches. His methodology combines rigorous mathematical frameworks with empirical validation in complex decision-making environments. Tappler's recent publications demonstrate significant contributions to understanding the relationship between neural network architectures and formal language structures, as well as developing novel testing methodologies for reinforcement learning systems. His research shows a clear trajectory toward creating more reliable and interpretable AI systems for safety-critical applications. As a researcher at TU Wien, Tappler collaborates with colleagues across multiple institutions, as evidenced by his co-authored publications with researchers from various academic backgrounds. His work appears in prominent computer science venues focusing on formal methods and machine learning.









