Education

University of Oslo, Norway
PhD student in Computer Science. July 2016 to present

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


Work Experience

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
    13th 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