GradNova

Home
Find Faculty
Universities
Research
Home
/
Universities
/
Georgia Institute of Technology
/

Taesoo Kim

T

Taesoo Kim

Professor and Director of GTS3, Joint with the

College of Computing, Georgia Institute of Technology

Research Interests

Formal Methods in Verification
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques

Academic Metrics

Links

Grants