.. default-role:: literal


News
====

July 1st, 2011
--------------

Added my bachelor thesis, `Synthesis for Rational Linear Arithmetic`_, to the
projects page.

Oh and I also added this "News" page :-) .

.. _Synthesis for Rational Linear Arithmetic: projects/synthesis-rla/index_en.html