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

• Master Thesis: Backdoors for SAT
• NetSAT: Automated reasoning methods for verification and configuration of computer networks

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).

• System Description (pdf)
• Source Code (prolog)

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.

• Bachelor thesis (pdf)
• Source Code (Python+PHP)