Hello, humans!

I'm Valdigleis, a Flamengo fan, former programmer and now an adjunct professor of mathematics «Erdös number 4» and computer science, currently working at CCICOMP of the Federal University of São Francisco Valley. I obtained my PhD title in systems and computing «field: mathematical fundamentals of computing» from PPgSC at Federal University of Rio Grande do Norte under the supervision of professors Benjamin Bedregal and Regivan Santiago.

You can download here «in Portuguese» my {PhD, Master} thesis.

I have been working mostly on formal languages and automata theory «specifically on non-classical automata models». So far, I have extended the automata models for typical hesitant fuzzy models. Other interests in «abstract» mathematics include {type, category, set, proof, graph, numbers} theory, and, moreover, in «applied» mathematics, I'm interested in formal software specification, cryptography, neural networks, and signal processing. Are you interested in being my student? Make contact via e-mail.

Current Courses

Here you will find the list of currently active courses, for more details «in Portuguese» click in below links:

CCMP0133 [ 24T12 | Sala: à definir]
CCMP0165 [ 2M34 e 4M12 | Sala: à definir]
CCMP0169 [ 24T34 | Sala: à definir]
TACO «CCMP0185» [ 35M34 | Sala: à definir]

For a full list of completed courses, click here!

Projects

Here you can quickly find some informations, e.g. status and title «generally in Portuguese», of my projects.

Title: Construíndo Fundamentos
Status: Active [Details]

Icone do projeto do manuscrito digital dos fundamentos matemáticos da computação

Title: Matemática e Computação Formal
Status: Active [Details]

Icone do projeto sobre programação com prolog

Title: Pensando e programando com Prolog
Status: Closed

$Icone do projeto de uso do TeX$

Title: Escrita e Edição de Qualidade com T_EX
Status: Closed

Publications

Below are listed my most recent publications, for the full list click here!

Sobre Propriedades de fecho de linguagens (C, D)-Fuzzy
Co-author: Benjamín C. Bedregal
«VIII Encontro de Teoria da Computação, (2023), João Pessoa, PB, Brazil»
On Typical Hesitant Fuzzy Languages and Automata
Co-authors: Benjamín C. Bedregal, and Regivan H. N. Santiago
«International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, Vol. 31, Nº 3 (2023), 371-386»
On closure properties of ℒ-valued linear languages
Co-author: Benjamín C. Bedregal
«Fuzzy Sets and Systems, Vol. 420, (2021), 54-71»
On Generalized Mixture Functions
Co-authors: Antonio Diego S. Farias, Luiz Ranyer A. Lopes, Benjamín C. Bedregal, Regivan H. N. Santiago, and Benjamín C. Bedregal
«Transactions on Fuzzy Sets and Systems (TFSS), Vol. 1, Nº 2 (2020), 99-128»
On typical hesitant fuzzy automata
Co-author: Benjamín C. Bedregal
«Soft Computing, Vol. 24, Nº 12 (2020), 8725–8736»

Imagem de uma pilha de folhas representado um artigo

Various Tips

Below is a list of things that I strongly believe you should know about, and even use.

The books collection, The Art of Computer Programming by Donald E. Knuth.
The digital book's collection, Software Foundations, written by many authors.
The Missing Semester of Your CS Education, available here.
Operational systems Unix-like, in special, FreeBSD (), Debian (), and MacOS X ().
The command interpreter Z shell «ZSH».
The GPU based terminal emulator Kitty, he is a powerful !
The «best» text editor, Vim ()... I'm broken () with the passing of Moolenaar.
The distributed version control system Git (), and the platform Gitlab ().
The language T_EX, in special, using the macro sets L^AT_EX available in the distributions MacT_EX and T_EXLive.
The programming languages: OCaml (), Haskell (), Prolog «especially the Swi-prolog», C () «using with LLVM clang compile», and Python ().
The keyboards () Keychron, in special, K2 model «size 75%».
Xbox and Nintendo consoles (). Moreover, the retrogaming platforms Anbernic, in special the RG35xx plus and Retroid Pocket 2S.
The podcast () Front da Ciência.
YouTube channels () Numberphile and The Coding Train.
The Comic strips () in xkcd, phdcomics, hacktoon, and developerslife.