Iliano Cervesato

Teaching Professor

Office 6007 Gates and Hillman Centers

Email iliano@cmu.edu

Department
Computer Science Department

Administrative Support Person
Oliver Moss

CSD Courses Taught

15122 - Spring, 2023

Recent Publications

Iliano Cervesato ( 2019 ) ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, Formalization of Automated Trading Systems in a Concurrent Linear Framework , Issue: ( 292 ) , Page(s): 1- 14 .

Iliano Cervesato ( 2019 ) JOURNAL OF AUTOMATED REASONING, Preface to the Special Issue on Linearity , Vol: 63 Issue: ( 4 ) , Page(s): 809- 811 .

Iliano Cervesato ( 2018 ) MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Preface - Special Issue on Logical Frameworks and Meta-Languages 2015 , Vol: 28 Issue: ( 9 ) , Page(s): 1506- 1506 .

Iliano Cervesato ( 2018 ) MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Preface to special issue: LINEARITY 2014 , Vol: 28 Issue: ( 5 ) , Page(s): 612- 613 .

Singh B, Evtyushkin D, Elwell J, Riley R, Cervesato I ( 2017 ) On the Detection of Kernel-Level Rootkits Using Hardware Performance Counters , Page(s): 483 - 493