David Musliner, SIFT
12/18/2013, 10:00pm, GHC 9115
I'll give a brief overview of the PRISM probabilistic model checking system, describe a style of structured model we developed for cyber physical systems, and describe extensions we developed to form PRISMATIC, a tool that includes statistical model checking, culprit identification, and other tools to help system designers.
Dr. David Musliner is a Senior Principal Research Scientist at Smart Information Flow Technologies (SIFT),
LLC. He joined SIFT in 2008. Before that he worked at Honeywell Labs. He completed his 1993
PhD in Computer Science/Artificial Intelligence at the University of Michigan, Ann Arbor, and then was
a UMIACS postdoctoral fellow, lecturer and Project Director at the University of Maryland Autonomous
Mobile Robots Lab.