Soonho Kong

Soonho Kong

Research Associate,
ROSAEC(Research On Software Analysis for Error-free Computing) Center,
Seoul National University

Room 215 Bldg 138, Seoul National University
599 Gwanak-ro Gwanak-gu Seoul 151-742, KOREA

Email:

soon+|-a.t-|+ ropas . [snu . ac . kr ]


Phone: +82-2-880-1532
Fax: +82-2-882-7234

Here is my CV.

Research Interests

Safety and reliability of software, which span the spectrum from programming languages, through program analysis and verification, to software engineering. Now I am working on the following topics:

Education

Publications

Disclaimer: These papers are made available as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Awards and Honors

Teaching Experience

Internship

Professional Activities

External Reviewer

Presentations

@Conferences

@Workshops

@ Internal Lab. Seminar (ROPAS Show & Tell)

Extracurricular Activities


Last Modified: Wed, 03 Feb 2010 14:25:28 +0900(KST) Valid XHTML 1.1 Valid CSS!