Home Page - Luca de Alfaro

Luca de Alfaro

Ph.D. Stanford University, 1998

Associate Professor, Computer Science
Baskin School of Engineering
University of California, Santa Cruz

Web: http://www.soe.ucsc.edu/~luca (mirror)
Email: my_first_name@cs.ucsc.edu
Office: Engineering 2 Bldg, Rm. 339A
Lab: Engineering 2 Bldg, Rm. 307
Phone: +1-650-248-2856
Fax: +1-831-459-4829
Mailing address
My weekly schedule / calendar (ICS feed)
Directions to the UCSC School of Engineering
Directions to the UCSC Silicon Valley Center

I am currently on leave of absence, working at Google as a Visiting Scientist.

Research Interests

Applications:	Reputation systems, collaboration on the web and beyond, e-commerce.
System design:	Embedded software design, formal methods for system design.
System verification:	Discrete, real-time, embedded, and probabilistic systems.
Foundations:	Game theory, concurrency theory, automata theory.

Curriculum vitae: Postscript PDF

Research, News, Projects, and Demos

Teleolog, an NSF-sponsored project, joint with SRI, on the analysis and verification of robotics software.
Reputation and trust systems for collaborative content. We released WikiTrust, a tool for the computation of author reputation and text trust in wikis; here is a demo on the 2007 English Wikipedia.
Direct: directed testing of real-time software, a joint project with Rupak Majumdar of UCLA, with support from the National Science Foundation.
Sustainability Wiki, a wiki to help us understand the sustainability impact of our actions, and make a difference.
Ticc: A Tool for Interface Compatibility and Composition. Ticc is a tool for the prototyping and verification of distributed designs.

Recent Work

K. Chatterjee, L. de Alfaro, T.A. Henzinger. Termination Criteria for Solving Concurrent Safety and Reachability Games. In Proceedings of SODA 09: ACM-SIAM Symposium on Discrete Algorithms, ACM Press, 2009. Abstract PDF
K. Chatterjee, L. de Alfaro, M. Faella, A. Legay. Qualitative Logics and Equivalences for Probabilistic Systems. Logical Methods in Computer Science, volume 5, issue 2, 2009. Abstract PDF
L. de Alfaro, R. Majumdar, V. Raman, M. Stoelinga. Game Refinement Relations and Metrics. Logical Methods in Computer Science, volume 4, issue 3, 2008. Abstract PDF
K. Chatterjee, L. de Alfaro, R. Majumdar, V. Raman. Algorithms for Game Metrics. In Proceedings of FSTTCS 08: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Abstract PDF An extended version of this paper can be found on Arxiv.
K. Chatterjee, L. de Alfaro, I. Pye. Robust Content-Driven Reputation. In Proceedings of AISec 08: First ACM Workshop of AISec, ACM Press, 2008. Abstract PDF
B.T. Adler, K. Chatterjee, L. de Alfaro, M. Faella, I. Pye, V. Raman. Assigning Trust to Wikipedia Content. In WikiSym 2008: International Symposium on Wikis. Abstract PDF
B.T. Adler, L. de Alfaro, I. Pye, V. Raman. Measuring Author Contributions to the Wikipedia. In WikiSym 2008: International Symposium on Wikis. Abstract PDF
K. Chatterjee, L. de Alfaro, T.A. Henzinger. Qualitative Concurrent Parity Games. Technical Report UCSC-CRL-08-02, School of Engineering, University of California, Santa Cruz, CA, USA. April 2008. Abstract PDF

All my publications, in chronological order

All my publications, by topic

Conferences

I am involved in the following conferences:

FOSSACS 2009 (PC Chair),
EMSOFT 2008 (PC co-Chair), International Conference on Embedded Software, 2008.
ICALP 2008 (PC), 35th International Colloquium on Automata, Languages and Programming, Reykjavik, July 2008.
OOPSLA Onward 2008 (PC), Nashville, October 2008.
INFINITY 2008 (PC), 10th International Workshop on Verification of Infinite-State Systems, Toronto, Canada, August 2008.
AISec 2008 (PC), First ACM Workshop on AI and Security, Alexandria (VA), October 2008.