Junghee Lim

Junghee Lim started working as a Research Assistant at the University of Wisconsin-Madison in August 2004. Their research work involved developing the TSL system for machine-code verification and debugging. They also developed analysis and model-checking tools, including MCVETO. In June 2011, Junghee became a Research Associate at the university, and their role continued until January 2013. In January 2013, Junghee joined GrammaTech as a Software Engineer, and their current role and end date are not specified.

Junghee Lim completed a Bachelor of Science (BS) degree in Computer Sciences and Engineering from Seoul National University between 1999 and 2003. Following that, from 2004 to 2011, Junghee pursued a Doctor of Philosophy (Ph.D.) degree in Computer Science at the University of Wisconsin-Madison.