Joseph G. McMichael

Graduate Student, Digital Signal Processing Group Department of Electrical Engineering and Computer Science Massachusetts Institute of Technology Email: jmcmicha [at] mit.edu Office: 36-615K, 50 Vassar Street, Cambridge, MA 02139 Phone: +1 (617) 253-5959

Personal Information

Hello, I am a first-year graduate student studying electrical engineering in the MIT Research Laboratory of Electronics and I am associated with the Digital Signal Processing Group. My research advisor is Prof. Al Oppenheim.

Curriculum Vitae

My CV is available here.

Research & Internships

• NASA Goddard Space Flight Center - Microelectronics & Signal Processing Branch (2007)
  • Programmed an adaptable engineering data system test that generates analog and digital stimuli and performs data collection and analysis using LabVIEW, Matlab, and Scilab for NASA’s “Miniature Imager for Neutral Ionospheric Atoms and Magnetospheric Electrons.” Helped design application-specific integrated circuit. Project to be launched aboard MidSTAR-2 satellite in 2011.
    • NASA Research Presentation
    • Forbes Article
      
      
• Boeing Phantom Works Research Branch - Mathematics & Computing Technology (2008)
  • Formally verified Boeing’s “Secure Network Server,” a highly-secure multi-level network guard for use in military aircraft. Created and proved formal mathematical model using Prototype Verification System (PVS) and Isabelle/HOL. Researched layers of abstraction (top level and low level theories) and intra-level theory mapping. Project undergoing NSA security evaluation as first ever EAL7 device of its kind.
    
    
• Seattle University Directed Research (2008)
  • “Designing Arbitrary Voltage Signals in the Time and Frequency Domains”

© 2009 Joe McMichael Last modified: 10/2/09