reformatting
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 26 Feb 2010 12:57:56 +0000 (13:57 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 26 Feb 2010 12:57:56 +0000 (13:57 +0100)
research.mdwn

index 01352c6..e7d405f 100644 (file)
@@ -7,24 +7,25 @@ from a [[separate page|publications]].
 
 # research interests
 
 
 # research interests
 
- * **free software** and how formal methods can be applied to address the
- complexity of the scenarios brought by the open source development model. I'm
- currently a member of the [mancoosi](http://www.mancoosi.org) research project,
- which is addressing some of this challenges, in particular the *upgrade
- problem* of packages in GNU/Linux distributions
-
- * 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** and how formal methods can be applied to address the
+  complexity of the scenarios brought by the open source development model. I'm
+  currently a member of the [mancoosi](http://www.mancoosi.org) research
+  project, which is addressing some of this challenges, in particular the
+  *upgrade problem* of packages in GNU/Linux distributions
+
+* 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
 
 # publications
 
 
 # publications
 
@@ -36,14 +37,13 @@ I've recently been involved in the following conferences:
 
 * **[CONFSL'10](http://www.confsl.org/confsl10/)** (Conferenza Italiana sul
   Software Libero), as a member of the *program commitee*
 
 * **[CONFSL'10](http://www.confsl.org/confsl10/)** (Conferenza Italiana sul
   Software Libero), as a member of the *program commitee*
-* **[SAC WT 2010](http://www.cs.unibo.it/sacwt10/)** (track *Web
-  Technologies* of the [ACM Symposium on Applied
-  Computing](http://www.acm.org/conferences/sac/sac2010/)), as a
-  member of the *program commitee*
-* **[IWOCE 2009](http://www.iwoce.org/)** (International Workshop on
-  Open Component Ecosystems), affiliated to [ESEC/FSE
-  2009](http://www.esec-fse-2009.ewi.tudelft.nl/), as the *publicity
+* **[SAC WT 2010](http://www.cs.unibo.it/sacwt10/)** (track *Web Technologies*
+  of the
+  [ACM Symposium on Applied Computing](http://www.acm.org/conferences/sac/sac2010/)),
+  as a member of the *program commitee*
+* **[IWOCE 2009](http://www.iwoce.org/)** (International Workshop on Open
+  Component Ecosystems), affiliated to
+  [ESEC/FSE 2009](http://www.esec-fse-2009.ewi.tudelft.nl/), as the *publicity
   chair*
   chair*
-* **[CONFSL'09](http://www.confsl.org/confsl09/)** (Conferenza
-  Italiana sul Software Libero), as a member of the *program
-  commitee*
+* **[CONFSL'09](http://www.confsl.org/confsl09/)** (Conferenza Italiana sul
+  Software Libero), as a member of the *program commitee*