logo for the research page
[homepage.git] / research.mdwn
index aa8c289..90373d0 100644 (file)
@@ -1,9 +1,12 @@
+[[img img/applications-science.png link="no" class="flow" alt="science"]]
 My main job is doing research (and [[teaching]]) at the [Department of Computer
 Science](http://www.cs.unibo.it) of the [University of
 Bologna](http://www.unibo.it). My current and not-so current research interests
-are summarized below, a list of my [[publications]] is available in a
+are summarized below, a list of my **[[publications]]** on available in a
 [[separate_page|publications]].
 
+# research interests
+
  * type theory and in particular **proof assistants** / interactive theorem
  provers. I've been one of the architect of the [Matita proof
  assistant](http://matita.cs.unibo.it), though now I'm contributing code more