Майкл Франц

Майкл Франц
Майкл Франц
Рожденный	Майкл Штеффен Оливер Франц ; 1 мая 1964 г. (60 лет) ; Гамбург, Германия
Альма-матер	ETH Цюрих, Швейцария
Награды	Премия IEEE Computer Society за технические достижения (2012 г.); Премия Гумбольдта (2018); Премия ACM Thacker за прорыв в области вычислений (2021 г.)
	Научная карьера
Диссертация	Генерация кода «на лету»: ключ к портативному программному обеспечению
Докторантура	Никлаус Вирт
Докторанты	Андреас Галь
Веб-сайт	www .michaelfranz .с

Майкл Франц — американский ученый-компьютерщик, наиболее известный своей новаторской работой по своевременной компиляции и оптимизации. ^[2] и об искусственном разнообразии программного обеспечения. ^[3] Он заслуженный профессор ^[4] Доктор компьютерных наук в Школе информатики и компьютерных наук Дональда Брена Калифорнийского университета в Ирвайне (UCI), профессор электротехники и информатики (с любезного разрешения) Инженерной школы Генри Самуэли в UCI и директор UCI Лаборатория безопасных систем и программного обеспечения. ^[5]^[6]

Он является членом AAAS , ^[7] член ACM , ^[8]^[9] член IEEE , ^[10] член ИФИП , ^[11] лауреат IEEE за технические достижения. Премии компьютерного общества ^[2] и премии Гумбольдта . ^[12]^[5]^[6] В 2021 году Франц был награжден премией ACM Чарльза П. «Чака» Такера за прорыв в области вычислений. ^[13]^[14]

Биография [ править ]

Франц родился и вырос в Гамбурге, Германия, посещал Христианиум в Гамбурге и школу Гордонстоун в Элгине, Шотландия, и в конце концов окончил Христианиум, получив аттестат ускоренной средней школы («vorgezogenes Abitur»), опередив остальных учеников своего класса.

После окончания военной службы в Германии Франц переехал в Швейцарию, чтобы начать изучение информатики в ETH Zurich , получив степень инженера-диплома в 1989 году. Во время учебы в бакалавриате он был президентом Ассоциации студентов-компьютерщиков ETH. ^[15]

Отказавшись от полной стипендии Фулбрайта , которая могла бы финансировать докторантуру в Соединенных Штатах, он остался в ETH и начал докторантуру под руководством премии Тьюринга лауреата Никлауса Вирта , получив степень доктора технических наук в 1994 году. ^[16]

Проведя еще два года в ETH Zurich в качестве старшего научного сотрудника и лектора, в январе 1996 года он поступил на работу в Калифорнийский университет в Ирвайне в качестве доцента кафедры компьютерных наук. В 2001 году он получил звание доцента, а в 2006 году — профессора. С 2007 года он получил звание доцента. , он получил вторую должность в Инженерной школе UCI в качестве профессора электротехники и компьютерных наук (любезно). В 2016 году ему было присвоено звание канцлерского профессора, а в 2022 году он был повышен до высшей профессорской степени Калифорнийского университета, получив звание заслуженного профессора. ^[5]^[6]^[4]

Исследования [ править ]

Докторская диссертация Франца на тему «Генерация кода на лету: ключ к портативному программному обеспечению». ^[17] предложил сделать программное обеспечение переносимым между различными целевыми компьютерными архитектурами путем использования компиляции «на лету» во время загрузки из кодирования семантического словаря — сжатой промежуточной структуры данных. Два года спустя были запущены язык программирования и система Java, которые распространили эту идею, хотя и использовали термин «компиляция точно в срок» вместо термина «компиляция на лету», который использовал Франц.

Франц также был одним из первых ученых, осознавших, что JavaScript будет иметь огромное значение. ^{[ нужна ссылка ]} В то время, когда большая часть академического сообщества игнорировала JavaScript и подобные ему динамические языки как «маленькие скриптовые языки», Франц и его ученик Андреас Галь исследовали, как лучше всего реализовать специфические особенности динамически типизированного языка в режиме «точно в срок». компилятор. Полученный в результате метод, Trace Tree Compilation, теперь защищен патентом США. ^[18] Франц поделился этой идеей с Бренданом Эйхом , изобретателем JavaScript и техническим директором Mozilla в то время, и родился совместный проект UCI и Mozilla, кульминацией которого в конечном итоге стал движок JavaScript TraceMonkey в Firefox. ^[19]

Франц был одним из главных инициаторов движения «Защита от движущихся мишеней» в области кибербезопасности. Он был пионером в использовании разнообразия программного обеспечения, генерируемого компилятором, в качестве механизма защиты от программных атак, вдохновленным биоразнообразием в природе. ^[20]

