BOSCH CORPORATE RESEARCH · INDEPENDENT RESEARCHER
I work on AI in production and real-time systems at Bosch Corporate Research (CR).
My independent research explores neural agents and formal verification for mathematical discovery. I completed my PhD at the University of Stuttgart, studying a real-time, service-oriented architecture for distributed control systems using container technologies.
RESEARCH
A joint neural and multi-agent architecture that uses mathematical scope to connect witness generation, proof transport, repair, and reusable memory. Exact checking governs acceptance of mathematical claims.
The manuscript develops the architecture and evaluation plan, with a scripted Lean proof trace and a synthetic scheduling study.
PUBLICATIONS
Springer · SCAP 2022 · pp. 14–24
DOI: 10.1007/978-3-031-27933-1_2VDI · Automation 2020 · pp. 915–928
DOI: 10.51202/9783181023754-915IEEE · ICE/ITMC · pp. 1–9
DOI: 10.1109/ICE.2018.8436369BACKGROUND
DISSERTATION
This thesis develops a service-oriented, container-based control architecture for flexible manufacturing, replacing monolithic PLC software with modular microservices. A message-driven communication system connects cyclic real-time control with event-driven IT and was validated on a model facility. Cyclic scheduling enabled deterministic execution and improved real-time performance, while hardware strongly influenced timing behavior. The results support flexible distributed control, with further study of event-driven timing and validation on suitable hardware needed before use in safety-critical applications.
CONTACT
For discussions about distributed systems, real-time software, or the research proposal.