About

Felipe R. Monteiro is an accomplished Applied Scientist at Amazon Web Services (AWS), with extensive experience in formal verification, model checking, and software verification. He is currently working with the Automated Reasoning Group, where he combines compositional techniques with bounded model checking to handle formal verification of large C programs. Felipe began his career at Amazon as a Software Development Engineer, where he quickly made a name for himself as a skilled and dedicated team player. He then went on to serve as an SDE Intern, where he gained valuable experience working on complex software projects and honed his skills in software engineering. Felipe holds a Master's degree in Computer Science from the Universidade Federal do Amazonas, where he focused his studies on formal verification and model checking. He also holds an Engineer's degree in Computer Engineering from the same institution, as well as a Student Exchange degree in Computer Science from Goldsmiths College, U. of London. Felipe's technical expertise includes research science, AWS, web development, and software engineering. He is a highly skilled and experienced professional with a passion for technology and a deep commitment to excellence. With 3.86 years of relevant experience, Felipe is a valuable asset to any team and is always eager to take on new challenges and push the boundaries of what is possible in the world of technology.