Этот проект привлек внимание не только академических кругов, его освещение было в популярной прессе, начиная с The Economist. ^[3] в журнал Wired. ^[21] Франц и некоторые из его учеников владеют патентами США на некоторые из основных идей. ^[22]

Ссылки [ править ]

^ Jump up to: Перейти обратно: ^а ^б ^с Франц, Майкл (1994). Генерация кода на лету: ключ к портативному программному обеспечению (DScTech). ETH Цюрих . CiteSeerX 10.1.1.20.1424 . Дело 10497. Архивировано из оригинала 6 июля 2017 года . Проверено 24 июля 2021 г.
^ Jump up to: Перейти обратно: ^а ^б «Награда за технические достижения IEEE Computer Society 2012» . 13 апреля 2018 г.
^ Jump up to: Перейти обратно: ^а ^б «Разделенные мы стоим» . Экономист . ISSN 0013-0613 . Проверено 4 января 2016 г.
^ Jump up to: Перейти обратно: ^а ^б «Заслуженный профессор – научный работник» . Проверено 11 июля 2023 г.
^ Jump up to: Перейти обратно: ^а ^б ^с «Домашняя страница профессора Майкла Франца из Калифорнийского университета в Ирвине» . ics.uci.edu . Архивировано из оригинала 21 июня 2013 года.
^ Jump up to: Перейти обратно: ^а ^б ^с «Домашняя страница профессора Майкла Франца из Калифорнийского университета в Ирвине» . michaelfranz.com . Проверено 11 января 2016 г.
^ «Стипендиаты 2019 года» . aaas.org . Проверено 17 января 2020 г.
^ «Майкл С. Франц – лауреат премии» . Награды.acm.org . Проверено 4 января 2016 г.
^ «Стипендиаты ACM названы за инновации в области вычислительной техники, способствующие развитию технологий в эпоху цифровых технологий — Ассоциация вычислительной техники» . acm.org . Архивировано из оригинала 9 декабря 2015 года . Проверено 4 января 2016 г.
^ «Новые члены IEEE 2016» (PDF) . Институт инженеров по электротехнике и электронике (IEEE) .
^ «Награды» . ifip.org . Проверено 17 января 2020 г.
^ «Профессор Франц удостоен премии Гумбольдта за исследования» . Проверено 11 февраля 2018 г.
^ «Майкл Франц получил награду Чака Такера за прорыв в области вычислений от ACM 2020» . www.acm.org . Проверено 11 июля 2023 г.
^ «Награда ACM за прорыв Чака Такера вручается новатору, преобразовавшему веб-приложения» . www.acm.org . Проверено 11 июля 2023 г.
^ «Зал славы – Ассоциация студентов-компьютерщиков ETH Zurich» . vis.ethz.ch. Проверено 11 января 2016 г.
^ «Калифорнийский университет в Ирвине - Система профилей преподавателей - Майкл Франц» . www.faculty.uci.edu . Проверено 8 мая 2022 г.
^ Франц, Майкл (1 марта 1994 г.). Генерация кода «на лету»: ключ к портативному программному обеспечению . Цюрих: Издательство Fachvereine Hochschulverlag AG в ETH Zurich. ISBN 9783728121158 .
^ Динамический инкрементальный компилятор и метод , получено 11 января 2016 г.
^ «JavaScript:TraceMonkey – MozillaWiki» . Wiki.mozilla.org . Проверено 11 января 2016 г.
^ Джексон, Тодд; Саламат, Бабак; Хомеску, Андрей; Маниваннан, Картикеян; Вагнер, Грегор; Галь, Андреас; Брунталер, Стефан; Виммер, Кристиан; Франц, Майкл (2011), Яйодиа, Сушил; Гош, Ануп К.; Сваруп, Випин; Ван, Клифф (ред.), «Разнообразие программного обеспечения, генерируемое компилятором» , «Защита от движущихся целей: создание асимметричной неопределенности для киберугроз» , «Достижения в области информационной безопасности», Нью-Йорк, штат Нью-Йорк: Springer, стр. 77–98, номер документа : 10.1007/978. -1-4614-0977-9_4 , ISBN 978-1-4614-0977-9 , получено 8 сентября 2021 г.
^ Арбесман, Самуэль. «Программные клоны: генетические вариации и технологии» . ПРОВОДНОЙ . Проверено 11 января 2016 г.
^ Многовариантное параллельное выполнение программы для обнаружения внедрения вредоносного кода , получено 11 января 2016 г.

