arthuraa.net - Arthur Azevedo de Amorim

home > domains > arthuraa.net

Example domain paragraphs

I am an assistant professor in the Department of Computer Science at the Rochester Institute of Technology . I work on making software more secure and reliable using techniques based on formal verification , programming languages and type systems .

Short bio: I pursued my Ph.D. studies at the University of Pennsylvania , under the supervision of Benjamin Pierce and co-advised by Cătălin Hrițcu . After my Ph.D., I held postdoctoral appointments at Boston University and at Carnegie Mellon . As an undergraduate student, I majored in computer science and engineering at Unicamp and Polytechnique . I am one of the authors of Software Foundations , an introductory textbook to the Coq proof assistant , and write about Coq in my blog .

E-mail: [email protected]

Links to arthuraa.net (5)

• catalin-hritcu.github.io Catalin Hritcu - MPI-SP
• secure-compilation.github.io ERC SECOMP - Efficient Formally Secure Compilation to a Tagged Architecture
• yforster.github.io Yannick Forster
• vivienrindisbacher.com Vivien Rindisbacher
• plclub.org Programming Languages @ Penn