Doctoral Thesis Proposal - to be rescheduled November 18, 2024 Hybrid Resource-Bound Analyses of Programs
Doctoral Speaking Skills Talk - Cayden Codel November 14, 2024 Verified Substitution Redundancy Checking for SAT Solving
Innovative CMU Secure Blockchain Initiative Research, in Collaboration with Anaxi Labs, Focuses on Improving the Efficiency of Cryptographic Proof Systems Tuesday, December 10, 2024 A team of Carnegie Mellon University researchers featuring Riad Wahby , assistant professor in the Department of Electrical and Computer Engineering, Kunming Jiang , Ph.D. student in the Computer Science Department, and Fraser Brown, assistant professor in the Software and Societal Systems Department, is overcoming the tradeoff between approaches that optimize for the CPU emulator, which is generally easier to program, versus the direct translation approach, which is potentially much less expensive in new research that is supported by Anaxi Labs. More
CSD Graduate Katherine Kosaian Receives 2024 Bill McCune PhD Award Thursday, July 11, 2024 Katherine Kosaian, formerly Cordwell, who received her doctoral degree from the Computer Science Department at Carnegie Mellon University, has been selected as the 2024 recipient of the Bill McCune PhD Award. Her dissertation, Formally Verifying Algorithms for Real Quantifier Elimination, was chosen for its strong theoretical and practical contributions to formally verified quantifier elimination for the first-order logic of real arithmetic. More