ERWIN “DAN” DUNBAR is currently a Ph.D. candidate at the University of Colorado at Boulder in Electrical Engineering. His focus is on Formal Methods / Model Checking, and has also taken courses in concurrency and in linear programming. He graduated from Montana State University in May 2009 with a B.S. in Computer Engineering, a Spanish minor, and an Honors degree. He has experience with embedded systems, VHDL, VLSI, signal integrity, Optical MEMS, and microfabrication. Dan has worked in the capacity of an intern at Sandia National Labs/CA, and has performed research in OMEMS at Montana State University. He also investigated Reconfigurable Computing for a senior project in Spring 2009. |
