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!

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