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.
 | This article about an American electrical engineer is a stub. You can help Wikipedia by expanding it. |