|
Luca de Alfaro
Ph.D. Stanford University, 1998 Associate Professor, Computer Engineering Baskin School of Engineering University of California, Santa Cruz Web: http://www.soe.ucsc.edu/~luca (mirror) Email: my_first_name@soe.ucsc.edu Office: Engineering 2 Bldg, Rm. 339A Lab: Engineering 2 Bldg, Rm. 307 Phone: +1-831-459-4982 Fax: +1-831-459-4829 Mailing address GnuPG public key Office hours, travel schedule, weekly schedule Directions to the School of Engineering Directions to the Silicon Valley Center |
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.
- 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, 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. Strategy Improvement for Concurrent Safety Games. Technical Report UCSC-SOE-08-04, School of Engineering, University of California, Santa Cruz, CA, USA. April 2008. Abstract PDF
- K. Chatterjee, L. de Alfaro, R. Majumdar. The Complexity of Coverage. Technical Report UCSC-SOE-08-03, School of Engineering, University of California, Santa Cruz, CA, USA. April 2008. 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
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.
UCSC
- Theory and software discussion group at UCSC:
, 
- Seminar calendar for theory and software at UCSC:
,
,
CMPS 280G: Software Engineering Seminar Calendar:
, ,
Interested in research at UCSC? Here is some information for prospective students, postdocs, and visitors.
Other Links
Using Latex in OpenOffice: Here is a package that enables you to use Latex in OpenOffice presentations. The package is very much inspired by the TexPoint package of George Necula, and was originally written by Geoffroy Piroux. This is my own version, with (I believe) improved fonts and symbols.
Vec: an implementation of extensible, functional arrays in Ocaml.
Fun is... (AVI, 25.5 MB)
I use svn for collaborating on papers. Here you can find help, and the list of repositories I use.
