Constance Heitmeyer
Appearance
![]() |
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]- ^ "2015 elevated fellow" (PDF). IEEE Fellows Directory. Archived from the original (PDF) on 2017-08-29.