I'm Mike Lam, a computer science faculty member at James Madison University, specializing in program analysis, compilers, systems tools, and high-performance computing (HPC). Check out my research, teaching, and service as well as my CV using the links at the top of the page.

Professionally and academically, I am a researcher and system tools developer with experience in automated floating-point program analysis, particularly for mixed-precision implementations. I earned my Ph.D from the University of Maryland in Computer Science for developing a general framework for binary instrumentation for floating-point precision analysis.

Personally, I enjoy spending time with friends and family as well as being involved in my local church. While in grad school, I served two years as a deacon at Wallace Presbyterian Church in College Park, MD, and I am now serving as a deacon at Christ Presbyterian Church in Harrisonburg, VA. I am a long-time PC gamer; lately, however, I have been mostly just following the video game industry in general and playing various games as time allows.

Currently teaching:

Contact info:

Office:CS building (King Hall) Room 227
Office hours (Sp'24): MWF 9:30-10:30 and Th 9:30-11:30 (in person and on Zoom; contact me for Zoom link)
Email:lam2mo (at) jmu (dot) edu

Other info:

Profiles: Google Scholar | LinkedIn | ResearchGate | Zotero

Other information: