GradNova

T

Tichakorn (Nok) Wongpiromsarn

Associate Professor

Computer Science, Iowa State University

Research Interests

Formal Methods in Verification

Logic, Programming, and Type Systems

Model-Driven Software Engineering Techniques

Real-Time Systems Scheduling

Software Reliability and Analysis Research

Academic Metrics

Links

Grants