David Parnas

David Parnas is a renowned computer scientist and engineer known for his contributions to software engineering, particularly in the development of the NATO Software Engineering Conference and the concept of information hiding. He has worked with prominent institutions such as Carnegie Mellon University, University of Victoria, and McMaster University. Parnas's work has been influenced by notable figures like Edsger W. Dijkstra, Donald Knuth, and Alan Turing. His research has also been shaped by his involvement with organizations like the Association for Computing Machinery and the Institute of Electrical and Electronics Engineers.

● Early Life and Education

Parnas was born in Plattsburgh, New York, and later moved to Canada, where he spent most of his life. He received his Bachelor of Science degree in Physics from McGill University and his Master of Science degree in Electrical Engineering from Carnegie Institute of Technology. Parnas then pursued his Ph.D. in Electrical Engineering from Carnegie Institute of Technology, which is now part of Carnegie Mellon University. During his studies, he was exposed to the works of John von Neumann, Claude Shannon, and Alan Turing, which had a significant impact on his future research. Parnas's academic background was also influenced by his time at Stanford University, where he interacted with notable figures like Don Knuth and Robert Floyd.

● Career

Parnas began his career as a research scientist at Carnegie Mellon University, where he worked alongside prominent researchers like Allen Newell and Herbert Simon. He later joined the faculty of McMaster University and became a full professor in the Department of Computing and Software. Parnas has also held positions at University of Victoria, University of Limerick, and Middle East Technical University. Throughout his career, he has been involved with various professional organizations, including the Association for Computing Machinery, Institute of Electrical and Electronics Engineers, and the Canadian Information Processing Society. Parnas has also collaborated with researchers from institutions like Massachusetts Institute of Technology, University of California, Berkeley, and University of Oxford.

● Research and Contributions

Parnas's research has focused on software engineering, with an emphasis on modular programming, information hiding, and software design. He is known for his work on the NATO Software Engineering Conference, which aimed to establish a set of principles for software development. Parnas has also made significant contributions to the development of formal methods for software specification and verification. His work has been influenced by the research of Edsger W. Dijkstra, Tony Hoare, and Robin Milner. Parnas has also been involved in the development of various programming languages, including Ada (programming language), Modula-2, and Java (programming language).

● Awards and Honors

Parnas has received numerous awards and honors for his contributions to computer science and software engineering. He is a Fellow of the Royal Society of Canada and a Fellow of the Association for Computing Machinery. Parnas has also received the National Academy of Engineering's Draper Prize for Engineering and the Institute of Electrical and Electronics Engineers's Computer Pioneer Award. He has been recognized by institutions like University of Waterloo, University of Toronto, and McGill University for his contributions to the field. Parnas has also been awarded honorary degrees from University of York, University of Guelph, and Concordia University.

● Criticisms and Controversies

Parnas has been involved in several controversies throughout his career, including his criticism of the Strategic Defense Initiative and his opposition to the development of Star Wars (SDI) technology. He has also been a vocal critic of the US Department of Defense's approach to software development and has advocated for more rigorous software engineering practices. Parnas's views have been influenced by his interactions with notable figures like Daniel Ellsberg, Noam Chomsky, and Joseph Weizenbaum. His criticisms have been published in various outlets, including The New York Times, The Washington Post, and Communications of the ACM. Parnas has also been involved in debates with researchers from institutions like MIT Lincoln Laboratory and Stanford Research Institute.