Joseph G. McMichael
Graduate Student, Digital Signal Processing Group
Department of Electrical Engineering and Computer Science
Massachusetts Institute of Technology
jmcmicha [at] mit.edu
, 50 Vassar Street, Cambridge, MA 02139
+1 (617) 253-5959
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.
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 NASAs 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 Boeings 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.
- 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)
- Globe Genie - transports you to a random spot somewhere across the world.
Some photos are available here.
||© 2011 Joe McMichael
Last modified: 3/4/11