Lucio Duarte
Associate Professor
Rio Grande do Sul, Brazil
Summary
👤
Senior🎓
Top SchoolLucio Duarte is an Associate Professor and software engineering researcher with 12+ years of academic and research experience, based at the Federal University of Rio Grande do Sul in Brazil. His work bridges teaching core computer science subjects—algorithms, programming and theory of computation—with applied research in software validation, program analysis, reverse engineering and formal methods. Lucio’s PhD from Imperial College focused on extracting behavior models from source code for model checking, and his postdoctoral work developed methodologies for non-conventional systems like embedded and self-organising systems. He combines deep formal-methods expertise with practical interests in software verification and embedded-system design, frequently translating theory into tools and course material. An experienced mentor and educator, he maintains a research-driven approach to solving reliability and correctness challenges in complex software.
12 years of coding experience
2 years of employment as a software developer
Ph.D., Computing, Ph.D., Computing at Imperial College LondonSévignéPost-Doc, Software Engineering, Post-Doc, Software Engineering at Universidade Federal do Rio Grande do SulM.Sc., Computer Science, M.Sc., Computer Science at Pontifícia Universidade Católica do Rio Grande do Sul
English, (brazilian) portugueseGithub contributions (1)
lucioduarte/LTSE
May 2014 - Apr 2018
Contributions:15 commits, 11 pushes, 1 branch in 3 years 11 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.