Manos Kapritsos
Four papers by CSE researchers at OSDI 2024
New papers by CSE researchers cover topics related to the design and implementation of systems software.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
Building a testing-free future
CSE researchers report over $11M in research grants last quarter
$1.8M DARPA project aims to protect cars, trucks and spacecraft from hackers
New method ensures complex programs are bug-free without testing
CSE faculty bring significant showing to major systems conference
Three CSE faculty selected for Google Faculty Research Awards
Manos Kapritsos and collaborators win USENIX security paper award
Six new faculty Join CSE
Meet the new arrivals.