Iliano Cervesato
Associate Teaching Professor of Computer Science
Background
- Employment
- 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
- October 2004 - January 2005 Visiting Research Collaborator at the Department of Mathematics of the University of Pennsylvania, Philadelphia, PA
- Since July 2004: Founder and Chief Research Scientist of Deductive Solutions, Annandale, VA
- 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 2002 - August 2004: Visiting Research Collaborator, Department of Computer Science, Princeton University
- July 2003: Visiting Fellow, Department of Computer Engineering, Chulalongkorn University, Bangkok, Thailand
- 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
- Education
- March - July 1996: Extended visit at the Department of Mathematics of the Technical University of Darmstadt, Darmstadt, Germany
- April 1994 - November 1995: Extended visit at the Department of Computer Science of Carnegie Mellon University
- November 1991 - November 1995: Ph.D. student in Computer Science at the University of Torino, Torino, Italy
- September 1990 - August 1992: Master student in Computer Science at the University of Houston, Houston, TX
- November 1986 - March 1991: Undergraduate student in Computer Science at the University of Udine, Udine, Italy
Research
- Interests:
I am interested in the fundamental principles that govern large classes of
problems in computer science in order to exploit their computational
properties to develop algorithms that can effectively solve them. This is
akin to the work of a particle physicist who looks for the fundamental
constituents of our world to develop new processes and materials. Specific
instances encompass:
- Computational logic: logical frameworks, type theory, linear logic, programming languages, logic programming, automated deduction, temporal logic, state, concurrency.
- Computer security: specification languages, cryptographic protocols, intruder models, verification.
- Computer Science education: mobile learing, web-based technology.
- Grants
Current grants
- 2011-13: QNRF NPRP 4-341-1-059 Usable automated data inference for end-users, $1,017,624 (Lead PI)
- 2011-13: QNRF NPRP 4-1593-1-260 VirtuallySafe: A Framework for Hypervisor Code and Data Integrity, $1,049,572 (PI)
- 2010-12: QNRF NPRP 09-1107-1-168 Formal Reasoning about Languages for Distributed Computation, $1,002,161 (co-Lead PI)
- 2010-12: QNRF NPRP 09-667-1-100 Effective Programming for Large Distributed Ensembles, $1,035,164 (Lead PI)
Older grants- 2006-09: QF 930107 Automated Analysis of Large Cryptographic Protocols, $200,000 (PI)
- 2007: QNRF UREP 4-7-6 Empirical Evaluation of the Cryptographic Protocol Specification Language MSR, $10,000 (PI)
- 2007: QNRF UREP 4-31-6 Implementation and Evaluation of a Innovative Encryption-Based Anti-Tamper Technology, $10,000 (PI)
- 2004-05: DARPA W31P4Q-05-C-R0405 A Deductive Spreadsheet, $100,000 (PI)
- Output
Teaching
- Selected courses
- CS 15-150 — Principles of Functional Programming, Carnegie Mellon University (Pittsburgh and Qatar campus)
- CS 15-199 — Discovering Logic, Carnegie Mellon University (Qatar Campus)
- CS 15-212 — Principles of Programming, Carnegie Mellon University (Qatar campus)
- CS 15-221 — Technical Writing for Computer Scientists, Carnegie Mellon University (Qatar Campus)
- CS 15-312 — Foundations of Programming Languages, Carnegie Mellon University (Qatar Campus)
- CS 15-317 — Constructive Logic, Carnegie Mellon University (Qatar campus)
- CS 15-349 — Introduction to Computer and Network Security, Carnegie Mellon University (Qatar campus)
- CS 15-502 — Technology and Global Development, Carnegie Mellon University (Qatar Campus)
- CS 359 — Linear Logic and Applications, Stanford University
- CS 80-211 — Logic and Mathematical Inquiry, Carnegie Mellon University (Qatar campus)
- ISA 767/INFS 667 — Secure Electronic Commerce, George Mason University
- All courses
Service
- Conferences
- General Chair of the Fifteenth Conference on Logic Programming, Artificial Intelligence and Reasoning – LPAR'08, Doha, Qatar, 22-27 November 2008.
- Chair of the Security and Information Assurance Track of the Sixth ACS/IEEE International Conference on Computer Systems and Applications – AICCSA'08, Doha, Qatar, 1-4 April 2008.
- Co-organizer of the 2nd Annual Doha Conference on Applied Mathematics and Computational Science – AMCS'08, Doha, Qatar, 30 March - 1 April 2008.
- Program Chair of the Twelfth Annual Asian Computing Science Conference – ASIAN'07, Doha, Qatar, 9-11 December 2007.
- 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.
- Program Chair of the FLoC'02 workshop on Foundations of Computer Security – FCS'02, Copenhagen, Denmark, 25-26 July 2002.
- General Chair of the 15th IEEE Computer Security Foundations Workshop – CSFW-15, Cape Breton, NS, Canada, 24-26 June 2002.
- General Chair of the 14th IEEE Computer Security Foundations Workshop – CSFW-14, Cape Breton, NS, Canada, 11-13 June 2001.
- Steering committee member for
- Since 2001: Computer Security Foundations Symposium
- Since 2007: Asian Computing Science Conference
- 2008-09: Conference on Modeling of Complex Systems
- 2008: Doha Information Security Conference
- Program committee member for
- 2013: PPDP'13, SETOP'13, PST'13, SCSS'13, SAC'13
- 2012: SCSS'12, QASA'12, SETOP'12, PST'12, SVARM/VERIFY'12, SAC'12
- 2011: SETOP'11, DPM'11, SAC'11
- 2010: CIS'10, STM'10, DPM'10, CSL'10, VERIFY'10, AMAST 2010, LPAR-16, SAC'10
- 2009: CIS'09, WISG'09, CCS'09, ASIAN'09, DPM'09, STM'09, SAC'09
- 2008: CIS'08, CCS'08, CSF'08, SAC'08
- 2007: CIS'07, FSTTCS'07, CSF-20
- 2006: ASIAN'06, MFCS'06, SecReT'06
- 2005: FCS'05
- 2004: SecCo'04, LCMAS'04, FCS'04, WISP'04, HASE'04
- 2003: TPHOLs'03, TIME-ICLP'03
- 2002: VERIFY'02, TIME'02
- 2001: RULE'01, TIME'01
- 2000: TIME'2000, RULE'2000
- 1999: TIME'99, LFM'99, PPDP'99, WAAAPL'99
- 1998: TIME'98
- Institutional committees
At Carnegie Mellon University in Qatar:
- Marhaba Tartans Spring'13
- Building allocation board Fall'10-Fall'12
- Summer communication symposium Spring'12-Fall'12
- Research chair: Spring'09-Fall'10
- Building use Fall'09-Spring'10
- Departmental committees
In the Computer Science group at Carnegie Mellon University in Qatar:
- Faculty recruitment Spring'07, Spring'09-Spring'10; chair: Fall'07-Fall'08, Fall'10-present
- New programs Fall'07-Spring'10
- Undergraduate theses Fall'07-present
- Website chair: Fall'09-present
- Research Spring'08; chair: Fall'08
- Curriculum and assessment Fall'07
- CS Forum organizer: Fall'06-Spring'07
- Regional activities Spring'07
- Faculty-student interactions Spring'07
- Miscellaneous
Maintainer of:
- the CMU-Q Computer Science site Aug'11 - present
- the Joint Seminar page Feb'07 - Dec'07
- the Protocol eXchange Seminar page Feb'03 - Sep'05
- the Event Calculus Bibliography Feb'07 - Jun'04
- the CMU Linear Logic Bibliography Jan'95 - Aug'97
