Iliano Cervesato
Professor of Computer Science
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.
- Most recent projects (all projects )
- Most recent papers (all papers )
- With Sharjeel Khan, Giselle Reis and Dragiša Žunić: 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 Sandra Alves: Special issue on Linearity 2014, Mathematical Structures in Computer Science — MSCS , vol. 28(5), Cambridge University Press , July 2018.
- With Baljit Singh, Dmitry Evtyushkin, Jesse Elwell and Ryan Riley: 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 Learning
papers/asiacrypt17.pdfDOI
- 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.
Teaching
Service
- 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)
Miscellaneous