Posts by Collection

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

Remy Seassau