Education

University of Oslo, Norway
PhD student in Computer Science. June 2021

University of California Santa Cruz, CA
Masters in Computer Science. June 2016

Rochester Institute of Technology, Rochester, NY
BS/MS in Computer Engineering (dual degree). July 2007
Thesis: Characterization of Cyber Attacks through Variable Length Markov Models
Senior Project: Design and Implementation of Ondego, a Portable Wireless MP3 Player
  using a micro-controller, wireless network interface, RAM, MP3 decoder chip and LCD

Summer/Winter Schools

• Midlands Graduate School in the Foundations of Computer Science, April 2019, Birmingham, UK
• 2^nd School on Foundations of Programming and Software Systems, July 2018, Oxford, UK
• Communicating Scientific Research course at Simula, April & September 2018, Oslo, Norway
  
• Marktoberdorf Summer School, August 2017, Germany
  Logical Methods for Safety and Security of Software Systems
• Fifth Summer School on Formal Techniques, May 2015, Atherton, CA
• Fourth Summer School on Formal Techniques, May 2014, Atherton, CA

Work Experience

Vipps, Oslo, Norway
Back-end engineer. October 2022 til present

Schibsted, Oslo, Norway
Data engineer. February 2021 to September 2022

Apple Inc, Cupertino, CA
Platform architect. September 2010 to June 2013

Intel Corporation, Santa Clara, CA
System validation engineer. October 2007 to September 2010

Laboratory for Imaging Algorithms and Systems (LIAS)
Imaging Science Dept. at RIT, Rochester, NY
Research intern. November 2005 to March 2006

LIAS / Leica Geosystems, Atlanta, GA and Rochester, NY
Summer intern. March to September 2004

Xerox Corporation, Vitoria, ES, Brazil
Summer intern. June to October 2003

Achievements and Activities

• Nominated for teaching award, Programming Languages, INF3110, UiO, Autumn 2018
• Nominated for teaching award, Models of Concurrency, INF4140, UiO, Autumn 2017
• Best presentation award, PhD Symposium
  13^th International Conference on Integrated Formal Methods (iFM), Turin, Italy, 2017
• Teaching Assistant Service Award, University of California, Santa Cruz, CA, 2016
• Regents Fellowship, University of California, Santa Cruz, CA, 2013
• Division Recognition Award, Platform Validation Engineering, Intel, 2010
• Outstanding Undergraduate Scholar Award, RIT, 2005
• Dean’s List every quarter, RIT, 2001-2007
• Tau Beta Pi Engineering Honor Society, member since 2004
• Golden Key Collegiate Honor Society, member since 2003
• Xerox/RIT Hispanic College Liaison Scholarship, 2002
• ECI Systems & Engineering Award, RIT, 2001
• Alfred & Ruby Davis Scholarship, RIT, 2001
• IBEU / Fullbright International Student Scholarship, 2001-2007

Computer languages and Tools

• C/C++
• Assembly (x86, ARM)
• Python
• Go
• 𝕂 Framework
• Experience with Scala, Java, JavaScript, Scheme, Haskell, Prolog, SQL, Matlab

Languages

• Fluent in English
• Native Portuguese speaker
• Intermediate Spanish
• Beginner Norwegian