Arthur Azevedo de Amorim Headshot

Arthur Azevedo de Amorim

Assistant Professor

Department of Computer Science
Golisano College of Computing and Information Sciences

Office Location

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.

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.
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-344
3 Credits
This course is a study of the syntax and semantics of a diverse set of high-level programming languages. The languages chosen are compared and contrasted in order to demonstrate general principles of programming language design and implementation. The course emphasizes the concepts underpinning modern languages rather than the mastery of particular language details. Programming projects will be required.
CSCI-740
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.