David R. Owen
Associate Professor of Computer Science, 2007 - present
Office: Frey Hall 126
- B.S., Messiah College, 1997
- M.S., Ph.D., West Virginia University, 2002, 2007
Dr. Owen studied electrical engineering as an undergraduate at Messiah College. After two years on staff at Messiah, doing video production for Media Services and using computers for much of that work, he went to graduate school at West Virginia University to study computer science. At WVU, his research in software verification involved the development of an efficient alternative to model checking tools. His experiments showed that a simple, random search of the behavior represented by a formal software model can often be nearly as effective at finding defects as a much more time (and memory) consuming exhaustive search. After finishing his M.S., he continued his research another year through funding from NASA and then returned to WVU to pursue a Ph.D. After finishing his Ph.D. in 2007, he joined the faculty at Messiah College. He lives in Dillsburg with his wife Gretta and their three children. He and his wife have been involved with the Summer Institute of Linguistics program at the University of North Dakota since 2002, first as students and more recently as teaching assistants.