Joseph G. McMichael
|
Graduate Student, Digital Signal Processing GroupDepartment of Electrical Engineering and Computer ScienceMassachusetts Institute of Technology
Email: jmcmicha [at] mit.edu
Office: 36-615K, 50 Vassar Street, Cambridge, MA 02139 Phone: +1 (617) 253-5959  
|
Brief Biography
I am a second-year graduate student studying electrical engineering in the MIT Research Laboratory of Electronics. I am affiliated with the Digital Signal Processing Group and my research advisor is Prof. Al Oppenheim. My research is currently focused on compensating for quantization error in multi-channel interleaved systems.
Previously, I received my Bachelor of Science degree in Electrical Engineering from Seattle University in June 2009. As an undergraduate, I served as a research intern at the NASA Goddard Space Flight Center, developing an instrument to study the sun's solar wind and its interaction with planets. The instrument will be launched aboard the MidSTAR-2 satellite in 2011. I also served as an intern at Boeing Phantom Works, using formal methods to verify a highly secure multi-level network guard.
My wonderful wife Sarah McMichael is an optometry student at NECO.
Curriculum Vitae
My CV is available here.
Theses & Presentations
- J.G. McMichael. "Timing Offset and Quantization Error Trade-off in Interleaved Multi-Channel Measurements." S.M. Thesis. MIT, Cambridge, MA, May 2011. (pdf)
- "Quantization Error in Time-Interleaved ADCs" - MIT EECS Masterworks (pdf)
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.
- 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.
- 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.
- Bose Advanced Development - Active Noise Cancellation (2010)
- Designed and implemented tuning simulation for Bose's automotive "Engine Harmonic Cancellation"
system using C and Matlab. Required thorough understanding of adaptive filtering and active noise
cancellation. Responsible for dynamometer acoustic recordings to verify accuracy of simulation.
- Designed and implemented tuning simulation for Bose's automotive "Engine Harmonic Cancellation"
system using C and Matlab. Required thorough understanding of adaptive filtering and active noise
cancellation. Responsible for dynamometer acoustic recordings to verify accuracy of simulation.
Graduate Coursework
- 6.341: Discrete-Time Signal Processing
- 6.345: Automatic Speech Recognition
- 6.450: Digital Communications
- 6.438: Algorithms for Inference
- 6.431: Applied Probability
- TA for 6.003: Signals & Systems (taught weekly tutorials and 3 recitations)
Projects
- Globe Genie - transports you to a random spot somewhere across the world.
- Media Coverage:
Photos
Some photos are available here.
 |
© 2011 Joe McMichael Last modified: 3/4/11 |