I help establish justified trust in artifacts produced through human and agentic engineering. I develop tools that trace changes back to user intent and help people understand the changes made to software-intensive systems.
My background combines formal software verification, automated testing, and more than twenty years of software engineering. Today, I transfer research into industrial development processes and customer environments as a Consultant for Software and Systems Engineering at CQSE.
Across these activities, I enjoy bringing together applied research, technical leadership, and collaboration to connect scientific depth with measurable impact in real systems.
Continuous software quality, test-gap analysis, reliability engineering, and the integration of analysis tools into industrial environments. I have led the testing expert group, taken technical responsibility for product development, coordinated cross-team quality initiatives, supported recruiting, and managed research collaborations with academic and industrial partners.
Research on software model checking, abstract interpretation, formal specification, incremental verification, automated test generation, and the analysis of configurable, concurrent, and visual programs. I completed my PhD in computer science with summa cum laude in 2020.
Specification inference and program analysis for high-assurance aerospace and avionics software.
Software development and project leadership, application servers, data replication, automated testing, performance-regression infrastructure, and Linux-based network security.
A complete and maintained list is available on DBLP.
PhD thesis: Abstract Transducers for Software Analysis and Verification, University of Passau, 2020.
I have taught programming, algorithms and data structures, compiler construction, software engineering, formal specification, program analysis, and software verification. I have supervised student projects and theses and helped organize research and industry events.
My scientific service includes program and artifact-evaluation committees as well as reviews for software engineering conferences and journals, including IEEE Transactions on Software Engineering, Science of Computer Programming, and Software Testing, Verification and Reliability.