Samuel Lincoln Magalhaes Barrocas

Bachelor in Computer Science from the Federal University of Rio Grande do Norte (2008), Master in Systems and Computing from the Federal University of Rio Grande do Norte (2011), and PhD in Computer Science from the Federal University of Rio Grande do Norte (2018), having had a part-time period of 8 months at the University of York in 2015. Experienced in Computer Science, with emphasis on the following lines of research: Formal Verification, Theorem Proving, Code Generation/Synthesis and Software Testing.

Possui graduação em Ciências da computação pela Universidade Federal do Rio Grande do Norte (2008), mestrado em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte (2011), e Doutorado em Ciência da Computação pela Universidade Federal do Rio Grande do Norte (2018), com período sanduíche na Universidade de York em 2015. Tem experiência na área de Ciência da Computação, com ênfase nas seguintes linhas de pesquisa: Verificação formal, Prova de Teoremas, Geração/Síntese de código e Testes de Software. Além disso, possui experiência com o mercado de trabalho, tendo trabalhado na SALUTIS em 2021, e também na UFC como Analista de TI, e atualmente trabalhando no BNB na mesma função. Também é professor da Universidade de Fortaleza (UNIFOR).