ROSAEC center Seoul National University
NRF

Team 1: Leading analysis technology research & development
Kwangkeun Yi
(Director, Seoul National University)
Kyung-Goo Doh
(Hanyang University)
Chung-Kil Hur
(Seoul National University)
Yunheung Paek
(Seoul National University)
Sukyoung Ryu
(KAIST)
Team 2: Domain-specific analysis technology research & development
Kwangmoo Choe
(KAIST)
Byung-Gon Chun
(Seoul National University)
Byung-Ro Moon
(Seoul National University)
Team 3: Theory and innovative analysis technology research & development
Moonzoo Kim
(KAIST)
Sungwoo Park
(POSTECH)
Hakjoo Oh
(Ph.D. Seoul National University)
Jihun Kim
(Ph.D. Seoul National University)
Joonseon Ahn
(Korea Aerospace University)
Sungdeok Cha
(Korea University)
Jin-Young Choi
(Korea University)
Yunja Choi
(Kyungpook National University)
Bernhard Egger
(Seoul National University)
Wook-Shin Han
(Kyungpook National University)
Seung-won Hwang
(POSTECH)
Kyomin Jung
(KAIST)
Jangwoo Kim
(POSTECH)
Youdan Kim
(Seoul National University)
Youil Kim
(Ph.D. KAIST)
Gyesik Lee
(Ph.D. Univ. of Münster)
Oukseh Lee
(Hanyang University)
Seungyong Lee
(POSTECH)
Wonchan Lee
(M.S. Seoul National University)
Bruno Oliveira
(Ph.D. Oxford University)
Frank C. Park
(Seoul National University)
Sanghyuk Park
(Korea Aerospace University)
Chisu Wu
(Seoul National University)
Heon Young Yeom
(Seoul National University)

Member Professors

Team 1: Leading analysis technology research & development

Kwangkeun Yi
Director
School of Computer Science and Engineering
Seoul National University

static program analysis, programming systems application of static analysis technology, HOT(higher-order & typed) programming system

Kyung-Goo Doh
Department of Computer Science and Engineering
Hanyang University

programming languages, program analysis, software security

Chung-Kil Hur
School of Computer Science and Engineering
Seoul National University

Software Verification (especially, Compiler Verification), Program Logic, Automated & Interactive Theorem Proving, Programming Language Theory, Category Theory, Probabilistic Programs and Bayesian Inference

Yunheung Paek
School of Electrical Engineering and Computer Sciences
Seoul National University

SoC optimization, reconfigurable, optimizing compiler, hardware design

Sukyoung Ryu
Department of Computer Science
KAIST

multicore programming language, proof assistants for programming languages and program analyses

Team 2: Domain-specific analysis technology research & development

Kwangmoo Choe
Department of Computer Science
KAIST

formal language theory, parallel evaluation of logic programs, optimizing compilers

Byung-Gon Chun
School of Computer Science and Engineering
Seoul National University

operating systems, networked systems, big data analytics, cloud computing, mobile systems and security

Byung-Ro Moon
School of Computer Science and Engineering
Seoul National University

financial engineering, algorithm design and optimization, genetic algorithm and evolutionary computation

Team 3: Theory and innovative analysis technology research & development

Moonzoo Kim
Department of Computer Science
KAIST

software verification, automated software analysis, embedded software

Sungwoo Park
Department of Computer Science and Engineering
POSTECH

programming language theory, logic in computer science, type theory, functional languages

Research Associates

Hakjoo Oh
Ph.D. Seoul National University

static analysis techniques for achieving precise, sound, and scalable global analyzers

Jihun Kim
Ph.D. Seoul National University

Alumni

Joonseon Ahn
School of Electronics, Telecommunications and Computer Science
Korea Aerospace University

programming environment for ubiquitous computing, web application program security, information retrieval

Sungdeok Cha
Computer Science and Engineering
Korea University

Jin-Young Choi
Department of Computer Science and Engineering
Korea University

formal methods, formal specification, formal verification, secure software engineering

Yunja Choi
School of Electrical Engineering and Computer Science
Kyungpook National University

software engineering, formal methods, model checking

Bernhard Egger
School of Computer Science and Engineering
Seoul National University

architecture, operating system and compiler interaction for embedded systems, coarse-grained reconfigurable architectures and compilers, virtualization techniques for multicores/manycores

Wook-Shin Han
Computer Enigeering Department
Kyungpook National University

query optimization, XML, object-orient database

Seung-won Hwang
Department of Computer Science and Engineering
POSTECH

top-k query, categorization, clustering scientific data

Kyomin Jung
Department of Computer Science
KAIST

graphical models and Image processing, complex network modeling and analysis, financial data mining

Jangwoo Kim
Computer Science and Engineering
POSTECH

Multi-core, Multi-threaded CPU Architecture, CPU/system Modeling, Simulation, and Analysis, Reliable, Secure and Scalable Data Center Architecture, Next-Generation Systems based on GP-GPU and Embedded Systems

Youdan Kim
School of Mechanical and Aerospace Engineering
Seoul National University

aircraft control system design, trajectory optimization and guidance, aircraft fault tolerant system design, system identification, satellite attitude control

Youil Kim

Ph.D. KAIST

practical static analysis tools, smart use of fast (but possibly imprecise) techniques, scalable implementation of precise techniques

Gyesik Lee

Ph.D. Univ. of Münster

mathematical logic (type theory and proof theory), formal methods

Oukseh Lee
Department of Computer Science and Engineering
Hanyang University

shape analysis, modular program analysis, code clone checking

Seungyong Lee
Department of Computer Science and Engineering
POSTECH

computer graphics, computer animation, image Processing

Wonchan Lee

M.S. Seoul National University

static analysis of concurrent programs, low level analyzer for hardware activies (cache, TLB, branch predictor)

Bruno Oliveira

Ph.D. Oxford University

the design of programming languages, functional programming, object-oriented programming, design patterns, aspect-oriented programming and concurrency

Frank C. Park
School of Mechanical and Aerospace Engineering
Seoul National University

robotics, mathematical systems theory, related areas of applied mathematics

Sanghyuk Park
Department of Aerospace and Mechanical Engineering
Korea Aerospace University

Chisu Wu
School of Computer Science and Engineering
Seoul National University

software cost estimation, web engineering, re-engineering

Heon Young Yeom
School of Computer Science and Engineering
Seoul National University


Valid XHTML 1.1 Valid CSS!
© Copyright 2008-2010 ROSAEC Center, Seoul National University