Sunseong Choe Research Assistant Professor
Center for Graduate Education Initiative

■Degrees

Bachelor of Engineering from Kogakuin University(2000), M.S. from Japan Advanced Institute of Science and Technology(2003), Ph.D. from Japan Advanced Institute of Science and Technology(2011)

■Professional Career

Part-time Lecturer at Japan Organization for Employment of the Elderly, Persons with Disabilities and Job Seekers(2008), Researcher at Japan Advanced Institute of Science and Technology(2011)

■Specialties

Abstraction of Hybrid Systems and Its Application, Quality Assurance of Graduate Education

■Research Keywords

Hybrid Systems, Discrete abstraction, Verification, Optimization, QA, Graduate education

■Publications

◇Published Papers

R & D Management Based on the Relationship between the Achievement of R&D and Commercialization，Yuji Hirabayashi, Yasuo Ikawa, Sigeru Aoki, Kunihiko Hiraishi, Tarou Sugihara, Shunsei Sai, Naoshi Uchihira, Tetsuro Chino, Kentarou Torii，Proceedings of Portland International Conference on Management Engineering and Technology 2012 (PICMET2012)，3404-3409，2012/07/30
Modeling of complex processes in nursing and caregiving services，Kunihiko Hiraishi, Sunseong Choe, Kentaro Torii, Naoshi Uchihira, Toshiaki Tanaka，IEEE SMC 2012, 2012，pp.1449-1454
Application of Quantifier Elimination to Optimal Control Problems of Hybrid Systems，Sunseong Choe, Kunihiko Hiraishi，the 7th Asian Symposium on Computer Mathematics (ASCM2005)，62/65，2005/12/05

Display All

■Extramural Activities

◇Academic Society Affiliations

WIDE，2011-
IEICE，2005-
IPSJ，2005-

Sunseong Choe Research Assistant Professor Center for Graduate Education Initiative