ÂÜÀòÂÒÂ×

Lucas Martinelli Tabajara received his Ph.D. from Rice University, where he worked on temporal logic, automata, and synthesis from formal specifications. His broader interests include formal verification, program synthesis, type theory and programming languages. He believes that formal verification should be an integral part of software development and that they need a tighter integration between formal tools and programming languages and environments.