Iliano Cervesato
Associate Teaching 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 and : Relating Reasoning Methodologies in Linear Logic and Process Algebra, Second International Workshop on Linearity — LINEARITY'12 (Sandra Alves and Ian Mackie, editors), Tallinn, Estonia, 1 April 2012. Linear logic, process algebra, induction, coinduction, contextual preorder, simulation, labeled transition system
- With and : Relating Reasoning Methodologies in Linear Logic and Process Algebra, Technical Report CMU-CS-11-145, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, December 2011. Linear logic, process algebra, CCS, pi-calculus, meta-reasoning, logical preorder, contextual preorder, simulation, labeled transition systems, equivalence, induction, coinduction
- MSR 2.0: Language Definition and Programming Environment, Technical Report CMU-CS-11-141, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, November 2011. MSR 2.0, multiset rewriting, specification language, language definition, syntax, typing, execution, type reconstruction, CMUQ, NPRP 09-667-1-100
- Typed Multiset Rewriting Specifications of Security Protocols, Technical Report CMU-CS-11-140, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, October 2011. Specification of Security Protocol, Dolev-Yao Model, Parallel Multiset Rewriting, Dependent Types, Subsorting, Data Access Specification, Dolev-Yao Intruder, Strongest Attacker, CMUQ, NPRP 09-667-1-100
- With , , , , and : Getting CS Undergraduates to Communicate Effectively, 16th Annual AMC Conference on Innovation and Technology in Computer Science Education — ITiCSE'11 (Guido Rößling, Tom Naps and Christian Spannagel, editors), 283-287, ACM Press, Darmstadt, Germany, 27-29 June 2011. ACM. Computer Science Education, CS Education, Writing
- Discovering Logic through Comics, 16th Annual AMC Conference on Innovation and Technology in Computer Science Education — ITiCSE'11 (Guido Rößling, Tom Naps and Christian Spannagel, editors), 103-107, ACM Press, Darmstadt, Germany, 27-29 June 2011. ACM. Computer Science eduction, freshmen year, first-year of college, logic, computational thinking, comic book, logicomix, communication skills, history of CS
- With , , , , and : Getting CS Undergraduates to Communicate Effectively (short paper), 42nd ACM Technical Symposium on Computer Science Education — SIGCSE'11 (Thomas Cortina, Ellen Walker and Laurie Smith King, editors), 711, ACM Press, Dallas, TX, 9-12 March 2011. ACM. Computer Science Education, CS Education, Writing
- With , , and : Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos, International Journal of Information Security — IJIS, vol. 10(2), 107-134, Springer Verlag, 2011. Security, Kerberos, Dolev-Yao model, PKINIT, computational model
- With and : Relating Reasoning Methodologies in Linear Logic and Process Algebra, Second International Workshop on Linearity — LINEARITY'12 (Sandra Alves and Ian Mackie, editors), Tallinn, Estonia, 1 April 2012. Linear logic, process algebra, induction, coinduction, contextual preorder, simulation, labeled transition system
- Most recent talks (all talks)
- Relating Reasoning Methodologies in Linear Logic and Process Algebra, Second International Workshop on Linearity – LINEARITY'12, Tallinn, Estonia, 1 April 2012. Linear logic, process algebra, induction, coinduction, contextual preorder, simulation, labeled transition system
- NEXCEL, a Deductive Spreadsheet, Qatar Foundation Annual Research Forum 2011 – QFARF'11, Doha, Qatar, 20 November 2011. NPRP, NEXCEL, Productivity applications, Spreadsheet paradigm, Deductive reasoning, Usability
- QWeSST: a Language for Type-Safe Web Programming, Department of Computer Science, Katholieke Universiteit Leuven, Belgium, 2 August 2011. Programming languages, web service, webapp, safety, parallelism, SOS, data flow, security
- QWeSST: a Language for Type-Safe Web Programming, Microsoft Research, Cambridge, UK, 19 July 2011. Programming languages, web service, webapp, safety, parallelism, SOS, data flow, security
- Getting CS Undergraduates to Communicate Effectively, 16th Annual AMC Conference on Innovation and Technology in Computer Science Education – ITiCSE'11, Darmstadt, Germany, 29 June 2011. CS education, writing, communication
- Discovering Logic through Comics, 16th Annual AMC Conference on Innovation and Technology in Computer Science Education – ITiCSE'11, Darmstadt, Germany, 27 June 2011. CS education, logic, freshman, first year
- Breaking and Fixing Public-Key Kerberos, King Abdullah University of Science and Technology — KAUST, Thuwal, Saudi Arabia, 9 May 2011. PKINIT, Kerberos, security, specification, attack, verfication
- Most recent courses (all courses)
- CS 15-317: Constructive Logic, Carnegie Mellon University (Qatar campus), Spring 2012.
- CS 15-212: Principles of Programming, Carnegie Mellon University (Qatar campus), Spring 2012.
- CS 80-211: Logic and Mathematical Inquiry, Carnegie Mellon University (Qatar campus), Spring 2012.
- Most recent conferences:
- SAC'13, 28th ACM Symposium on Applied Computing – PC member
Coimbra, Portugal,18-22 March 2013 (30 August 2012) - SCSS'12, 4th International Symposium on Symbolic Computation in Software Science – PC member
Gammarth, Tunisia,15-17 December 2012 (15 June 2012) - QASA'12, International Workshop in Quantitative Aspects in Security Assurance – PC member
Pisa, Italy,14 September 20212 (6 July 2012) - SETOP'12, 5th International Workshop on Autonomous and Spontaneous Security – PC member
Pisa, Italy,10 September 2012 (1 June 2012) - PST'12, 10th International Conference on Privacy, Security and Trust – PC member
Paris, France,July 16-18, 2012 (18 March 2012) - SVARM/VERIFY'12, 2012 Joint Synthesis, Verification, and Analysis of Rich Models and Verification Workshop – PC member
Manchester, UK,June 30 - July 1, 2012 (21 May 2012) - SAC'12, 27th ACM Symposium on Applied Computing – PC member
Trento, Italy,25-29 March 2012 (31 August 2011)
- SAC'13, 28th ACM Symposium on Applied Computing – PC member
- 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
Announcements
- Projects:
