SERGIO ANTOY, Curriculum Vitae, July 2008


Education
Ph.D. Computer Science, 1987, University of Maryland, College Park, Maryland.
M.S. Computer Science, 1985, University of Maryland, College Park, Maryland.

Employment (since Ph.D.)
-   Associate Chair for Graduate Education, Portland State University, Portland, Oregon, 2004-date.
-   Professor of Computer Science, Portland State University, Portland, Oregon, 1998-2004.
- Associate Prof. of Computer Science, Portland State University, Portland, OR, 1993-1998.
- Assistant Prof. of Computer Science, Portland State University, Portland, OR, 1990-1993.
- Assistant Prof. of Computer Science, Virginia Tech, Falls Church, Virginia, 1988-1990.
- Scientist, Teknowledge, Inc., Palo Alto, California, 1987-1988.

Professional Activities
-   Editorial board: Journal of Functional Logic Programming.
- Program Committees: PPDP 2010, LOIPSTR 2010, WFLP 2010, WFLP 2009, WRS 2009, ICLP 2008, PPDP 2008 (chair), FLOPS 2008, WFLP 2007, WRS 2007, WFLP 2006, WRS 2006 (chair), WCFLP 2005 (co-chair), WFLP 2004, WRS 2004 (co-chair), WFLP 2003, WRS 2003, WFLP 2002, WRS 2002, PADL 2002, WFLP 2001, PADL 2001, FLOPS 2001, CL 2000 (TE), ALP 1996, ILPS 1995.
- Invited Talks: Evaluation Strategies for Functional Logic Programming, WRS 2001.

Grants
National Science Foundation, $399,380, 2002-05.
National Science Foundation, $186,000, 2001-04.
National Science Foundation, $12,808, 2000-02.
National Science Foundation, $77,436, 1994-96.
Oregon Center for the Advacement of Technology and Education, $7,500, 1993-94.
Battelle Pacific Northwest Laboratories, $145,614, 1993.
Oregon Advanced Computing Institute & Tektronix, Inc., $30,886, 1992-93.
Oregon Center for the Advacement of Technology and Education, $7,500, 1990-91.
National Science Foundation, $70,000, 1989-92.

Recent Teaching
Design Patterns.
Functional Logic Programming.
Data Structures.
Programming in Java.
Advanced Java Programming.

Research Interests
Theory of narrowing strategies.
Implementation of functional logic programming languages.

Representative Publications
-   Evaluation Strategies for Functional Logic Programming. Journal of Symbolic Computation 40(1):875-903, 2005.
-   A Needed Narrowing Strategy (with R. Echahed and M. Hanus). Journal of the ACM 47(4):776-822, 2000.
- Automatically Checking an Implementation against its Formal Specification (with D. Hamlet). IEEE Transaction on Software Engineering, 26(1):55-69, 2000.
- A Sequential Reduction Strategy (with A. Middeldorp). Theoretical Computer Science, 165:75-95, 1996.

Consulting
Engineering Animation, Inc., Beaverton, Oregon, 2000.
PG&E Gas Transmission, Portland, Oregon, 2000.
Pistachio Software, Inc., Portland, Oregon, 1997 and 1998.
Axian Inc., Beaverton, Oregon, 1997.
Open Systems Engineering, Lake Oswego, Oregon, 1996.
Symantec Corporation, Beaverton, Oregon, 1996.
Northwest Natural Gas, Portland, Oregon, 1994.
IBM North America, Portland, Oregon, 1994.
Tektronix, Inc., Beaverton, Oregon, 1991.
Systems Research Associates, Arlington, Virginia, 1989.
MCI Telecommunications, MacLean, Virginia, 1989.