Аарти Гупта (ученый-компьютерщик)

Аарти Гупта
Аарти Гупта
	Аарти Гупта на FLoC 2006
Занятие	Ученый-компьютерщик
Академическое образование
Образование	ИИТ Дели ; Университет Карнеги-Меллон (доктор философии, 1994 г.) ;
Академическая работа
Учреждения	Принстонский университет

Аарти Гупта — ученый-компьютерщик, работающий в области формальных методов , автоматизации электронного проектирования и языков программирования . Получив образование в Индии и США, она в настоящее время является профессором кафедры компьютерных наук Принстонского университета .

Образование и карьера

Аарти Гупта получила степень бакалавра в ИИТ Дели , Индия, и степень доктора компьютерных наук в Университете Карнеги-Меллон в 1994 году. ^{[ 1 ]} Позже она работала в NEC Laboratories America, разрабатывая инструменты для проверки правильности крупномасштабных промышленных баз кода, написанных на языках C и C++. ^{[ 2 ]} Усилия ее и ее команды принесли ей в 2005 году премию NEC за коммерциализацию технологий. ^{[ 1 ]} В 2015 году она поступила на факультет компьютерных наук Принстонского университета в качестве профессора. ^{[ 3 ]} Она опубликовала множество публикаций по таким темам, как синтез программ , проверка параллельных программ, аппаратное обеспечение и проверка компьютерных сетей.

Служба и награды

Сотрудник ACM , 2017 г.: ^{[ 4 ]} «За вклад в методы системного анализа и верификации и их внедрение в производственную практику»
Член руководящего комитета конференции «Компьютерная верификация» . ^{[ 5 ]}
Бывший член руководящего комитета конференции «Формальные методы в компьютерном проектировании» (FMCAD) ^{[ 6 ]}
Член редколлегии журнала «Формальные методы в системном проектировании». ^{[ 7 ]}
Член редколлегии журнала «ACM Transactions on Automation Design of Electronic Systems» ^{[ 1 ]}

Ссылки

^ Перейти обратно: ^а ^б ^с «Аарти Гупта» . Факультет компьютерных наук Принстонского университета . Принстонский университет . Проверено 6 июля 2023 г.
^ Иванчич, Ф.; Ян, З.; Гупта, А.; Шляхтер И.; Ашар, П. (2005). «Ф-Софт: Платформа проверки программного обеспечения» . Компьютерная проверка . Конспекты лекций по информатике. Том. 3576. стр. 301–306. дои : 10.1007/11513988_31 . ISBN 978-3-540-27231-1 . {{cite book}}: |journal= игнорируется ( помогите )
^ «Аарти Гупта присоединяется к отделу компьютерных наук в лабораториях NEC» . Факультет компьютерных наук Принстонского университета . Принстонский университет . Проверено 6 июля 2023 г.
^ «Страница награды Аарти Гупта» . Ассоциация вычислительной техники . Проверено 5 июля 2023 г.
^ «Компьютерная проверка — i-cav.org» . Проверено 5 июля 2023 г.
^ «Конференция FMCAD» . Проверено 5 июля 2023 г.
^ «Редакция» . Формальные методы проектирования систем . СпрингерЛинк . Проверено 6 июля 2023 г.

[princetonCS-1] Перейти обратно: ^а ^б ^с «Аарти Гупта» . Факультет компьютерных наук Принстонского университета . Принстонский университет . Проверено 6 июля 2023 г.

[fsoftCav05-2] Иванчич, Ф.; Ян, З.; Гупта, А.; Шляхтер И.; Ашар, П. (2005). «Ф-Софт: Платформа проверки программного обеспечения» . Компьютерная проверка . Конспекты лекций по информатике. Том. 3576. стр. 301–306. дои : 10.1007/11513988_31 . ISBN 978-3-540-27231-1 . {{cite book}}: |journal= игнорируется ( помогите )

[pudcsNews-3] «Аарти Гупта присоединяется к отделу компьютерных наук в лабораториях NEC» . Факультет компьютерных наук Принстонского университета . Принстонский университет . Проверено 6 июля 2023 г.

[AartiGuptaACMFellow-4] «Страница награды Аарти Гупта» . Ассоциация вычислительной техники . Проверено 5 июля 2023 г.

[cavConference-5] «Компьютерная проверка — i-cav.org» . Проверено 5 июля 2023 г.

[fmcadConference-6] «Конференция FMCAD» . Проверено 5 июля 2023 г.

[fmsd-7] «Редакция» . Формальные методы проектирования систем . СпрингерЛинк . Проверено 6 июля 2023 г.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]