GradNova

S

Scott Smith

Director of Graduate Studies and Professor

Computer Science, Johns Hopkins University

Research Interests

Programming Languages

Logic, Programming, and Type Systems

Formal Methods in Verification

Security and Verification in Computing

Parallel Computing and Optimization Techniques

Advanced Software Engineering Methodologies

Academic Metrics

Links

Grants