Инсуп Ли

Инсуп Ли — профессор Сесилии Фитлер Мур на факультете компьютерных и информационных наук Пенсильванского университета , США. Он также является директором и сооснователем центра PRECISE .

Ли получил степень бакалавра математики в Университете Северной Каролины в Чапел-Хилл в 1977 году, а затем степень магистра и доктора философии. Получил степень бакалавра компьютерных наук в Университете Висконсин-Мэдисон в 1983 году. В том же году он поступил на работу в Пенсильванский университет в качестве доцента. Исследования Ли преимущественно сосредоточены на киберфизических системах (CPS), вычислениях в реальном времени , медицинских устройствах высокой надежности, формальных методах и инструментах , а также проверке во время выполнения . Большая часть его недавней работы была связана с безопасностью CPS, особенно медицинского оборудования. Ли также является членом ACM . ^{[ 1 ]} ИИЭР , ^{[ 2 ]} и АААС . ^{[ 3 ]}

Награды и почести

Награда за проверку временем выполнения, ^{[ 4 ]} выпущен в 2019 г. для статьи ENTCS 2001 «Jav-MaC: инструмент обеспечения качества выполнения Java-программ» (совместно с Олегом Сокольским, Сампатом Каннаном, Мунзу Кимом и Махешем Вишванатаном).
Награда IEEE TC-RTS за выдающиеся технические достижения и лидерство, ^{[ 5 ]} выпущен в декабре 2008 г.
Премия Эдварда М. Кеннеди за инновации в здравоохранении, ^{[ 6 ]} выдан CIMIT в 2007 году для группы по совместимости медицинских устройств «PnP» — Джулиан Голдман (руководитель), Дэйв Арни, Инсап Ли и др.

Ссылки

^ «Инсуп Ли стал членом ACM» . Пенн Инжиниринг .
^ «Профиль участника Insup Lee» . Справочник участников IEEE . Институт инженеров электротехники и электроники.
^ «Insup Lee избран стипендиатом AAAS 2022 года» . Пенсильванский центр PRECISE .
^ Награда «Испытание временем» . Проверка времени выполнения .
^ «Награды за достижения и лидерство» . Технический комитет по системам реального времени (TCRTS) . Институт инженеров электротехники и электроники.
^ «CIMIT объявляет победителя премии Кеннеди за инновации в области здравоохранения» . Новости. 8 января 2008 г.

Внешние ссылки

Домашняя страница Инсупа Ли
Публикации Инсапа Ли, индексируемые Google Scholar

[1] «Инсуп Ли стал членом ACM» . Пенн Инжиниринг .

[2] «Профиль участника Insup Lee» . Справочник участников IEEE . Институт инженеров электротехники и электроники.

[3] «Insup Lee избран стипендиатом AAAS 2022 года» . Пенсильванский центр PRECISE .

[4] Награда «Испытание временем» . Проверка времени выполнения .

[5] «Награды за достижения и лидерство» . Технический комитет по системам реального времени (TCRTS) . Институт инженеров электротехники и электроники.

[6] «CIMIT объявляет победителя премии Кеннеди за инновации в области здравоохранения» . Новости. 8 января 2008 г.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]