Dr. Pamela Zave
ACM Fellows
USA - 2001
citation
For encouraging the use of formal methods in the development of telecommunication software through influential research, tool development, large case studies, and professional education.
citation
For encouraging the use of formal methods in the development of telecommunication software through influential research, tool development, large case studies, and professional education.