Thiago Mendonça Ferreira Ramos

Badges

thiagomendoncaf1 has not earned any certificates yet.

thiagomendoncaf1 has not updated employment details yet.

Universidade de Brasília
Computer Science, PhD• January 2017 - July 2023
My PhD was about implement a library in Prototype Veification System (PVS) of computational properties of a compact language similar to the first-order functions fragment of PVS. This compact language is called PVS0 and it has two versions: the single-function PVS0 and multiple-function PVS0. The properties verified are Turing-Completeness, Unidcidability of the Halting Problem, Recursion Theorem, Rice's Theorem and Fixed-Point Theorem. This is avaliable in https://github.com/thiagomendoncaferreiraramos/pvslib/tree/2e038396cf0026bffede013d8d419e511b8d2105/PVS0
Universidade de Brasília
Computer Science, M.Tech• January 2015 - January 2017
My Master Dissertation was about formal proofs among different termination criteria in a first-order functional fragment of PVS. https://github.com/thiagomendoncaferreiraramos/pvslib/tree/4e48c7ca1d13cc6395be56cefa1247b24c05481c/PVS0
Universidade de Brasília
Computer Science, B.Tech• February 2009 - January 2015
The Bachelor's degree was concluded with an essay about the use of PointFree calculus in formal proofs using PVS.
Universidade do Minho
Computer Science, B.Tech• September 2012 - September 2013
Exchange period in Portugal by Brazilian program Ciências sem Fronteiras.

thiagomendoncaf1 has not updated links details yet.

thiagomendoncaf1 has not updated skills details yet.