MENU 
Manos Kapritsos
Five papers by CSE researchers to be presented at POPL 2024
New research by CSE authors covers a range of cutting-edge topics related to programming languages.CSE announces 2023 faculty promotions
The Division commends these individuals for their contributions to research, education, and the CSE community.Explore CS Research year-long effort concludes with poster session
Designed to engage students in research, this year’s program has included workshops, panel sessions, and – of course – research!Manos Kapritsos earns CoE teaching excellence award
Students widely praise Kapritsos' approach to teaching, and commitment to keeping classes engaging.Manos Kapritsos earns CAREER Award to apply formal reasoning to software performance
This project is part of Kapritsos’ larger goal of bringing formal verification to developers and other practitioners.
Building a testing-free future
How automated guarantees that our most complex programs are secure and trustworthy can save us time, money, and anxiety.
CSE researchers report over $11M in research grants last quarter
The awards were distributed to 18 different primary investigators.
$1.8M DARPA project aims to protect cars, trucks and spacecraft from hackers
Ironpatch could head off growing danger of security vulnerabilities in vehicle systems.
New method ensures complex programs are bug-free without testing
The system targets software that runs using concurrent execution, a widespread method for boosting performance, and proves whether a program will output what it’s supposed to.
CSE faculty bring significant showing to major systems conference
Researchers designed three new systems to speed up code at several key bottlenecks.
Three CSE faculty selected for Google Faculty Research Awards
Profs. Jia Deng, Roya Ensafi, and Manos Kapritsos have been selected to receive Google Faculty Research Awards.
Manos Kapritsos and collaborators win USENIX security paper award
Their paper introduces a new programming language and tool called Vale that supports flexible, automated verification of high-performance assembly code.