Skip to main content

Mirco Giacobbe

Mirco Giacobbe

Research Associate

Leaving date: 31st August 2021


I am a postdoc in the System Verification and Control and Verification groups. I am interested in formal methods in artificial intelligence and neuro-symbolic methods for formal verification of software and cyber-physical systems. Here is my personal webpage.

Selected Publications

View AllManage publications