Arthur Azevedo de Amorim Headshot

Arthur Azevedo de Amorim

Assistant Professor

Department of Computer Science
Golisano College of Computing and Information Sciences
aaavcs@rit.edu
Office Location
GOL-3547

Arthur Azevedo de Amorim

Assistant Professor

Department of Computer Science
Golisano College of Computing and Information Sciences

Bio

Arthur works in programming languages, formal verification, and applications of these techniques for improving the security of computer systems.

aaavcs@rit.edu
Personal Links
Personal Website
ORCID
Publication Database
Google Scholar

Select Scholarship

Published Conference Proceedings
Rinaldi, Francis, et al. "Pipelines and Beyond: Graph Types for ADTs with Futures." Proceedings of the POPL'2024, London, UK. Ed. ACM. London, UK: n.p., 2024. Print.
Zhang, Cheng, Arthur Azevedo de Amorim, and Marco Gaboardi. "Domain Reasoning in TopKAT." Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, {ICALP} 2024, July 8-12, 2024, Tallinn, Estonia. Ed. Karl Bringmann, et al. Wadern, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Print.
Thibault, Jérémy, et al. "SECOMP: Formally Secure Compilation of Compartmentalized C Programs." Proceedings of the {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2024, Salt Lake City, UT, USA. Ed. Bo Luo, et al. New York, NY: ACM, Print.
wunder, june, et al. "Bunched Fuzz: Sensitivity for Vector Metrics." Proceedings of the European Symposium on Programming. Ed. Thomas Wies. Paris, France: Springer, 2023. Print.

Currently Teaching

CSCI-740
Programming Language Theory
3 Credits
This course is an introduction to the formal study of programming languages, demonstrating important intellectual tools for the precise description of programming languages and investigating the essential features of programming languages using these tools. Topics include: dynamic semantics (such as operational semantics); static semantics (such as type systems); proofs by induction on structures and derivations; formal treatment of essential programming-language features (such as assignment, scope, functions, objects, and threads). Both written and programming assignments will be required.

In the News

More News