Protocol Specification, Testing and Verification - Guest Editorial
Carl Sunshine is with the University of Southern California Information Sciences Institute where he is engaged in research on computer networks and their protocols. He is particularly interested in protocol design, modeling, and analysis, and network interconnection. Dr. Sunshine received a PhD in computer science in 1975 from Stanford University where he worked on the first major network interconnection projects within the ARPA and IFIP communities. From 1975 to 1979 he worked at the Rand Corporation on various protocol design and network planning projects. Dr. Sunshine is active in 1FIP, ISO, and ANSI network groups and is Vice Chairman of the AC M Special Interest Group on Data Communication. He serves on the editorial board of Computer Networks journal, and is Associate Editor for Protocols of the IEEE Transactions on Communications. He has lectured and published widely.