This is an introductory course on data structures and algorithms. More details are available at the course website (in PT-BR).
2013 -- present: Critical Systems (Introduction to formal methods)
This is an introductory course on formal methods using the B-method. More details are available at the course website (in PT-BR | restricted to users @ cin.ufpe.br).
2018 -- present: Advanced topics on software engineering
This is an introductory course on proof assistants using Coq. More details are available at the course website (in PT-BR | restricted to users @ cin.ufpe.br).