Flemming Andersen

Research & Engineering

Formal methods using mathematics and logic to specify and verify the semantics properties of languages, concurrent behavior, and specified objects are fun. But interacting with people and having good friends as well as respecting and experiencing all nature and the universe where we exist is what makes life so amazing and rich.

Background

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.

Patents

Click here for a full list of Dr. Andersen’s patents.