GradNova

T

Torben Amtoft

Associate Professor

Computer Science, Kansas State University

Research Interests

Formal Methods in Verification

Logic, Programming, and Type Systems

Security and Verification in Computing

Software Engineering Research

Software Testing and Debugging Techniques

Academic Metrics

Links

Grants