web commit by zack
authorStefano Zacchiroli <zack@fettunta.org>
Fri, 21 Dec 2007 16:30:26 +0000 (16:30 +0000)
committerStefano Zacchiroli <zack@fettunta.org>
Fri, 21 Dec 2007 16:30:26 +0000 (16:30 +0000)
research.mdwn [new file with mode: 0644]

diff --git a/research.mdwn b/research.mdwn
new file mode 100644 (file)
index 0000000..aa8c289
--- /dev/null
@@ -0,0 +1,23 @@
+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
+[[separate_page|publications]].
+
+ * 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
+ sparingly; both my master and Ph.D. [[theses|publications]] have been about
+ Matita. I've also worked on distributed digital libraries of formalized
+ mathematics, such as the [HELM](http://helm.cs.unibo.it) library
+
+ * **web technologies**, in particular: type systems for typing XML trees (I'm
+ currently a member of [W3C](http://www.w3.org)'s [XML Schema working
+ group](http://www.w3.org/XML/Schema)) and document validation, overlapping
+ markup, web collaboration (as in [[wikipedia wiki]]s) and its interaction with
+ content constraints
+
+ * **free software**, in particular software engineering applications to wide
+ software repositories (the typical use case of GNU/Linux distributions) and the
+ application of formal methods to them to various ends (for example for
+ dependency handling)