Curriculum vitae of Iliano Cervesato
Associate Teaching Professor of Computer Science
- Since July 2006:
Associate Professor of Computer Science at the
Qatar campus
of
Carnegie Mellon University
- January - May 2006:
Adjunct Professor at the Department of
Information and Software Engineering of
George Mason University,
Fairfax, VA
- November 2004 - November 2005:
Visiting Research Professor at the
Mathematics Department of
Tulane University,
New Orleans, LA
- Since July 2004:
Founder and Chief Research Scientist of Deductive Solutions.
- October 1999 - October 2004:
Research Scientist at ITT Industries -
Advanced Engineering and Sciences Division,
supporting the
Naval Research
Laboratory, Formal Methods
Section,
Washington, DC
- September 1997 - September 1999:
Post-doctoral research affiliate at the
Department of Computer Science of
Stanford University,
Stanford, CA
- December 1995 - August 1997:
Post-doctoral research affiliate at the
Computer
Science Department of
Carnegie Mellon University,
Pittsburgh, PA
- Computational logic:
intuitionistic,
linear,
higher-order logics, type theory, proof theory
- Logical
frameworks:
meta-representation, design, implementation
- Programming languages:
theory, design, implementation and verification,
logic
programming
- Artificial
intelligence:
temporal reasoning, knowledge based systems, logical tools
- Co-organizer of the
First Workshop on Logical Spreadsheets -
WOLS'05,
Stanford, CA,
22-23 September 2005.
- Program Chair of the
LICS'03
workshop on Foundations of Computer Security -
FCS'03,
Ottawa, Canada,
26-27 June 2003.
- General Chair of the
15th IEEE Computer Security Foundations Workshop
- CSFW-15,
Cape Breton, NS, Canada,
24-26 June 2002.
- Program Chair of the
FLoC'02 workshop on Foundations of
Computer Security -
FCS'02 (=
FCS'02 at FLoC + slides),
Copenhagen, Denmark,
25-26 July 2002.
- General Chair of the
14th IEEE Computer Security Foundations Workshop -
CSFW-14,
Cape Breton, NS, Canada,
11-13 June 2001.
- Program committee member for
- CSF-20
- ASIAN'06,
MFCS'06,
SecReT
- FCS'05
- HASE'04,
WISP'04,
FCS'04,
LCMAS'04,
SecCo'04
- TPHOLs'03,
TIME-ICLP'03
- VERIFY'02,
TIME'02
- RULE'01,
TIME'01,
- RULE'2000,
TIME'2000
- LFM'99,
WAAAPL'99,
PPDP'99,
TIME'99
- TIME'98
- Invited speaker
- CCS'03
Workshop on Formal Methods in Security Engineering -
FMSE'03,
Washington, DC, October 30, 2003
[slides]
- Workshop on Programming and Programming Languages -
PPL'01,
Kameoka, Japan, March 23, 2001
[slides]
- Current maintainer of
Last modified: Fri May 04, 07