loglib: publish cours-5
[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
13   project, which is addressing some of this challenges, in particular the
14   *upgrade 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
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
23
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
29
30 # publications
31
32 A list of my publications is available on a [[dedicated page|publications]].
33
34 # committees
35
36 I've recently been involved in the following scientific committees:
37
38 * **[OSS 2016](http://www.oss2016.org/)** (12th International Conference on
39   Open Source Systems), as a member of the *program committee*
40 * **[IEEE Software Blog](http://blog.ieeesoftware.org/)**, as editor for
41   Free/Open Source Software Engineering topics
42 * **[OpenSym 2015](http://www.opensym.org/os2015/)**, 11th International
43   Symposium on Open Collaboration), as a member of the *program committee*
44 * **[RELENG 2015](http://releng.polymtl.ca/RELENG2015/html/index.html)** (3rd
45   International Workshop on Release Engineering), as a member of the *program
46   committee*
47 * **[OSS 2015](http://www.oss2015.org/)** (11th International Conference on
48   Open Source Systems), as a member of the *program committee*
49 * **[SAC WT 2015](http://www.cs.unibo.it/sacwt15/)** (track *Web Technologies*
50   of the
51   [ACM Symposium on Applied Computing](http://www.acm.org/conferences/sac/sac2015/)),
52   as *co-chair*
53 * **[SCORE-it 2015](http://www.score-contest.it/)** (Italian Student COntest in
54   softwaRe Engineering), as a member of the *program committee*
55 * **[RELENG 2014](http://releng.polymtl.ca/RELENG2014/html/index.html)** (2nd
56   International Workshop on Release Engineering), as a member of the *program
57   committee*
58 * **[OPENSYM 2014](http://www.opensym.org/os2014/)** (The International
59   Symposium on Open Collaboration), as a member of the *program committee*
60 * **[Journal of Peer Production](http://peerproduction.net/)** as member of the
61   *editorial board*
62 * **[SAC WT 2014](http://www.cs.unibo.it/sacwt14/)** (track *Web Technologies*
63   of the
64   [ACM Symposium on Applied Computing](http://www.acm.org/conferences/sac/sac2014/)),
65   as *co-chair*
66 * **[OSDOC 2013](http://eurosigdoc.acm.org/osdoc2013/)** as member of the *program
67   committee*
68 * **[OPENSYM 2013](http://opensym.org/wsos2013/submitting/floss)** (Joint
69   International Symposium on Open Collaboration, Free, Libre, and Open Source
70   Software Research Track), as a member of the *program committee*
71 * **[RELENG 2013](http://releng.polymtl.ca/)** (International Workshop on
72   Release Engineering), as a member of the *program committee*
73 * **[SAC WT 2013](http://www.cs.unibo.it/sacwt13/)** (track *Web Technologies*
74   of the
75   [ACM Symposium on Applied Computing](http://www.acm.org/conferences/sac/sac2013/)),
76   as *co-chair*
77 * **[CONFSL'12](http://www.confsl.org/confsl12/)** (Conferenza Italiana sul
78   Software Libero), as a member of the *program committee*
79 * **[Agenda Digitale di Bologna](http://iperbole2020.tumblr.com/agendadigitale)**,
80   as a member of the *[scientific committee](http://iperbole2020.tumblr.com/post/18996983301/il-comitato-scientifico-dellagenda-digitale-di-bologna)*
81 * **[OSDOC 2012](http://eurosigdoc.acm.org/osdoc2012/)** as member of the *program
82   committee*
83 * **[SAC WT 2012](http://www.cs.unibo.it/sacwt12/)** (track *Web Technologies*
84   of the
85   [ACM Symposium on Applied Computing](http://www.acm.org/conferences/sac/sac2012/)),
86   as *co-chair*
87 * **[SAC WT 2011](http://www.cs.unibo.it/sacwt11/)** (track *Web Technologies*
88   of the
89   [ACM Symposium on Applied Computing](http://www.acm.org/conferences/sac/sac2011/)),
90   as *co-chair*
91 * **[CONFSL'10](http://www.confsl.org/confsl10/)** (Conferenza Italiana sul
92   Software Libero), as a member of the *program committee*
93 * **[SAC WT 2010](http://www.cs.unibo.it/sacwt10/)** (track *Web Technologies*
94   of the
95   [ACM Symposium on Applied Computing](http://www.acm.org/conferences/sac/sac2010/)),
96   as a member of the *program committee*
97 * **[IWOCE 2009](http://www.iwoce.org/)** (International Workshop on Open
98   Component Ecosystems), affiliated to
99   [ESEC/FSE 2009](http://www.esec-fse-2009.ewi.tudelft.nl/), as the *publicity
100   chair*
101 * **[CONFSL'09](http://www.confsl.org/confsl09/)** (Conferenza Italiana sul
102   Software Libero), as a member of the *program committee*