Associate Professor, Nancy-Université
LORIA,
SCORE Team, Bâtiment B,
Campus Scientifique,
54506 Vandoeuvre-lès-Nancy, Cedex.
(+33) 354 95 86 29 (Office)
(+33) 383 41 30 79 (Fax)
pascal.urso{NO@SPAM}loria.fr

CV English (1 page)

CV Français

Research Interests

My research focus on massive optimistic replication for collaborative editing.

• Distributed Systems
• Optimistic Replication
• Collaborative Editing, Collaborative Editors
• Operational Transformation Approach
• Computer Supported Cooperative Work.

but also

• Formal Methods, Automated Theorem Proving
• Reasoning about Actions, Situation Calculus

Software

• Wooki : peer-to-peer wiki based on Woot and a bimodal broadcast (anti-entropy and lightweight probabilistic broadcast) 2007, GPL.
• Graveyard : real-time collaborative editor, GPL.
• Vote : automated proof framework for collaborative edition based on Operational Transformation, proof by induction and situation calculus, 2003.
• Nice : prototype of automated theorem prover by induction, 2001.

Contracts

• National ANR STREAMS, 2010-2013
• National ANR ConcoRDanT, UHP coordinator, 2010-2013
• National XWiki 3.0 Service for the innovative Web call, 2009-2011.
• European IST IP Qualipso : Quality Platform for Open Source Software, 2006-2010.
• Regional PSW : Proof of Web Service, 2007-2008.
• National ARC INRIA Recall 2006-2007
• European NoE Interop : Interoperability Research for Networked Enterprises Applications and Software, 2003-2007