add conferences to the research section
[homepage.git] / research.mdwn
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]].
7
8 # research interests
9
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 project,
13  which is addressing some of this challenges, in particular the *upgrade
14  problem* of packages in GNU/Linux distributions
15
16  * type theory and in particular **proof assistants** / interactive theorem
17  provers. I've been one of the architect of the [Matita proof
18  assistant](http://matita.cs.unibo.it), though now I'm contributing code more
19  sparingly; both my master and Ph.D. [[theses|publications]] have been about
20  Matita. I've also worked on distributed digital libraries of formalized
21  mathematics, such as the [HELM](http://helm.cs.unibo.it) library
22
23  * **web technologies**, in particular: type systems for typing XML trees (I'm
24  currently a member of [W3C](http://www.w3.org)'s [XML Schema working
25  group](http://www.w3.org/XML/Schema)) and document validation, overlapping
26  markup, web collaboration (as in [[!wikipedia wiki]]s) and its interaction with
27  content constraints
28
29 # conferences
30
31 I've recently been involved in the following conferences:
32
33 * **[SAC WT 2010](http://www.cs.unibo.it/sacwt10/)** (track *Web
34   Technologies* of the [ACM Symposium on Applied
35   Computing](http://www.acm.org/conferences/sac/sac2010/)), as a
36   member of the *program commitee*
37 * **[IWOCE 2009](http://www.iwoce.org/)** (International Workshop on
38   Open Component Ecosystems), affiliated to [ESEC/FSE
39   2009](http://www.esec-fse-2009.ewi.tudelft.nl/), as the *publicity
40   chair*
41 * **[CONFSL'09](http://www.confsl.org/confsl09/)** (Conferenza
42   Italiana sul Software Libero), as a member of the *program
43   commitee*