Columbus State University News
Computer Science Professor Authors Two New Publications
March 24, 2016
A paper by Columbus State University computer science professor Hoda Mehrpouyan titled “Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning” was recently accepted for publication by Systems Engineering, a scholarly journal produced by the International Council on Systems Engineering.Mehrpouyan will present the findings of a second paper, coauthored with her graduate student David Ackerman and titled “Modeling Human Behavior to Anticipate Insider Attacks via System Dynamics,” at the Symposium on Theory of Modeling and Simulation in April.
###