1 [[!img img/applications-science.png link="no" class="flow" alt="science"]] My
2 main job is doing research (and [[teaching]]) at the [Laboratoire
3 PPS](http://www.univ-paris-diderot.fr/) of the [Université Paris Diderot - Paris
4 7](http://www.univ-paris-diderot.fr/). My current and not-so current research
5 interests are summarized below, a list of my **[[publications]]** is available
6 from a [[separate page|publications]].
10 * **free software** and how formal methods can be applied to address the
11 complexity of the scenarios brought by the open source development model. I'm
12 currently a member of the [mancoosi](http://www.mancoosi.org) research
13 project, which is addressing some of this challenges, in particular the
14 *upgrade problem* of packages in GNU/Linux distributions
16 * type theory and in particular **proof assistants** / interactive theorem
17 provers. I've been one of the architect of the
18 [Matita proof assistant](http://matita.cs.unibo.it), though now I'm
19 contributing code more sparingly; both my master and
20 Ph.D. [[theses|publications]] have been about Matita. I've also worked on
21 distributed digital libraries of formalized mathematics, such as the
22 [HELM](http://helm.cs.unibo.it) library
24 * **web technologies**, in particular: type systems for typing XML trees (I'm
25 currently a member of [W3C](http://www.w3.org)'s
26 [XML Schema working group](http://www.w3.org/XML/Schema)) and document
27 validation, overlapping markup, web collaboration (as in
28 [[!wikipedia wiki]]s) and its interaction with content constraints
32 A list of my publications is available on a [[dedicated page|publications]].
36 I've recently been involved in the following conferences:
38 * **[SAC WT 2011](http://www.cs.unibo.it/sacwt11/)** (track *Web Technologies*
40 [ACM Symposium on Applied Computing](http://www.acm.org/conferences/sac/sac2011/)),
42 * **[CONFSL'10](http://www.confsl.org/confsl10/)** (Conferenza Italiana sul
43 Software Libero), as a member of the *program commitee*
44 * **[SAC WT 2010](http://www.cs.unibo.it/sacwt10/)** (track *Web Technologies*
46 [ACM Symposium on Applied Computing](http://www.acm.org/conferences/sac/sac2010/)),
47 as a member of the *program commitee*
48 * **[IWOCE 2009](http://www.iwoce.org/)** (International Workshop on Open
49 Component Ecosystems), affiliated to
50 [ESEC/FSE 2009](http://www.esec-fse-2009.ewi.tudelft.nl/), as the *publicity
52 * **[CONFSL'09](http://www.confsl.org/confsl09/)** (Conferenza Italiana sul
53 Software Libero), as a member of the *program commitee*