Flemming joined Galois as a research scientist in April 2018 to work with formal methods and verification for security targeting hardware and concurrent systems.
Prior to Galois, Flemming began working at Intel in 2000 where he first created the formal verification team for the Atom processor group in Austin, Texas. In 2005 he moved to Oregon to join the Intel Research Labs to investigate formal methods for security. When the security lab was closed, Flemming joined the Xeon-Phi processor group. There, Flemming owned and managed the formal verification (FV) of the Xeon-Phi processors. The main focus was arithmetic verification; but it also included verification of RAS/ECC and other critical areas such as modeling and formally verifying cache coherence protocols. During his last several years there, he worked on formal methods to bridge the gap between formal verification and simulation based validation techniques. After he retired as Principal Engineer and formal verification manager at Intel, he took a position as Professor of Practice at the Texas A&M University in 2017.
Flemming earned his PhD in Computer Science as well as his M.Sc.EE from the Technical University of Denmark. His PhD work on formal verification of concurrent systems using the UNITY theory led to an invitation to work with Professor Mani Chandy at Caltech and later collaboration with Professor Jayadev Misra at the University of Texas at Austin. Flemming has 5 granted US patents and more than 30 publications, of which half of them have been presented at conferences. Before coming to the USA, Flemming served on review committees, conference panels, and program committees, was an EU-reviewer, and is currently a member of IEEE and ACM.
- Patent No. 6,816,826. Fully exhibiting asynchronous behavior in a logic network simulation
- Patent No. 6,795,963. Method and system for optimizing systems with enhanced debugging information
- Patent No. 6,751,582. Method and system for enhanced design validation through trace tailoring
- Patent No. 6,738,955, Publication No. 20,020,099,982. Method and system for formal characterization of average performance
- Patent No. 6,463,412. High performance voice transformation apparatus and method
Click here for a full list of Dr. Andersen’s patents.