

Research Expertise and Interest
computer science, programming systems, software engineering, programming languages, computational logic, software testing, verification, model checking, runtime monitoring, performance evaluation
computer science, programming systems, software engineering, programming languages, computational logic, software testing, verification, model checking, runtime monitoring, performance evaluation
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.