Michael Schröder

Michael Schröder is a Researcher at TU Wien's Faculty of Informatics, affiliated with the Institute of Software Technology. He holds a BSc and a Dipl.-Ing. (Master's equivalent) in Informatics. His research focuses on software engineering, static analysis, and programming languages, with notable contributions to probabilistic program analysis, security, and empirical studies on developer workflows.

Education:

• Bachelor of Science in Informatics
• Diplom-Ingenieur (Dipl.-Ing.) in Informatics from TU Wien

Research Interests:

His work spans static analysis of probabilistic programs, security in software repositories, grammar inference for ad hoc parsers, feature flag dependency analysis in large systems, and empirical studies on command-line tool customization. He has also contributed to medical research in pediatric oncology through a 2019 study on leukemia genetics.

Recent Trends in Publications:

Recent efforts emphasize language-agnostic static analysis frameworks (2024), lateral movement detection in source code (2023), and grammar inference techniques for parsers (2022). Earlier work includes neural ranking models (2020) and transactional memory systems (2015).

Grants & Advising:

No explicitly listed grants or student advisement, though recent theses supervised include static grammar inference projects (2025).

Labs/Teams:

Not explicitly mentioned in available records.