Rance Cleaveland

Rance Cleaveland
Born
Walter Rance Cleaveland II

(1961-07-18)July 18, 1961
Baltimore, Maryland, USA
DiedMarch 27, 2024(2024-03-27) (aged 62)
Arlington, Virginia, USA[1]
EducationDuke University
Cornell University
Scientific career
InstitutionsNorth Carolina State University
Stony Brook University
University of Maryland, College Park
ThesisType-Theoretic Models of Concurrency (1987)
Doctoral advisorRobert Constable

Walter Rance Cleaveland II (July 18, 1961 – March 27, 2024) was an American conputer scientist specializing in software verification, software systems, and related fields. In 2022, he became an Fellow of the IEEE for his contributions to verification tools for finite-state and cyber-physical systems.[2]

Education and career

Cleaveland started his studies at Duke University's Trinity College of Arts and Sciences in Fall 1978, graduating summa cum laude with a BS in Mathematics and Computer Science in 1982. Cleaveland then moved north for graduate studies at Cornell University, where he graduated with an MS in Computer Science in 1985 and a PhD in 1987, both in computer science. His PhD thesis was titled "Type-Theoretic Models of Concurrency" and was supervised by Robert Constable and mentored by Prakash Panangaden.[3] Cleaveland conducted postdoctoral research from 1987 to 1989 at the University of Sussex in Brighton, England.[4]

In 1989, Cleaveland became an assistant professor in computer science at North Carolina State University, where he became an associated professor in 1994 and a professor in 1998. There, he received the Shell Undergraduate Teaching Award in 1991, and the Alcoa Engineering Research prize. Cleaveland became a professor of computer science at Stony Brook University from 1998 to May 2005. Beginning in June 2005, he moved to the University of Maryland, College Park and became a Professor of Computer Science. He received the Computer Science Excellence in Teaching Award in 2011. From June 2005 to December 2014, he was executive and scientific director of the Fraunhofer USA Center for Experimental Software Engineering.[5] Beginning November, 2022, he was the Associate Dean of Research in the College of Computer, Mathematical, and Natural Sciences.[6] He held joint appointments in the University of Maryland Institute for Advanced Computer Studies (UMIACS) beginning in June 2005, and the Institute for Systems Research beginning in July 2006.[4][1]

From 2018 to 2022, Cleaveland was director of the Computing and Communication Foundations division of the Computer and Information Science and Engineering directorate of the National Science Foundation (NSF). Since 1995, he was a co-founder and a member of the steering committee of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). From 1997 to 2001, he was a co-founder and co-editor-in-chief of the Springer journal Software Tools for Technology Transfer.[4][7][8]

Honors and awards

In 1992, Cleaveland received from the Young Investigator Award from the Office of Naval Research and NSF National Young Investigator Award.[9] In 1994, he received the Alcoa Foundation Engineering Research Achievement Award. In 1998, he was elected as a member of International Federation for Information Processing Working Group 2.2. In 2008, he received the Excellence in Oral Presentation Award from the Society for Automotive Engineers. In 2022, he became an Fellow of the Northern Virginia section of the IEEE for "contributions to verification tools for finite-state and cyber-physical systems", after becoming a Senior Member in 2021; and was a member of the IEEE Computer Society.[4][10]

Personal life

Cleaveland was born to Ruzha and Clif Cleaveland in Baltimore, Maryland. He spent short periods of time at various elementary schools before moving to the McCallie School for Boys, a religious prep school in Chattanooga, Tennessee, which he graduated from in 1978. In 1993, he received an Alumni Achievement Award from McCallie, being elegible after his 15th reunion.[11] McCallie school established a need-based scholarship in his name. In 1986, Cleaveland married Karen Ann Hardee in 1988.[12] They had children named Matthew Rance, Christian Gilbert, and Rachel Grace.[5][6][13]

References

  1. ^ a b College of Computer, Mathematical and Natural Science (March 27, 2024). "Remembering Rance Cleaveland (1961-2024)". UMD Department of Computer Science. Archived from the original on 2024-04-07. Retrieved 2024-04-10.
  2. ^ "Rance Cleaveland remembered as avid researcher, dedicated mentor". The Diamondback. 2024-04-22.
  3. ^ Cleaveland, Walter Rance, II (May 1987). Type-Theoretic Models of Concurrency (Ph.D. thesis). Ithaca, New York: Cornell University. pp. [1]-[3], iii–v. hdl:1813/6677. ISBN 979-8-206-01406-8. S2CID 61165843. TR87-837; ProQuest 303472679; dissertation/thesis 8724158. Archived from the original on 2024-04-10. Retrieved 2024-04-10 – via DAI-B 48/07, Dissertation Abstracts International.{{cite thesis}}: CS1 maint: multiple names: authors list (link)
  4. ^ a b c d Cleaveland, Walter Rance, II (March 12, 2023). "Curriculum Vitae" (PDF). pp. 1, 45. Archived (PDF) from the original on 2024-03-06. Retrieved 2024-04-10.{{cite web}}: CS1 maint: multiple names: authors list (link)
  5. ^ a b "School / Class Year / Biographical Section: Trinity College of Arts and Sciences - 1982: CLEAVELAND, Dr. Walter Rance, II, PhD". Duke University Alumni Today 2010. Durham, North Carolina: Duke University. 2010. p. 975. ark:/13960/t4tj9kt21, box IA40118810 – via Internet Archive.
  6. ^ a b "Dr. W. Rance Cleaveland '78". In Memoriam. McCallie School. April 2, 2024. Archived from the original on 2024-04-10. Retrieved 2024-04-10.
  7. ^ Gasarch, Bill; Fontana, Peter; Keiren, Jeroen (April 9, 2024). "Rance Cleaveland passed away on March 27, 2024. He will be missed". Computational Complexity. Archived from the original on 2024-04-11. Retrieved 2024-04-10.
  8. ^ Steffen, Bernhard (2024). "Rance Cleaveland: a life for formal methods". International Journal on Software Tools for Technology Transfer. 26 (3): 247–248. doi:10.1007/s10009-024-00746-1. ISSN 1433-2779.
  9. ^ "Carolina Notebook". The News & Observer. Raleigh, N.C. September 28, 1992. p. 3B [p. 13 on Newspapers.com] – via Newspapers.com.
  10. ^ "Member Profile: Walter Cleaveland". IEEE Fellows Directory. Institute of Electrical and Electronics Engineers.
  11. ^ "Men of Distinction: McCallie Alumni Award Recognition". Alumni Achievement Awards: 1993. Archived from the original on 2024-04-05. Retrieved 2024-04-10.
  12. ^ "Hardee, Cleaveland". Style. Durham Morning Herald [The Herald-Sun on Newspapers.com]. Vol. 94 (Final ed.). Durham, North Carolina: Durham Herald Co. January 24, 1988. pp. 10E? [p. 66 on Newspapers.com] – via Newspapers.com.
  13. ^ "Walter Rance Cleaveland Obituary". Chattanooga Times Free Press. April 7, 2024. Archived from the original on 2024-04-10. Retrieved 2024-04-10.