Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Posts
projects
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.
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.
publications
Paper Title Number 1
Published in Journal 1, 2009
This paper is about the number 1. The number 2 is left for future work.
Recommended citation: Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1). http://academicpages.github.io/files/paper1.pdf
Paper Title Number 2
Published in Journal 1, 2010
This paper is about the number 2. The number 3 is left for future work.
Recommended citation: Your Name, You. (2010). "Paper Title Number 2." Journal 1. 1(2). http://academicpages.github.io/files/paper2.pdf
Paper Title Number 3
Published in Journal 1, 2015
This paper is about the number 3. The number 4 is left for future work.
Recommended citation: Your Name, You. (2015). "Paper Title Number 3." Journal 1. 1(3). http://academicpages.github.io/files/paper3.pdf
research
Bootstrapping a Verified Compiler
Supervised by Johannes Åman Pohjola at the Trustworthy Systems group, University of New South Wales
Formalizing Ideals in Commutative Algebra
Supervised by Pierre-Yves Strub at the Laboratoire d’Informatique de l’Ecole Polytechnique (LIX)
A Tool for Interactive Modular Decomposition
Supervised by Lutz Straßburger at the Partout team, INRIA
talks
Talk 1 on Relevant Topic in Your Field
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.