Iliano Cervesato

Professor of Computer Science

Carnegie Mellon University

Background

Employment
- Since September 2016: Teaching Professor of Computer Science at Carnegie Mellon University
- July 2006 – August 2016: Teaching Faculty in 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
- 2014-18: QNRF NPRP 7-988-1-178 Automated verification of properties of concurrent, distributed and parallel specifications with applications to computer security, $898,420 (Lead PI)
Older grants
- 2015-16: QNRF NPRP-EP X-063-1-014 The Garbled Computer: Towards Computing Without Seeing, $1,758,209 (PI)
- 2011-16: QNRF NPRP 4-341-1-059 Usable automated data inference for end-users, $1,017,624 (Lead PI)
- 2011-16: QNRF NPRP 4-1593-1-260 VirtuallySafe: A Framework for Hypervisor Code and Data Integrity, $1,049,572 (PI)
- 2010-15: QNRF NPRP 09-667-1-100 Effective Programming for Large Distributed Ensembles, $1,035,164 (Lead PI)
- 2010-14: QNRF NPRP 09-1107-1-168 Formal Reasoning about Languages for Distributed Computation, $1,002,161 (co-Lead PI)
- 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
- Projects
- Papers
- Talks

Teaching

Selected courses
- CS 15-122 — Principles of Imperative Programming, Carnegie Mellon University
  Spring 2020 Fall 2019 Spring 2019 Fall 2018 Spring 2018 Fall 2017 Spring 2017 Fall 2016
- CS 15-150 — Principles of Functional Programming, Carnegie Mellon University (Qatar campus)
  Fall 2015 Fall 2014 Fall 2013 Summer 2013 Fall 2012
- CS 15-199 — Discovering Logic, Carnegie Mellon University (Qatar campus)
  Fall 2015 Fall 2014 Spring 2014 Spring 2013 Spring 2011 Spring 2010
- CS 15-212 — Principles of Programming, Carnegie Mellon University (Qatar campus)
  Spring 2012 Spring 2011 Spring 2010 Spring 2009 Spring 2008 Spring 2007 Fall 2006
- CS 15-221 — Technical Writing for Computer Scientists, Carnegie Mellon University (Qatar Campus)
  Fall 2011
- CS 15-312 — Foundations of Programming Languages, Carnegie Mellon University (Qatar Campus)
  Spring 2015 Spring 2013 Spring 2011 Spring 2010 Spring 2009 Spring 2008 Spring 2007
- CS 15-317 — Constructive Logic, Carnegie Mellon University (Qatar campus)
  Fall 2015 Spring 2014 Spring 2012
- CS 15-349 — Introduction to Computer and Network Security, Carnegie Mellon University (Qatar campus)
  Fall 2014 Fall 2012 Fall 2010 Fall 2008
- CS 15-502 — Technology and Global Development, Carnegie Mellon University (Qatar Campus)
  Fall 2007
- CS 359 — Linear Logic and Applications, Stanford University
  Winter 1999
- CS 80-211 — Logic and Mathematical Inquiry, Carnegie Mellon University (Qatar campus)
  Spring 2012
- ISA 767/INFS 667 — Secure Electronic Commerce, George Mason University
  Spring 2006
All courses

Service

Conferences
- Program Chair of the 4th International Workshop on Linearity – LINEARITY'16, Porto, Portugal, 25 June 2016.
- Program Chair of the First International Workshop on Focusing – WoF'15, Suva, Fiji, 23 November 2015.
- Program Chair of the 10th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice – LFMTP'15, Berlin, Germany, 1 August 2015.
- Program Chair of the 3rd International Workshop on Linearity – LINEARITY'14, Vienna, Austria, 13 July 2014.
- 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 — CSF
  - Since 2007: Asian Computing Science Conference — ASIAN
  - Since 2015: International Workshop on Logical Frameworks and Meta Languages: Theory and Practice — LFMTP
  - 2008-09: Conference on Modeling of Complex Systems
  - 2008: Doha Information Security Conference
- Program committee member for
  - 2020: RuleML+RR 2020
  - 2019: RuleML+RR 2019
  - 2018: LSFA'18, RuleML+RR 2018, UNIF'18
  - 2017: MeMo'17, UNIF'17, SEC'17, LPAR-21
  - 2016: APLAS 2016, PPDP 2016, SEC'16
  - 2015: CICL'15, SETS'15, MeMo'15, TTL'15, SEC'15
  - 2014: VERIFY, ICLP'14, SEC'14, SAC'14
  - 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: DPM'11, SETOP'11, SAC'11
  - 2010: CIS'10, DPM'10, STM'10, CSL'10, VERIFY'10, AMAST 2010, LPAR-16, SAC'10
  - 2009: CIS'09, WISG'09, CCS'09, ASIAN'09, STM'09, DPM'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: LFM'99, TIME'99, WAAAPL'99, PPDP'99
  - 1998: TIME'98
Conference details
International committees
- ACM SIGLOG Education Committee chair: Sep'14-present
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