GradNova

L

Luca De Alfaro

Professor

Computer Science and Engineering, University of California, Santa Cruz

Research Interests

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Software Reliability and Analysis Research

Academic Metrics

Links

Grants