update with my PPS affiliation
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 3 Apr 2008 12:13:18 +0000 (14:13 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 3 Apr 2008 12:13:18 +0000 (14:13 +0200)
index.mdwn
research.mdwn

index e6c40fb..c4d568d 100644 (file)
@@ -5,27 +5,30 @@ Hi, I'm **Zack** and this is [my homepage](http://upsilon.cc/~zack).
   <tr> <th>name</th> <td>Stefano Zacchiroli</td> </tr>
   <tr>
     <th>affiliation</th>
-    <td> <a href="http://www.cs.unibo.it">Department of Computer Science</a>,
-      <a href="http://www.unibo.it">University of Bologna</a> </td>
+    <td> <a href="http://www.pps.jussieu.fr/">Laboratoire <acronym
+      desc="Preuves, Programmes et Systèmes">PPS</acronym></a>, <a
+      href="http://www.univ-paris-diderot.fr">Université Paris Diderot - Paris
+      7</a> </td>
   </tr>
   <tr>
     <th>address</th>
-    <td>Mura Anteo Zamboni 7, 40127 Bologna, Italy</td>
+    <td><a href="http://maps.google.com/maps?f=q&hl=en&geocode=&q=175+Rue+du+Chevaleret,+75013+Paris,+France&sll=48.833422,2.369368&sspn=0.00041,0.000818&ie=UTF8&ll=48.834329,2.369356&spn=0.013136,0.026178&t=h&z=15&iwloc=addr">175 Rue du Chevaleret, 75013 Paris, France</a></td>
   </tr>
-  <tr> <th>phone</th> <td>+39 051 20 94847</td> </tr>
-  <tr> <th>fax</th> <td>+39 051 20 94510</td> </tr>
+  <tr> <th>phone</th> <td>+33 1 44 27 8504</td> </tr>
+  <tr> <th>fax</th>   <td>+33 1 44 27 8654</td> </tr>
   <tr>
     <th>email</th>
     <td><tt>zack@{<a href="mailto:zack@upsilon.cc">upsilon.cc</a>,
-      <a href="mailto:zack@cs.unibo.it">cs.unibo.it</a>,
-      <a href="mailto:zack@debian.org">debian.org</a>,
-      <a href="mailto:zack@bononia.it">bononia.it</a>}</tt></td>
+      <a href="mailto:zack@pps.jussieu.fr">pps.jussieu.fr</a>,
+      <a href="mailto:zack@debian.org">debian.org</a>}</tt></td>
   </tr>
 </table>
 
 I'm a [[wikipedia Ph.D.]] Doctor in computer science, currently doing
-[[research]] and [[teaching]] at the University of Bologna; more about my
-education and professional activities can be found in my
+[[research]] as a [[wikipedia post-doc]] at [Laboratoire
+PPS](http://www.pps.jussieu.fr/), [Université Paris Diderot - Paris
+7](http://www.univ-paris-diderot.fr/). I also have some [[teaching]] duties.
+More about my education and professional activities can be found in my
 [[curriculum_vitae|cv.pdf]]. I'm a [[wikipedia free software]] supporter,
 [[developer|hacking/software]], and [[proud_member|hacking/debian]] of the
 [Debian](http://www.debian.org) project.  Yes, I do also have a
index 90373d0..34b2dce 100644 (file)
@@ -1,12 +1,18 @@
-[[img img/applications-science.png link="no" class="flow" alt="science"]]
-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]]** on available in a
-[[separate_page|publications]].
+[[img img/applications-science.png link="no" class="flow" alt="science"]] My
+main job is doing research (and [[teaching]]) at the [Laboratoire
+PPS](http://www.univ-paris-diderot.fr/) of the [Université Paris Diderot - Paris
+7](http://www.univ-paris-diderot.fr/). My current and not-so current research
+interests are summarized below, a list of my **[[publications]]** is available
+from a [[separate_page|publications]].
 
 # 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
@@ -20,7 +26,3 @@ are summarized below, a list of my **[[publications]]** on available in a
  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)