Software Systems
Baishakhi Ray is recognized for innovative and high-quality research on software engineering and artificial intelligence, which has impacted both the academic and industrial communities.
The Center will support research and education to advance the development and understanding of blockchain protocols and their applications.
Across three projects, PhD students worked alongside professors and industry partners to examine reliability, optimization, and evaluation, arguing that today’s agents often fail not because of raw capability but because of how they’re designed, deployed, and measured.
About
The Software Systems group pursues fundamental research in all aspects of the design, implementation, analysis, verification, and evaluation of software systems.
The group conducts research with systems at all scales, from handheld devices to cloud computing data centers. They take an experimental systems approach in building real systems to investigate new research ideas, create tools to enable developers to quickly and correctly build complex systems, and teach students how to do it.
Software Systems Laboratory 
Programming Systems Laboratory 
Languages and Compilers Group 
Database Research Group 
Add to GMail