+<h2>Theses</h2>
+
+<h3>2020</h3>
+<ul><li>
+ <b>Understanding and Evolving the Rust Programming Language</b><br/>
+ Ralf Jung<br>
+ <i>PhD Thesis</i><br>
+ [<a href="thesis.html">website</a>]
+</li></ul>
+
+
+<h3>2019</h3>
+<ul><li>
+ <b>Higher-Order Ghost State</b><br/>
+ Ralf Jung<br>
+ <i>Master Thesis</i><br>
+ [<a href="https://iris-project.org/pdfs/2016-icfp-iris2-final.pdf">based on this paper</a>]
+</li></ul>
+