Jump to Header Jump to Main Content Jump to Footer

Assistant professor of computer science earns NSF CAREER Award

Rohit Chadha, assistant professor of computer science, earned a National Science Foundation CAREER Award for $436,035 in support of research on “Automated analysis of security hyperproperties,” for the next five years.

MU hosts annual Midwest Verification day

The University of Missouri’s Center for High Assurance Computing hosted the workshop, which attracted graduate students and researchers who came to present their work and give presentations on the topic of verification.

MU hosts annual Midwest Verification day

The University of Missouri’s Center for High Assurance Computing hosted the workshop, which attracted graduate students and researchers who came to present their work and give presentations on the topic of verification.

Back to Top

Enter your keyword

Search