Jump to content

Constance Heitmeyer

From Wikipedia, the free encyclopedia

Constance Heitmeyer from the United States Naval Research Laboratory, Washington, DC was named Fellow of the Institute of Electrical and Electronics Engineers (IEEE) in 2015[1] for "contributions to formal methods for modeling and analyzing software and systems".

References

[edit]
  1. ^ "2015 elevated fellow" (PDF). IEEE Fellows Directory. Archived from the original (PDF) on 2017-08-29.