Work Experience CURRICULUM VITAE

Major Research Interests ? Computer security (protocol verification, specification languages, foundations, automated tools). ? Computational logic (proof theory, type theory, logical frameworks, applications). 1 Curriculum Vitae of Iliano Cervesato ? Progr

CURRICULUM VITAE

Iliano Cervesato

Deductive Solutions

4903Regina Dr.

Annandale,V A22003—USA

E-mail:iliano@deductivesolutions.com

doc.xuehai.net

Carnegie Mellon University—Qatar Campus

P.O.Box42866,Doha—Qatar

Tel.:+974-492-8955,Fax:+974-492-8255

E-mail:iliano@cmu.edu

doc.xuehai.net

(as of December11,2007)

Work Experience

Since July2006:Associate Professor of Computer Science at the Qatar Campus of Carnegie Mellon Un-viersity,Doha,Qatar

January–May2006:Adjunct Professor at the Department of Information and Software Engineering of George Mason University,Fairfax,V A,USA.

November2004–November2005:Visiting Research Professor at the Mathematics Department of Tulane University,New Orleans,LA,USA.

–October2004–January2005:Visiting Research Collaborator at the Department of Mathematics of the University of Pennsyl-vania,Philadelphia,PA,USA.

Since July2004:Founder and Chief Research Scientist of Deductive Solutions,Annandale,V A,USA.

October1999–October2004:Research Scientist at ITT Industries supporting the Naval Research Labo-ratory,Washington,DC,USA.

–August2002–August2004:Visiting Research Collaborator at the Department of Computer Science of Princeton University, Princeton,NJ,USA.

–July2003:Visiting fellow at the Department of Computer Engineering of Chulalongkorn University,Bangkok,Thailand.

September1997–September1999:Postdoctoral Research Af liate at the Department of Computer Science of Stanford University,Stanford,CA,USA.

November1995–August1997:Postdoctoral Research Af liate at the Department of Computer Science of Carnegie Mellon University,Pittsburgh,PA,USA.

Major Research Interests

Computer security(protocol veri cation,speci cation languages,foundations,automated tools).

Computational logic(proof theory,type theory,logical frameworks,applications).

1

第1页下一页