Research Expertise and Interest
computer science, programming systems, software engineering, programming languages, computational logic, software testing, verification, model checking, runtime monitoring, performance evaluation
In the News
UC Berkeley Launches Sky Computing Lab to Revolutionize the Cloud Industry
UC Berkeley formally launched this week The Sky Computing Lab aimed at establishing a two-sided market mediated by services that identify and harness for users the best combination of compatible clouds for their needs and building a new backbone for interconnected cloud computing, a milestone that would revolutionize the industry.
Four young faculty members to receive $50,000 Sloan Research Fellowships
Four UC Berkeley faculty members have been awarded prestigious Sloan Research Fellowships, given annually by the Alfred P. Sloan Foundation to scientists, mathematicians and economists at an early stage of their careers.
Loading Class list ...