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 , and : Formalization of Automated Trading Systems in a Concurrent Linear Framework, 2018 Joint Workshop on Linearity and Trends in Linear Logic and Applications — LINEARITY'18, Oxford, UK, 7-8 July 2018. affiliated with with FCSD at FLOC 2018.papers/linearity18.pdf
- With : Special issue on Linearity 2014, Mathematical Structures in Computer Science — MSCS, vol. 28(5), Cambridge University Press, July 2018.
- With , , and : On the Detection of Kernel-Level Rootkits Using Hardware Performance Counters, 12th ACM Asia Conference on Computer and Communications Security — ASIACCS'17, Abu Dhabi, UAE, 2-6 April 2017. Rootkits; Hardware Performance Counters; Intrusion Detection; Machine Learningpapers/asiacrypt17.pdfDOI
- With , and : Formalization of Automated Trading Systems in a Concurrent Linear Framework, 2018 Joint Workshop on Linearity and Trends in Linear Logic and Applications — LINEARITY'18, Oxford, UK, 7-8 July 2018. affiliated with with FCSD at FLOC 2018.
- Most recent talks (all talks)
- Choreographic Compilation of Decentralized Comprehension Patterns, 10th International Web Rule Symposium – RuleML'16, Stony Brook, NY, 9 July 2016.
- Let's Unify Like Scala Pattern Matching!, 30th International Workshop on Unification – UNIF'16, Porto, Portugal, 26 June 2016.
- Overlap and Independence in Multiset Comprehension Patterns, 30th International Workshop on Unification – UNIF'16, Porto, Portugal, 26 June 2016.
- Most recent courses (all courses)
- CS 15-122: Principles of Imperative Programming, Carnegie Mellon University, Spring 2020.
- CS 15-122: Principles of Imperative Programming, Carnegie Mellon University, Fall 2019.
- CS 15-122: Principles of Imperative Programming, Carnegie Mellon University, Spring 2019.
- Most recent conferences:
- RuleML+RR 2020, International Joint Conference on Rules and Reasoning – PC member
Oslo, Norway, 29 June - 1 July 2020 (6 March 2020) - RuleML+RR 2019, International Joint Conference on Rules and Reasoning – PC member
Bolzano, Italy, 16-19 September 2019 (11 May 2019) - LSFA'18, Logical and Semantic Frameworks, and Applications – PC member
Fortaleza, Brazil, 26-28 September 2018 (10 June 2018) - RuleML+RR 2018, International Joint Conference on Rules and Reasoning – PC member
Luxembourg, 18-21 September 2018 (20 April 2018) - UNIF'18, 32nd International Workshop on Unification – PC member
Oxford, UK, 7 July 2018 (9 April 2018)
- RuleML+RR 2020, International Joint Conference on Rules and Reasoning – 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