Люк О, это ⇐ Васина Википедия

[wiki_en]

«Чих-Хао Люк Онг» (обычно называемый «К.-Х.Л. Онг» или «Люк Онг») — сингапурский ученый-компьютерщик, чьи исследования охватывают языки программирования, семантику вычислений, логику и проверку. Он занимал академические должности в Оксфордском университете и является старшим руководителем Наньянского технологического университета (NTU) в Сингапуре.
== Образование ==
Онг учился в Кембриджском университете, а затем защитил докторскую диссертацию по информатике в Имперском колледже Лондона.
== Карьера ==
Онг провел большую часть своей академической карьеры в Оксфордском университете, где он работал преподавателем на факультете компьютерных наук и научным сотрудником Мертон-колледжа в Оксфорде.

Позже он поступил в Наньянский технологический университет (NTU) в Сингапуре в качестве заслуженного профессора университета и занимал руководящие должности в университете.
== Исследования ==
Исследования Онга включают работу в области семантики вычислений, языков программирования и автоматической проверки.

В области верификации и логики его публикации включают работы по проблемам проверки моделей для деревьев, созданных с помощью рекурсивных схем высшего порядка, опубликованные в материалах симпозиума IEEE по логике в компьютерных науках (LICS).
В области семантики языков программирования он является соавтором серии статей «О полной абстракции для PCF: I, II и III» в журнале «Информация и вычисления».
== Избранные произведения ==

* Хайланд, Дж. М. Э.; Онг, К.-Х. Л. (2000). «О полной абстракции для PCF: I, II и III». «Информация и вычисления».
* Онг, К.-Х. Л. (2006). «О деревьях проверки моделей, созданных с помощью рекурсивных схем высшего порядка». «Труды LICS 2006».



Подробнее: https://en.wikipedia.org/wiki/Luke_ong