Michael Lemay
Principal Engineer for x86 memory safety
- Role
- Principal Engineer at Intel
- Location
- Hillsboro, OR, US
- LinkedIn followers
- 500 followers
About Michael Lemay
See my website at https://m.lemays.org for a clearer, more recently updated listing of my publications, patents, and Scientist with a focus on memory management architectures for security.
Experience
Principal Engineer
Aug 2025 — Present
An architect for the ChkTag x86 memory safety feature.As part of that role, I participate in the x86 Ecosystem Advisory Group.I am also a member of Study Group 23 on Safety and Security in the ISO C++ WG21 standards committee.
Education
University of Illinois Urbana-Champaign
MS, PhD, and Postdoc, Computer Science
2005 — 2012
University of Wisconsin-Eau Claire
BS, Computer Science
2000 — 2005
Skills
- Java
- Computer Security
- Perl
- Embedded Systems
- Github
- Eagle
- C#
- Maude
- Bluespec
- Computer Science
- Sql
- Uefi
- Linux
- Internet of Things
- Vhdl
- Operating Systems
- Contiki Os
- Angularjs
- Security
- Docker
- Isabelle/Hol
- Bash
- Eclipse
- Virtualization
- Maple
- Verilog
- Haskell
- C++
- Python
- Latex
- Prolog
- Llvm
- Matlab
- Node.js
- Subversion
- Distributed Systems
- Javascript
- Trusted Computing
- Testing
- C
Find verified contacts for anyone on LinkedIn
Unifers gives sales teams verified emails and direct dials, enriched profiles, and outreach that lands in the inbox.
Free plan included · No credit card required
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.