Dipl.-Inform. Deni Raco

Principal Investigator of the StartUpSecure Project “CyberBelle - A cloud-based solution for designing secure cyber-physical systems using logic-based AI” from the Federal Ministry of Research, Technology and Space

Principal Investigator of the EXIST Business Start-up Project “MontiBelle AI Prover - A digital solution for the quality assurance of cyber-physical systems” from the European Union and the Federal Ministry for Economic Affairs and Energy

Grant of three years for the Research Training Group Project “AlgoSyn - Algorithmic synthesis of reactive and discrete-continuous systems” from the German Research Foundation

Computer Science, Mathematics and Doctoral Studies at RWTH Aachen University