Welcome to my website!

My name is Gabriel Ferreira Silva Tibúrcio 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!
PS 2: I added the surname "Tibúrcio" to my name only in January 2025, so you might see my full name written as "Gabriel Ferreira Silva" in some old publications.

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

CICM 2023 - “Nominal AC-Matching” - Best Paper Prize :)

FSCD 2022 - “A Certified Algorithm for AC-Unification”

MSCS 2021 - “Formalising Nominal C-unification Generalised With Protected Variables”

NatFoM 2020 - “Why We Need Structured Proofs in Mathematics”

LOPSTR 2019 - “A Certified Functional Nominal C-Unification Algorithm”

UNIF 2019 - “Formalising Nominal AC-Unification”

KDMiLe 2017 - “A Machine Learning Predictive System to Identify Students in Risk of Dropping Out of College”

Workshops and Doctoral Programme

Doctoral Programme of the Conference of Intelligent Computer Mathematics (CICM) 2022 - “Formalising Nominal AC-Unification”

Summer Workshop in Mathematics UnB 2022 - “Formalising AC-Unification”

Summer Workshop in Mathematics UnB 2021 - “Formalising Completeness of AC-unification”

Summer Workshop in Mathematics UnB 2020 - “Nominal C-Unification and Nominal C-Matching”

Summer Workshop in Mathematics UnB 2019 - “Functional Nominal C-Unification”

Undergrad, Master and PhD Thesis

PhD (2019-2024) - My PhD thesis and slides

Master Degree (2017-2019) - My master thesis and slides

Undergrad (2013-2017) - My undergrad thesis and slides

Other Informations

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

More Information

I am part of the nominal research group at University of Brasília.

I really like stackexchange! My main accounts are: math and CS.

I blogged once in Medium and I intend to do it again. Here is my account.

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! :)