Education
Masters in Electrical Engineering (no degree)
University of Colorado at Boulder
Boulder, CO
2009-2015
PhD Candidate, stopped pursuing due to personal reasons.
Met coursework requirements for a non-thesis Masters, but did not complete within the 4 year cut-off
Area: Formal Verification / Model Checking
Honors: 2011 NSF Fellowship (was offered but I declined the fellowship when I stopped pursuing the degree)
Credits: 30 completed
B.S. Computer Engineering (4.0 GPA/4.0 with Highest Honors)
Bozeman, MT
2004-2009
Minors: Electrical Engineering, Spanish
Other: Honors Degree
Coursework: Embedded systems, VLSI, signal integrity, VHDL, assembly programming, PicoBlaze soft-processors
Credits: 195 (128 required for a B.S. in Comp. Eng.)
Graduation Date: May 2009
Informática (Computer Science)
Universidad Politécnica de Valencia
Valencia, Spain (study abroad)
2006-2007
Coursework: Databases, Graphics, Networking, AI (all taken in Spanish)
Credits appear on MSU transcript