Gi-Hwon Kwon
Visiting scholar
Computer Science Department
School of Computer Scienc
e
Carnegie Mellon University
"Seek first his kingdom and his righteousness, and all these things will be given to you as well" - Matthew 6:33 -
Research Interests
Model checking software artifacts
Logic & its semantics
Links
Call for papers
Lycos advanced search
Contact Information
E-mail
:
ghkwon+@cs.cmu.edu
Postal
:
Forbes Ave. 5000, Pittsburgh PA 15213
Tel
:
+1-412-268-1304 (Office)
Tel: +1-412-683-6375 (Home)