Welcome!

I¡¯m a first year PhD student at ISRI under SCS in CMU. My advisor is David Garlan. Before starting my doctoral study I worked as a software engineer in Korea for 6.5 years and completed MSE program here in CMU. Currently I'm married with my wonderful wife Eun Suk, and expecting a new boy in Oct 2003. If you find anything incorrect in this page or have any question, feel free to email me, except "we have a great deal for you" emails. :)

Research Interests

My research interests generally fall into better ways of developing software systems, particularly predicting if something not good is going to happen (or what were intended are not going to happen) before we actually get to the implementation. For this, I¡¯m interested in applying various formal methods such as model-checking to software development. I basically don¡¯t count much on human-generated-and-conducted testing. (Hmm, then how about using formal methods to automatically generate test cases with 100% coverage? Possible?)

I¡¯m more inclined to apply formal methods to design level, not directly to source code. Here, maintaining the consistency between design artifacts and implementation is also a critical issue, which my research interests also include. Prediction proves to be false in the end is a bad news¡¦

Also all these activities better be automated with tool support. People dislike using paper and pencil to do what I talked before. If things can be automated, why not going for that? That¡¯s what computers are for.

History and Schedule

To be continuously updated. For now here is my fixed schedule in Fall 2003:

Contact Info

Office: Wean Hall 3508

Only drop in when you can bring me something to eat. If I¡¯m not there, be sure to leave the food :P on my desk.

Phone: 412-268-1416

8-1416 on campus

Email: jungsoo [at] cmu [dot] edu

Soon email scanning programs will be able to parse this ¡°don¡¯t find me¡± type of email addresses. Any better suggestions to be just invisible? If not, how about writing a super-email-scanner to demonstrate ¡°that cheap trick doesn¡¯t work anymore¡±?

WWW: this page¡¦

You can try www.jungsoo.org if you can read Korean. In that page, there is a link to my personal notoriously-slow ftp server. Hey, that is just to teach you the virtue of patience¡¦¡¦¡¦______/\/\/\/\/\/\/-_-\  (a patience-demanding worm, jungsoo)

Snail mail: Institute for Software Research International, School of Computer Science, Carnegie Mellon University, Pittsburgh PA 15213

You really don¡¯t need to use it, do you?

Links of Pointlessness for Linux

www.gentoo.org  A super geeky Linux distro with ¡°download source code and compile everything¡± spirit. Not recommended to Linux newbie.

www.kernel.org  I check the new release once a day. Almost a mental disease¡¦

www.fluxbox.org  A very light X window manager. I love its simplicity. There is simply nothing in the desktop after the first installation!

www.winehq.org  Because we need Windows applications¡¦

www.mozilla.org  I vote for FireBird. I told you I love simplicity.

www.lyx.org  WYSIWYM (what you see is what you MEAN) word processor. It can be a good LaTeX editor, especially when writing math formulae.

www.freshmeat.net  Stay fresh! (Not much useful with Gentoo¡¦)

www.namesys.com  Link to reiser, a journaling file system. It provides good performance with many small files. (People say ext3 is better with big files.)

last updated 08/29/2003