Joseph Tassarotti Receives NSF CAREER Award

Joseph Tassarotti, Assistant Professor of Computer Science, has received the Faculty Early Career Development (CAREER) award from the National Science Foundation to develop his project "Verifying Security and Privacy of Distributed Applications."

The project builds upon the "formal verification" process, which reduces the incidence of bugs in software. Professor Tassarotti will develop "a new approach to formal verification of systems that combines three features [concurrency, fault-tolerance, and radomization], thereby enabling the verification of security and privacy properties of important applications. The project's impacts are in improving the reliability and correctness of secure software systems."

CAREER awards are the National Science Foundation’s most prestigious award for junior faculty and are designed to help provide a foundation for a lifetime of scientific leadership. The awards are given to outstanding scientists who exemplify the role of teacher-scholars through research, education, and the integration of education and research.