About
Michele Chiari is a Research Fellow at TU Wien, serving as Principal Investigator for the MSCA PF project CORPORA under the TrustCPS group led by Univ-Prof Ezio Bartocci. His work focuses on formal methods for safety-critical and real-time systems, with a specialization in temporal logic, formal languages, and automata theory.
0Publications listed
Find Michele Chiari elsewhere
Related Searches
You Might Also Like
- MMichele ChiariVienna University of Technology · Researcher
Michele ChiariMax Planck Institute for Software Systems · Researcher- EEzio BartocciVienna University of Technology · Professor
Michele ChiariInria · Researcher
Ezio BartocciVienna University of Technology · Professor- LLuca Di StefanoVienna University of Technology · Researcher