Stevens Computer Science Professors Receive $3.2 Million in NSF and ONR Grants

Four computer science professors at the Stevens Institute of Technology have just received grants from the National Science Foundation and Office of Naval Research totaling more than $3,200,000.

Professor David Naumann received $452,000 for his Secure and Trustworthy Cyberspace program project "Relational Verification for Information Assurance and Privacy." Naumann's project will cover three years' worth of research investigating how to accurately detect, specify, control and explain information flowing through cybersystems. Naumann will also utilize methods from programming languages and mathematical logic to solve problems such as how privacy policies can be provably enforced and how high-level languages can be compiled efficiently without introducing security vulnerabilities.

Assistant Professor Georgios Portokalidis received $1,000,000 for his Office of Naval Research project "ABIDES: Adaptive Binary Debloating and Security.” The total grant is $3,200,000. It is also a joint effort between Stevens, Columbia University and Brown University, with Stevens as the lead institution. Between this ONR grant and his previous ones for Defense Advanced Research Projects Agency and Intelligence Advanced Research Projects Activity, Portokalidis has brought in $2,250,000 since he joined Stevens in winter 2013.

Associate Professor Nikos Triandopoulos received $250,000 for his Secure and Trustworthy Cybersecurity Small Project "An integrated approach for enterprise intrusion resilience.” The total grant is $500,000. It is also a joint effort between Stevens and Northeastern University, with Stevens as the lead institution. Before joining Stevens in fall 2016, Triandopoulos was co-principal investigator of two National Science Foundation grants worth $3,000,000 each.

Incoming assistant professor Eric Koskinen received $1,500,000 for his Office of Naval Research project "Automatically Verifying Temporal Alignment of Transformed Software.” The total grant is $3,200,000. It is also a joint effort between Stevens, Galois, Inc. and Yale University, with Stevens as the lead institution. Eric is coming to us from Yale University, and is already bringing Stevens $2,000,000 from his previous National Science Foundation and Defense Advanced Research Projects Agency projects at Yale.