GradNova

A

Adithya Murali

Assistant Professor

Computer Science, University of Wisconsin–Madison

Research Interests

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Machine Learning in Bioinformatics

Protein Structure and Dynamics

Academic Metrics

Links

Grants