# Iliano Cervesato

Professor of Computer Science

- 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.

- Most recent projects (
*all projects*) - Most recent papers (
*all papers*)- With Comingle: Distributed Logic Programming for Decentralized Android Applications, Technical Report CMU-CS-15-101, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, February 2015. Multiset Rewriting, Logic Programming, Android Mobile Programmingpapers/cmu-cs-15-101.pdf
:
- With Linearity 2014, Proceedings Third International Workshop on Linearity — LINEARITY'14, vol. 176, Vienna, Austria, 13 July 2014. DOI: 10.4204/EPTCS.176, ISSN: 2075-2180.Linear Logic, Proof Theory, Complexity Classes, Quantum Computation, Program Analysis, Operational Semantics, Programming Languages, Program Transformation
- With How people do relational reasoning? Role of problem complexity and domain familiarity, Computers in Human Behavior — CHB, vol. 41, 319-326, Elsevier, December 2014. Relational reasoning; Problem solving; Spreadsheet; Domain familiarity; Problem complexitypapers/chb14.pdfDOI
, :
- With Optimized Compilation of Multiset Rewriting with Comprehensions, 12th Asian Symposium on Programming Languages and Systems — APLAS'14 (Jacque Garrigue, editor), 19-38, Springer LNCS 8858, Singapore, 17 November 2014. Springer. Multiset Rewriting, Forward Logic Programming, Comprehension, Compilation, Join Orderingpapers/aplas14.pdfDOI
:
- With Relating reasoning methodologies in linear logic and process algebra, Mathematical Structures in Computer Science — MSCS, vol. -1, 1-39, Cambridge University Press, December 2014. Linear logic, process algebra, induction, coinduction, contextual preorder, simulation, labeled transition system , :
- With Mode checking in the Concurrent Logical Framework, Technical Report CMU-CS-14-134, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, August 2014. Mode Checking, Logical Frameworks, Concurrent Logical Frameworkpapers/cmu-cs-14-134.pdf
, and :
- With Constraint Handling Rules with Multiset Comprehension Patterns, 11th International Workshop on Constraint Handling Rules — CHR'14 (Rémy Haemmerlé and Jon Sneyers, editors), Vienna, Austria, 18 July 2014. Programming languages; multiset; rewriting; CHR; comprehension.papers/chr14.pdfarXiv
:
- With Reasoning About Set Comprehensions, 12th International Workshop on Satisfiability Modulo Theories — SMT'14, CEUR Workshop Proceedings, vol. 1163 (Philipp Rümmer and Christoph Wintersteiger, editors), 27-37, Vienna, Austria, 17-18 July 2014. Programming languages; multiset; rewriting; CHR; comprehension; SMT solver; setpapers/smt14.pdf
:
- Proof-Theoretic Foundations of Indexing in Logic Programming, 9th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice — LFMTP'14 (Amy Felty and Brigitte Pientka, editors), Vienna, Austria, 17 July 2014. Programming languages; logic programming; proof-theory; foundations; indexing; linear; focusing.papers/lfmtp14.pdfDOI
- With Optimized Compilation of Multiset Rewriting with Comprehensions, Technical Report CMU-CS-14-119, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, June 2014. Multiset Rewriting, Logic Programming, Comprehension, Compilation, Join Orderingpapers/cmu-cs-14-119.pdf
:
- With Substructural Meta-Theory of a Type-Safe Language for Web Programming, Fundamenta Informaticae, vol. 130(1), 1-31, IOS Press, 2014. web programming; type safety; substructural operational semantics; SSOS; parallelism; mobile code; substructural meta-theorypapers/fi14.pdf
:

- With Comingle: Distributed Logic Programming for Decentralized Android Applications, Technical Report CMU-CS-15-101, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, February 2015. Multiset Rewriting, Logic Programming, Android Mobile Programming
- Most recent talks (
*all talks*)- Constraint Handling Rules with Multiset Comprehension Patterns, 11th International Workshop on Constraint Handling Rules – CHR'14, Vienna, Austria, 18 July 2014. Programming languages; multiset; rewriting; CHR; comprehension.
- Reasoning About Set Comprehensions, 12th International Workshop on Satisfiability Modulo Theories – SMT'14, Vienna, Austria, 17 July 2014. Programming languages; multiset; rewriting; CHR; comprehension; SMT solver; set
- Proof-Theoretic Foundations of Indexing in Logic Programming, 9th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice – LFMTP'14, Vienna, Austria, 17 July 2014. Programming languages; logic programming; proof-theory; foundations; indexing; linear; focusing.

- Most recent courses (
*all courses*)- CS 15-312: Foundations of Programming Languages, Carnegie Mellon University (Qatar Campus), Spring 2015.
- CS 15-199: Discovering Logic, Carnegie Mellon University (Qatar campus), Fall 2014.
- CS 15-150: Principles of Functional Programming, Carnegie Mellon University (Qatar campus), Fall 2014.
- CS 15-349: Introduction to Computer and Network Security, Carnegie Mellon University (Qatar campus), Fall 2014.
- CS 15-199: Discovering Logic, Carnegie Mellon University (Qatar campus), Spring 2014.
- CS 15-317: Constructive Logic, Carnegie Mellon University (Qatar Campus), Spring 2014.

- Most recent conferences:
- LFMTP'15, 10th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice – Program Chair

Berlin, Germany, 1 August 2015 (30 April 2015) - CICL'15, 30th Italian Conference on Computational Logic – PC member

Genova, Italy, 1-3 July 2015 (31 March 2015) - SETS'15, 2nd International Workshop on Sets and Tools – PC member

Oslo, Norway, 22 June 2015 (23 March 2015) - MeMo'15, Second International Workshop on Meta Models for Process Languages – PC member

Grenoble, France, 5 June 2015 (1 April 2015) - TTL'15, 4th International Congress on Tools for Teaching Logic – PC member

Rennes, France, 1-4 June 2015 (13 February 2015) - SEC'15, 30th IFIP TC-11 SEC 2015 International Information Security and Privacy Conference – PC member

Hamburg, Germany, 26-28 May 2015 (15 January 2015)

- LFMTP'15, 10th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice – Program Chair

- Curriculum Vitae
- My Erdös number is 3
- My mathematical genealogy goes back to 1380
- In the press:
- ASEE Prism,
December
2010 issue:
*Under attack*(cover story), published by the American Society for Engineering Education - The Piper,
12/10 issue:
*Classes Find Success with Book-Length Comics* - Akhbar Magazine,
Summer/Fall 2010 issue:
*Discovering Logic with Comics: a new approach to teaching first-year computer science majors*

- ASEE Prism,
December
2010 issue:

Announcements

- Projects:

*The Deductive Spreadsheet*, Springer-Verlag, 2013