Аарти Гупта (специалист по информатике)
Аарти Гупта | |
|---|---|
 Арти Гупта на FLoC 2006 | |
| Занятие | Ученый-компьютерщик |
| Академическое образование | |
| Образование |
|
| Академическая работа | |
| Учреждения | Принстонский университет |
Аарти Гупта — компьютерный ученый, работающий в области формальных методов , автоматизации электронного проектирования и языков программирования . Получив образование в Индии и США, в настоящее время она является профессором кафедры компьютерных наук Принстонского университета .
Образование и карьера
Аарти Гупта получила степень бакалавра в Индийском технологическом институте Дели ( Индия) и степень доктора наук в области компьютерных наук в Университете Карнеги-Меллона в 1994 году . [1] Позже она работала в NEC Laboratories America, разрабатывая инструменты для проверки корректности крупномасштабных промышленных кодовых баз, написанных на языках C и C++. [2] Усилия, которые она и ее команда принесли ей премию NEC Technology Commercialization Award 2005 года. [1] Она присоединилась к кафедре компьютерных наук Принстонского университета в качестве штатного профессора в 2015 году. [3] Она опубликовала множество работ по таким темам, как синтез программ , проверка параллельных программ, аппаратное обеспечение и проверка компьютерных сетей.
Служба и награды
- Член ACM , 2017: [4] «За вклад в системный анализ и методы верификации и их внедрение в промышленную практику»
- Член Руководящего комитета конференции «Компьютерная верификация» . [5]
- Бывший член Руководящего комитета конференции «Формальные методы в автоматизированном проектировании» (FMCAD) [6]
- Член редколлегии журнала «Формальные методы в проектировании систем» [7]
- Член редакционной коллегии журнала ACM Transactions on Design Automation of Electronic Systems [1]
Ссылки
- ^ abc "Aarti Gupta". Computer Science Department at Princeton University . Princeton University . Получено 6 июля 2023 г. .
- ^ Иванчич, Ф.; Янг, З.; Гупта, А.; Шляхтер, И.; Ашар, П. (2005). "F-Soft: Платформа проверки программного обеспечения". Computer Aided Verification . Lecture Notes in Computer Science. Vol. 3576. pp. 301–306. doi :10.1007/11513988_31. ISBN 978-3-540-27231-1.
{{cite book}}:|journal=проигнорировано ( помощь ) - ^ "Aarti Gupta Joins Computer Science Department from NEC Labs". Кафедра компьютерных наук Принстонского университета . Принстонский университет . Получено 6 июля 2023 г.
- ^ "Страница наград Аарти Гупта". Ассоциация вычислительной техники . Получено 5 июля 2023 г.
- ^ "Computer aided Verification - i-cav.org" . Получено 5 июля 2023 г.
- ^ "FMCAD Conference" . Получено 5 июля 2023 г. .
- ^ "Редакционная коллегия". Формальные методы в проектировании систем . SpringerLink . Получено 6 июля 2023 г. .
