My PhD Thesis focused on formal methods for diagnostic systems and on the application of temporal epistemic logic to perform specification, validation and synthesis of those systems. See also my Publications

Older Projects

FL- Subsumption checker

For my course on logic programming I developed (together with Quentin Schroeder and Giorgio Stefanoni) a prolog tool to check subsumption of a simple Description Logic: FL- (FL-minus).

HTTPVPN (Bachelor Thesis)

In my bachelor thesis, I explore the possibility of using HTTP to encapsulate IP packets. In order to do so, I developed a software that acts as TUN/TAP device and allows for two hosts to communicate by exchanging packets through a 3rd party web server.