Welcome to my website!

My name is Gabriel Ferreira Silva and here you will find both the papers we have published and the slides we have used for presentations. I finished my PhD in theoretical computer science at University of Brasília, Brazil. My advisor was Mauricio Ayala-Rincón and my co-advisor was Maribel Fernández. We worked with Daniele Nantes and Temur Kutsia. I recently started working as a data analyst for the Brazilian government at TJDFT and I am not doing much academic work nowadays.

PS: I stand with Ukraine!

Link to photo

Current Work

Although I am working for the Brazilian government in a non-academic area at the moment, we submitted an extended version of our paper "A Certified Algorithm for AC-Unification", as I believe there were interesting questions we did not explore due to the page limit.

Overview

Here is an overview of the content of each folder.

Publications

Workshops and Doctoral Programme

Undergrad, Master and PhD Thesis

Other Informations

Here you can find an old CV, a reading list of articles I found nice and other stuff.

More Information

Contact

In case you have any doubts/suggestions/comments feel free to contact me via email: gabrielfsilva1995@gmail.com.

Acknowledgements

In all of my work, I collaborated with very nice people. I am very grateful to them! :)