Draft:Rance Cleaveland

From Wikipedia, the free encyclopedia


Walter Rance Cleaveland II (July 18, 1961 – March 27, 2024) was an American computer science professor, specializing in software verification, software systems, and related fields. In 2022, he became an Fellow of the Institute of Electrical and Electronics Engineers (IEEE) for "contributions to verification tools for finite-state and cyber-physical systems".

Career[edit]

He started his studies at Duke University's Trinity College in Fall 1978, graduating summa cum laude with a BS in Mathematics and Computer Science in May 1982.[1][2][3][4][5][6][7][8][9][10][11][12][13]

He then "ventured across the frozen Northern tundra" for postgraduate education at Cornell University.[2] He graduated from there with an MS in Computer Science in May or June 1985.[1][2][3][4][5][6][7][8][9][10][12][14][13] He subsequently graduated from there in May 1987 with a PhD based on a thesis titled "Type-Theoretic Models of Concurrency", advised by Robert Constable and mentored by Prakash Panangaden, and funded by the National Science Foundation, IBM, and Cornell.[1][2][3][4][5][6][7][8][9][10][12][14][13][15][16][17]

After leaving Cornell, from July 1987 to June 1989, was a Research Associate in Computer Science at the University of Sussex in Brighton, England.[2][7][8][18]

At North Carolina State University (NCSU), he was Assistant Professor from August or September 1989 to August 15, 1994, and Associate Professor from August 16, 1994 to August 15, 1998.[1][3][4][5][6][7][8][9][10][13][17] There, he received the Shell Undergraduate Teaching Award in 1991, and the Alcoa Engineering Prize.[6][7][8][10]

From September 1998 to May 2005, he was Professor of Computer Science at Stoney Brook University, part of the SUNY system, from August or September 1998 to May 2005.[1][3][4][5][6][7][8][9][10][13][16]

Beginning in June 2005, he was a Professor of Computer Science at University of Maryland.[1][3][5][6][7][8][9][12][13][19] He received the Computer Science Excellence in Teaching Award in 2011.[6][7][8] From June 2005 to December 2014, he was executive and scientific director of the Fraunhofer Center for Experimental Software Engineering.[3][5][6][7][8][9][10][14][13][16] Beginning on November 7, 2022, he was the Associate Dean of Research in the College of Computer, Mathematical, and Natural Sciences (CMNS).[3][4][5][6][7][8][10][13][20] 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 (ISR) beginning in July 2006.[3][7][10][12][16][20]

From July 9, 2018 to July 8, 2022, he was director of the Computing and Communication Foundations (CCF) division of the Computer and Information Science and Engineering (CISE) directorate of the National Science Foundation (NSF).[3][4][5][6][7][8][10][13][20][21][22]

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.[3][8][19][23] He was a co-founder of the Springer journal Software Tools for Technology Transfer.[8][19]

In 1992, he received the Office of Naval Research (ONR)'s Young Investigator award and the National Science Foundation's National Young Investigator award.[6][7][8][10][15][24] In 1994, he received the Alcoa Foundation Engineering Research Achievement Award.[7][8] In 1998, he was elected as a member of IFIP Working Group 2.2.[7] In 2008, he received the Excellence in Oral Presentation Award from the Society for Automotive Engineers.[7] In 2022, he became an Fellow of the Northern Virginia section of the Institute of Electrical and Electronics Engineers (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][6][7][8][15][20][25][26]

Beginning in February 1999 or 2000, he was Chairman of the Board at Reactive Systems Inc., and from February 1999 or 2000 to September 2008, he was their Chief Executive Officer (CEO).[5][6][7][8][9][10][20][27][28]

Personal life[edit]

Walter Rance Cleaveland II was born to Ruzha and Clif Cleaveland on July 18, 1961 in Baltimore, Maryland.[1][2][13]

He spent short periods of time at various elementary schools, where he developed "a fear of being whacked on the backside".[2] He then moved to the McCallie School for Boys, a religious prep school in Chattanooga, Tennessee, which he graduated from in 1978.[1][2][13][29] In 1993 (15 years later), he received an Alumni Achievement Award from McCallie, being elegible after his 15th reunion.[29] McCallie school established a need-based scholarship in his name.[13]

He spent his teen years on Signal Mountain.[1][13]

In 1986, he "renewed the acquaintance" of Karen Ann Hardee, and in 1987 she agreed to marry him in 1988.[1][2][14][13] They were married at 4 PM on January 2, 1988 at Duke University Chapel by Rev. Robert N. Watkin Jr.[18] They had children named Matthew Rance, Christian Gilbert, and Rachel Grace.[1][14][13]

He died in his home in Arlington, Virginia on March 27, 2024 at age 62.[1][3][13][19]

