A Historical Account of My Early Research Interests
Alberto Pettorossi (University of Rome Tor Vergata, Rome, Italy)
TL;DR
This paper provides a historical overview of the author's early research interests, covering topics from Signal Theory to Concurrency, highlighting collaborations and foundational results in various theoretical computer science areas.
Contribution
It offers a personal historical account of early research contributions across multiple theoretical computer science domains, emphasizing collaborations and foundational results.
Findings
Results in Combinatory Logic and Term Rewriting Systems
Insights into Program Transformation and Parallel Computation
Contributions to the Theory of Concurrency and Program Proofs
Abstract
This paper presents a brief account of some of the my early research interests. This historical account starts from my laurea thesis on Signal Theory and my master thesis on Computation Theory. It recalls some results in Combinatory Logic and Term Rewriting Systems. Some other results concern Program Transformation, Parallel Computation, Theory of Concurrency, and Proof of Program Properties. My early research activity has been mainly done in cooperation with Andrzej Skowron, Anna Labella, and Maurizio Proietti.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.