Внешние ссылки [ править ]

Официальный сайт

[Franz199Thesis-1] Jump up to: Перейти обратно: ^а ^б ^с Франц, Майкл (1994). Генерация кода на лету: ключ к портативному программному обеспечению (DScTech). ETH Цюрих . CiteSeerX 10.1.1.20.1424 . Дело 10497. Архивировано из оригинала 6 июля 2017 года . Проверено 24 июля 2021 г.

[:0-2] Jump up to: Перейти обратно: ^а ^б «Награда за технические достижения IEEE Computer Society 2012» . 13 апреля 2018 г.

[:1-3] Jump up to: Перейти обратно: ^а ^б «Разделенные мы стоим» . Экономист . ISSN 0013-0613 . Проверено 4 января 2016 г.

[:3-4] Jump up to: Перейти обратно: ^а ^б «Заслуженный профессор – научный работник» . Проверено 11 июля 2023 г.

[:2-5] Jump up to: Перейти обратно: ^а ^б ^с «Домашняя страница профессора Майкла Франца из Калифорнийского университета в Ирвине» . ics.uci.edu . Архивировано из оригинала 21 июня 2013 года.

[:4-6] Jump up to: Перейти обратно: ^а ^б ^с «Домашняя страница профессора Майкла Франца из Калифорнийского университета в Ирвине» . michaelfranz.com . Проверено 11 января 2016 г.

[7] «Стипендиаты 2019 года» . aaas.org . Проверено 17 января 2020 г.

[8] «Майкл С. Франц – лауреат премии» . Награды.acm.org . Проверено 4 января 2016 г.

[9] «Стипендиаты ACM названы за инновации в области вычислительной техники, способствующие развитию технологий в эпоху цифровых технологий — Ассоциация вычислительной техники» . acm.org . Архивировано из оригинала 9 декабря 2015 года . Проверено 4 января 2016 г.

[10] «Новые члены IEEE 2016» (PDF) . Институт инженеров по электротехнике и электронике (IEEE) .

[11] «Награды» . ifip.org . Проверено 17 января 2020 г.

[12] «Профессор Франц удостоен премии Гумбольдта за исследования» . Проверено 11 февраля 2018 г.

[13] «Майкл Франц получил награду Чака Такера за прорыв в области вычислений от ACM 2020» . www.acm.org . Проверено 11 июля 2023 г.

[14] «Награда ACM за прорыв Чака Такера вручается новатору, преобразовавшему веб-приложения» . www.acm.org . Проверено 11 июля 2023 г.

[15] «Зал славы – Ассоциация студентов-компьютерщиков ETH Zurich» . vis.ethz.ch. Проверено 11 января 2016 г.

[16] «Калифорнийский университет в Ирвине - Система профилей преподавателей - Майкл Франц» . www.faculty.uci.edu . Проверено 8 мая 2022 г.

[17] Франц, Майкл (1 марта 1994 г.). Генерация кода «на лету»: ключ к портативному программному обеспечению . Цюрих: Издательство Fachvereine Hochschulverlag AG в ETH Zurich. ISBN 9783728121158 .

[18] Динамический инкрементальный компилятор и метод , получено 11 января 2016 г.

[19] «JavaScript:TraceMonkey – MozillaWiki» . Wiki.mozilla.org . Проверено 11 января 2016 г.

[20] Джексон, Тодд; Саламат, Бабак; Хомеску, Андрей; Маниваннан, Картикеян; Вагнер, Грегор; Галь, Андреас; Брунталер, Стефан; Виммер, Кристиан; Франц, Майкл (2011), Яйодиа, Сушил; Гош, Ануп К.; Сваруп, Випин; Ван, Клифф (ред.), «Разнообразие программного обеспечения, генерируемое компилятором» , «Защита от движущихся целей: создание асимметричной неопределенности для киберугроз» , «Достижения в области информационной безопасности», Нью-Йорк, штат Нью-Йорк: Springer, стр. 77–98, номер документа : 10.1007/978. -1-4614-0977-9_4 , ISBN 978-1-4614-0977-9 , получено 8 сентября 2021 г.

[21] Арбесман, Самуэль. «Программные клоны: генетические вариации и технологии» . ПРОВОДНОЙ . Проверено 11 января 2016 г.

[22] Многовариантное параллельное выполнение программы для обнаружения внедрения вредоносного кода , получено 11 января 2016 г.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

Базы данных авторитетного контроля
Международный	ВИАФ WorldCat
Национальный	Соединенные Штаты
академики	Ассоциация вычислительной техники ДБЛП MathSciNet Проект математической генеалогии zbMATH