Leonardo de Moura
, Washington

Algorithms, Theory of Computation, Data Structures

PhD in Computer Science
11.94

Topics(7)

Awards and achievements (2)

  • Mar 2014
    Most influential tool paper in the first 20 years of TACAS
    Award
  • Aug 2010
    Haifa Verification Conference Award
    Award
  • Research in Software Engineering (RiSE)
    Washington, United States

Skills and expertise(4) View all

13 Following View all

149 Followers View all