Leonardo de Moura is a researcher affiliated with Microsoft in the United States with a focus on computer science. Their scholarly work spans several core areas including artificial intelligence, computational theory and mathematics, computer networks and communications, and information systems.
The scientist has contributed extensively to topics such as logic, programming, and type systems; formal methods in verification; logic, reasoning, and knowledge; mathematics, computing, and information processing; software engineering research; advanced database systems and queries; and security and verification in computing.
Key recent publications include:
These publications commonly appear in venues such as Leibniz-Zentrum für Informatik (Schloss Dagstuhl), Proceedings of the ACM on Programming Languages, arXiv (Cornell University), Logical Methods in Computer Science, and the Journal of Automated Reasoning.
Leonardo de Moura collaborates frequently with several co-authors, including Sebastian Ullrich, Daniel Selsam, Jeremy Avigad, Soonho Kong, and Cody Roux.
Leonardo De Moura;Nikolaj Bjørner
I.D. Baxter;A. Yahin;L. Moura;M. Sant'Anna
Bruno Dutertre;Leonardo De Moura
Leonardo De Moura;Nikolaj Bjørner
Bruno Dutertre;Leonardo de Moura
Leonardo Mendonça de Moura;Soonho Kong;Jeremy Avigad;Floris van Doorn
Dejan Jovanović;Leonardo de Moura
Leonardo Moura;Nikolaj Bjørner
Yeting Ge;Leonardo Moura
Leonardo Moura;Nikolaj Bjørner
Daniel Selsam;Matthew Lamm;Benedikt Bünz;Percy Liang
Leonardo Mendonça de Moura;Harald Rueß;Maria Sorea
Leonardo M. de Moura;Harald Rueß;Maria Sorea;Maria Sorea
Leonardo de Moura;Nikolaj Bjorner
Christoph M. Wintersteiger;Youssef Hamadi;Leonardo Moura
Leonardo De Moura;Harald Ruess;Maria Sorea
G. Hamon;L. de Moura;J. Rushby
Leonardo de Moura;Sam Owre;N. Shankar
Leonardo de Moura;Sebastian Ullrich
Leonardo Moura;Dejan Jovanović
Leonardo De Moura;Harald Ruess;Maria Sorea
If you think any of the details on this page are incorrect, let us know.
Exploring Computer Science in the USA opens doors to diverse academic and professional options. Many students start with an associates degree, which provides foundational knowledge and can be completed quickly and affordably online.
For those aiming for advanced roles, pursuing one of the affordable master degree programs can offer in-depth expertise and improve job prospects without incurring heavy debt.
Leadership-oriented professionals might consider the cheapest online doctorate in organizational leadership, which equips graduates for top executive positions and organizational transformation. Similarly, educators can enhance their credentials with ed.d educational leadership programs, focusing on effective administration and policy.
The evolution of online education ensures flexible access to a variety of degree pathways, helping you align your education with your chosen career while balancing affordability and quality.
University of Technology Sydney
University of the West of England
Åbo Akademi University
Kyoto University
Universities Space Research Association
National Oceanic and Atmospheric Administration
University of Copenhagen
University of Ulm
China Medical University
University of Southern California
University of Calgary
University of Liverpool
London School of Hygiene & Tropical Medicine
University of British Columbia
University of Florida
United States Geological Survey
