Added my bachelor thesis, Synthesis for Rational Linear Arithmetic, to the projects page.
Oh and I also added this "News" page :-) .