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

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


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.