News
GE Aviation selects KSU for University Development Center
GE Aviation, which has substantial business interests in development
and certification of safety-critical software has selected Kansas
State Kansas State University for a University Development Center to
be located in Manhattan, Kansas. This will provide an exciting opportunity
for SAnToS students to be locally involved in industrial software
verification projects.
Categories: News
SAnToS Researchers Funded by Rockwell Collins for Security Certification
SAnToS Researchers John Hatcliff and Torben Amtoft have been
awarded a grant from Rockwell Collins Advanced Technology
Center (RC ATC) to develop compositional contract-based approaches
for certifying secure information flow requirements in military
information assurance products.
Categories: News
SAnToS and KSU Department of Engineering Researchers Receive NSF/FDA Grant on Verification of Medical Device Plug-and-Play
KSU College of Engineering researchers, led by Dr. John Hatcliff from the SAnToS Lab at KSU Computing and Information Sciences Department have been awarded a grant from the National Science Foundation (NSF) to apply SAnToS verification tools to a medical device plug-and-play
research prototype framework developed by US Food and Drug Administration (FDA) engineers.
Categories: News