References[edit]

  1. ^ a b c d e f g h i j k l "Walter Rance Cleaveland Obituary". Chattanooga Times Free Press. April 7, 2024. Archived from the original on April 10, 2024. Retrieved April 10, 2024.
  2. ^ a b c d e f g h i 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 April 10, 2024. Retrieved April 10, 2024 – via DAI-B 48/07, Dissertation Abstracts International.{{cite thesis}}: CS1 maint: multiple names: authors list (link)
  3. ^ a b c d e f g h i j k l 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 April 7, 2024. Retrieved April 10, 2024.
  4. ^ a b c d e f g h "Rance Cleaveland". College of Computer, Mathematical, and Natural Sciences. University of Maryland. Archived from the original on December 2, 2023. Retrieved April 10, 2024.
  5. ^ a b c d e f g h i j Cleaveland, Rance. "Rance Cleaveland". LinkedIn. Retrieved April 10, 2024.
  6. ^ a b c d e f g h i j k l m n "Brief Biography: Rance Cleaveland / Rance Cleaveland: Brief Bio". March 25, 2023. Archived from the original on April 10, 2024. Retrieved April 10, 2024.
  7. ^ a b c d e f g h i j k l m n o p q r s Cleaveland, Walter Rance, II (March 12, 2023). "Curriculum Vitae" (PDF). pp. 1, 45. Archived (PDF) from the original on March 6, 2024. Retrieved April 10, 2024.{{cite web}}: CS1 maint: multiple names: authors list (link)
  8. ^ a b c d e f g h i j k l m n o p q r Cleaveland, Walter Rance, II (March 2023). "Resume: Walter Rance Cleaveland II, Ph.D., Professor of Computer Science" (PDF). Archived (PDF) from the original on April 8, 2023. Retrieved April 10, 2024.{{cite web}}: CS1 maint: multiple names: authors list (link)
  9. ^ a b c d e f g h "Management Team". Reactive Systems. June 1, 2023 – April 1, 2024. Archived from the original on June 3, 2023. Retrieved April 10, 2024.
  10. ^ a b c d e f g h i j k l "Cleaveland, W. Rance". Institute for Systems Research. Archived from the original on April 10, 2024. Retrieved April 10, 2024.
  11. ^ General Alumni Association (1983). Directory, Class of '82. Duke University. p. 26. OCLC 1042124273. ark:/13960/t30301s5s.
  12. ^ a b c d e "Administrators, Officials and Faculty". Undergraduate Catalog 2020/2021. University of Maryland. 2020. p. 836. ark:/13960/t88j0pb36 – via Internet Archive.
  13. ^ a b c d e f g h i j k l m n o p "Dr. W. Rance Cleaveland '78". In Memoriam. McCallie School. April 2, 2024. Archived from the original on April 10, 2024. Retrieved April 10, 2024.
  14. ^ a b c d e "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.
  15. ^ a b c "Rance Cleaveland (1961-2024)". UMD Department of Computer Science. Archived from the original on April 10, 2024. Retrieved April 10, 2024.
  16. ^ a b c d "Rance Cleaveland". UMIACS. Archived from the original on December 7, 2023. Retrieved April 10, 2024.
  17. ^ a b "Section 7: Computer and Information Sciences; North Carolina State University: their faculty and their research". Peterson's Guide to Graduate Programs in Engineering and Applied Sciences 1993. Peterson's Annual Guides to Graduate Study. Vol. 5 (Twenty-seventh ed.). Princeton, New Jersey: Peterson's Guides. 1992. p. 656. ISBN 1-56079-185-3. ISSN 0894-9387. OL 12121033M. ark:/13960/t3f01m93z – via Internet Archive.
  18. ^ a b "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.
  19. ^ a b c d 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 April 11, 2024. Retrieved April 10, 2024.
  20. ^ a b c d e Cleaveland, Rance (March 26, 2023). "Rance Cleaveland". UMD Department of Computer Science. Archived from the original on April 10, 2024. Retrieved April 10, 2024.
  21. ^ "Walter Rance Cleaveland II". Staff Directory. National Science Foundation. Archived from the original on April 3, 2021.
  22. ^ "Chapter 16: Science and Technology; Information Science and Technology; National Science Foundation (NSF), Computing and Communication Foundations Division". Washington Information Directory 2020-2021. Washington D.C.: CQ Press / SAGE Publications. 2020. p. 706. ISBN 978-1-5443-8497-9. ISSN 0887-8064. LCCN 75-646321. OL 30037868M. ark:/13960/s2b3k0sg6vn – via Internet Archive.
  23. ^ "004: Generalities". American Book Publishing Record. Vol. 1 (Cumulative 1999 ed.). New Providence, NJ: R.R. Bowker. 2000. p. 10. ISBN 978-0-8352-4336-0. ISSN 0002-7707. LCCN 66-19741. OL 8190939M. ark:/13960/t6vz1z869 – via Internet Archive.
  24. ^ "Carolina Notebook". The News & Observer. Raleigh, N.C. September 28, 1992. p. 3B [p. 13 on Newspapers.com] – via Newspapers.com.
  25. ^ "Member Profile: Walter Cleaveland". IEEE Fellows Directory. Institute of Electrical and Electronics Engineers. Archived from the original on April 10, 2024. Retrieved April 10, 2024.
  26. ^ "Search Results: cleaveland". IEEE Fellows Directory. Institute of Electrical and Electronics Engineers. Archived from the original on April 10, 2024. Retrieved April 10, 2024.
  27. ^ "RSI Management Team". Reactive Systems, Inc. June 30, 2008. Archived from the original on July 9, 2008.{{cite web}}: CS1 maint: unfit URL (link)
  28. ^ "RSI Management Team". Reactive Systems, Inc. December 6, 2008. Archived from the original on December 22, 2008.{{cite web}}: CS1 maint: unfit URL (link)
  29. ^ a b "Men of Distinction: McCallie Alumni Award Recognition". Alumni Achievement Awards: 1993. Archived from the original on April 5, 2024. Retrieved April 10, 2024.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Draft:Rance_Cleaveland&oldid=1218341082"