| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Tue, 16 Dec 2025 13:49:46 GMT
access-control-allow-origin: *
etag: W/"6941637a-29ee"
expires: Sun, 28 Dec 2025 21:28:59 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 3994:444BC:80BA8B:9060D0:69519EC2
accept-ranges: bytes
age: 0
date: Sun, 28 Dec 2025 21:18:59 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210065-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1766956739.906905,VS0,VE201
vary: Accept-Encoding
x-fastly-request-id: 422f02cdad6dda5813fc4abb57e52e2fc37b81cc
content-length: 3406
Leonardo de Moura
I'm a Senior Principal Applied Scientist in the Automated Reasoning Group at AWS.
Project
Previous Projects
SAL (the Symbolic Analysis Laboratory)
Teaching
Here is a list of courses I have taught in the past.
- Tools and Algorithms in Real Algebraic Geometry, University of Milan, Italy, May 2013.
- Decision Methods for Arithmetic, Third Summer School on Formal Techniques, Menlo Park, 2013, (part 1, part 2, part 3, exercises).
- Second Summer School on Formal Techniques, Menlo Park, 2012.
- First Summer School on Formal Techniques, Menlo Park, 2011.
- Satisfiability Modulo Theories (SMT): Ideas & Applications, Universita Degli Studi di Milano, Italy, March 2010 (part 1, part 2, part 3, part 4, assignment).
- On Designing and Implementing Satisfiability Modulo Theory Solvers, Summer School 2009: Verification Technology, Systems & Applications, Nancy, France (lecture 1, lecture 2).
- SMT Solvers: Theory and Implementation, Summer School on Logic and Theorem Proving in Programming Languages, Oregon 2008 (exercises).
- CS359: Little Engines of Proof, Stanford University, Fall 2003.
Leonardo de Moura
Senior Principal Applied Scientist in the Automated Reasoning Group at AWS
leodemoura0@gmail.com