Question: What facility in Daedeok Innopolis, Daejeon does Otfried Cheong work at?

Context paragraphs:
Hong Cheong: Hong Cheong (also Hung Chiong and Hung Chong) was a Chinese photographer who operated a photographic studio in Yokohama, Japan between 1875 and 1885.  In addition to his photographic work he was an artist, chart copier, portrait painter, and dealer in picture frames.  Cheong left Japan in 1885 and opened a studio in Hong Kong.  His photographic works included large format hand-coloured albumen prints.  It is possible that Hong Cheong was related to Tong Cheong, the Chinese operator of another photographic studio in Yokohama known from an advertisement of 1884.

Daedeok District: Daedeok District (Daedeok-gu) is a district in Daejeon, a metropolitan city in South Korea.  Headquarters of KT&G, Korea Ginseng Corporation and Korea Water Resources, and Daejeon Logistics Terminal, Korea Express are located in this district.

Korea Astronomy and Space Science Institute: The Korea Astronomy and Space Science Institute (KASI) is the national research institute in astronomy and space science of South Korea funded by the South Korean Government.  Its headquarters are located in Daejeon, in the Daedeok Science Town.  Research at KASI covers main areas of modern astronomy, including Optical Astronomy, Radio Astronomy, Space Science, and Theoretical Astronomy.

Otfried Cheong: Otfried Cheong (formerly Otfried Schwarzkopf) is a German computational geometer working in South Korea at KAIST.  He is known as one of the authors of the widely used computational geometry textbook "Computational Geometry: Algorithms and Applications" and as the developer of Ipe, a vector graphics editor.

KAIST: KAIST (formally the Korea Advanced Institute of Science and Technology) is a public research university located in Daedeok Innopolis, Daejeon, South Korea.  KAIST was established by the Korean government, with the help of American policymakers, in 1971 as the nation's first research-oriented science and engineering institution.  KAIST also has been internationally accredited in business education.  KAIST has approximately 10,200 full-time students and 1,140 faculty researchers and had a total budget of US$765 million in 2013, of which US$459 million was from research contracts.  From 1980 to 2008, the institute was known as the Korea Advanced Institute of Science and Technology.  In 2008, the name was shortened to "KAIST".

Daedeok Science Town: Daedeok Innopolis, formerly known as Daedeok Science Town, is the research and development district in the Yuseong-gu district in Daejeon, South Korea.  Daedeok Innopolis grew out of the research cluster established by President Park Chunghee in 1973 with the opening of the KAIST.  Over 20 major research institutes and over 40 corporate research centers make up this science cluster.  Over the last few years, a number of IT venture companies have sprung up in this region, which has a high concentration of Ph.Ds in the applied sciences.  There are 232 research and educational institutions to be found in Daejeon, many in the Daedeok region, among them the Electronics and Telecommunications Research Institute and the Korea Aerospace Research Institute.  The "town" will provide a core for the International Science and Business Belt.

Yuseong District: Yuseong District (Yuseong-gu) is a gu ("district") of Daejeon, South Korea, known for high tech industries, Daejeon Expo '93, Daedeok Science Town and the Yuseong Special Tourism District.  Daejeon Islamic Center is also located in Kung-dong, Yuseong-gu.  The Science Town will be a core of the International Science and Business Belt.

Seungjeongwon: Seungjeongwon was the Royal Secretariat during the Joseon Dynasty of Korea (1392 - 1910) in charge of receiving and delivering the king's order.  The office was also called "Jeongwon", "Huwon", "Eundae", or "Daeeonsa".  According to the "Gyeongguk daejeon" (Complete Codes of Law), the Seungjeongwon had 6 Royal Secretaries ("Seungji" 承旨), whose ranks were in the 3rd senior grade, as well as two recorders ("juseo" 注書).  The duties of the royal secretaries were primarily to deliver the monarch’s orders to government organizations (under the Joseon administrative system the monarch never delivered his orders directly to any government office) and to report on official affairs of the state organizations to the throne.  The six secretary system is explained by the fact that the government of Joseon was composed of six Boards (or Ministries).  The six secretaries served respectively the Boards of Personnel, War, Taxation, Rites, Works, and Punishment.  However, the secretaries were not limited to liaison work between the Six Boards and the monarch; they also reported to the king the business of all government offices, primary among these being the State Council ("Uijeong-bu"), the Office of Censor-General ("Saganwon"), and the Office of Inspector-General ("Saheon-bu").  As the name implies, the primary duty of the recorders was to make a record of all the official business handled by the secretaries.  As the work of the secretaries had to be conducted at all hours, and it was required that they have ready access to the monarch at all times, the office the Seungjeongwon was established within easy reach of the king at court.

Korea Aerospace Research Institute: The Korea Aerospace Research Institute (KARI) established in 1989, is the aeronautics and space agency of Republic of Korea.  Its main laboratories are located in Daejeon, in the Daedeok Science Town.  KARI's vision is to continue building upon indigenous launch capabilities, strengthen national safety and public service, industrialize satellite information and applications technology, explore the moon, and develop environmentally-friendly and highly-efficient cutting-edge aircraft and core aerospace technology.  Current projects include the KSLV-2 launcher.  Past projects include the 1999 Arirang-1 satellite.  The agency was founded in 1989.  Prior to South Korea's entry into the IAE in 1992, it focused primarily on aerospace technology.

High-Flux Advanced Neutron Application Reactor: The High-Flux Advanced Neutron Application Reactor (HANARO) (하나로) is a 30 MW multi-purpose research reactor located at Daejeon, Republic of Korea.  It was designed by Korea Atomic Energy Research Institute (KAERI) as a facility for research and development on the neutron science and its applications.

Supporting paragraphs: Otfried Cheong KAIST
Answer: KAIST