Automatic Computation of Barrier Certificates
This literature review was done in the context of a taste of research course. It presents the use of barrier certificates for verifying dynamical systems and their computation.
Projects
Some interesting projects I've worked on during my undergraduate studies, pages are all WIP.Deep Trance
Inspired by Google’s Deep Dream, we set to synthethize music from original songs by amplifying patterns recognized by a classifier.
Parallel FFT
Final project for my Concurrent and Distributed Programming course.
Formalizing Regular Expressions
In this project, we developped and prove correct an algorithm for deciding the membership of a word with respect to a given regular language.
A Smart SAT Solver
We implemented an optimized SAT solver in Haskell as a final project for our Functional Programming course.