Siemens AG
researcher in robust software engineering and safety critical systems
Dr. Daniel Ratiu is a researcher in robust software engineering and safety critical systems at Siemens. He works on finding synergies between domain specific languages and formal verification to increase reliability of software and to make formal verification usable for practicing engineers. Before Siemens, Daniel was a research group lead at fortiss.
Termin
Session/Track