Experience
Education
Bio
Sheldon joined Oak Ridge National Laboratory (CCSD) in 2002 when he returned from a stint at DaimlerChrysler Research RIC/AS Stuttgart Germany, in system safety. Prior, he was an assistant professor at The Washington State Univ. (EECS) and The Univ. of Colorado (Computer Science) in Colorado Springs. In the aerospace industry he was a Software Design / Testability Engineer and Researcher in the areas of advanced avionics and diagnostics software at Lockheed Martin and Raytheon Systems. He has participated in industrial R&D activities investigating formal methods used in software development and is currently focusing on solutions to the general problem of security and dependability / survivability of complex software and electronic systems. Sheldon received his Ph.D. from The Univ. of Texas at Arlington (UTA) in 1996 while supported by a fellowship ('93-95) from NASA Langley Research Center and an NRC Postdoc ('96). In 1997-98 he was an ASEE research fellow at Stanford Univ. / NASA Ames Research Center. He received an M.S. in CS from UTA ('88) and a B.S. in CS from The Univ. of Minnesota at Mpls./St. Paul ('83). He is a senior member of the IEEE Computer and Reliability Societies and a member of ACM, Tau Beta Pi and Upsilon Pi Epsilon. He received the Outstanding Research by a Ph.D. Student Award in CSE ('95-96) from the College of Engineering at UTA and the Outstanding Dissertation Award ('96-97) from the UTA Chapter of the Sigma Xi Scientific and Research Society.