Felipe R. Monteiro

Registered user since Fri 10 Aug 2018

Name: Felipe R. Monteiro

Bio: Felipe R. Monteiro is currently a Software Engineer at the Eldorado Institute and is pursuing an M.Sc. degree in Computer Science at the Federal University of Amazonas (UFAM). He earned his bachelor’s degree in Computer Engineering from UFAM and he was awarded the Science without Borders scholarship, which has sponsored his studies in the Computer Science course at the Goldsmiths University of London, in 2013-2014. He has worked on many research and development (R&D) projects and his main experiences are in formal verification, model checking, and software engineering.

Country: Brazil

Affiliation: Federal University of Amazonas

Personal website: https://feliperodri.github.io/

Research interests: Software Engineering, Model Checking, Formal Methods, Verification

Contributions

ESEC/FSE 2018Author of Towards Counterexample-guided k-Induction for Fast Bug Detection within the New Ideas and Emerging Results-track
Show activities from other conferences

ESEC/FSE 2018-profile
View general profile