Элейн Вейкер

Элейн Дж. Вейкер
Элейн Дж. Вейкер
Альма-матер	Университет Рутгерса
Известный	Инженер-программист
Награды	Премия Харлана Д. Миллса ; Премия ACM SIGSOFT за выдающиеся исследования ; Президентская премия ACM 2010

Элейн Джессика Вейкер — член ACM , ^[1] член IEEE (с 2003 г.), ^[2]^[3] и научный сотрудник AT&T в Bell Labs за исследования в области метрик и тестирования программного обеспечения , а также избран членом Национальной инженерной академии . ^[3] Она является автором более 130 статей в журналах и рецензировала материалы конференций.

Образование

Вейкер получил докторскую степень. Он получил степень бакалавра компьютерных наук в Университете Рутгерса и степень MSE в Университете Пенсильвании .

Карьера

До перехода в AT&T Labs она работала на факультете Института математических наук Куранта Нью -Йоркского университета , была преподавателем в Городском университете Нью-Йорка , системным инженером в IBM и программистом в Texaco . ^[4]

Она была председателем Совета ACM-W, членом исполнительного комитета Коалиции по диверсификации вычислений, членом Консультативного совета аспирантуры Университета Рутгерса и членом совета директоров Ассоциации компьютерных исследований . Она является или была членом редакционного совета журналов IEEE Transactions on Software Engineering , IEEE Transactions on Dependable and Secure Computing , IEEE Spectrum , Empirical Software Engineering Journal и Journal of Systems and Software , а также была одним из редакторов-основателей ACM. Труды по программной инженерии и методологии. Она была секретарем/казначеем ACM SIGSOFT и национальным лектором ACM.

Награды

В 2002 году Вейкер был избран членом Национальной инженерной академии за «вклад в тестирование программного обеспечения, надежность и измерение, а также за разработку математических основ тестирования программного обеспечения». ^[5]

В 2004 году она была удостоена премии Харлана Д. Миллса от Компьютерного общества IEEE . ^[3] «За проведение исследований в области тщательного тестирования программного обеспечения, включая промышленные оценки сравнительной эффективности и стоимости таких методов тестирования». ^[6]

В 2007 году Вейкер получил награду ACM SIGSOFT за выдающиеся исследования за «глубокий и продолжительный вклад и влияние на разработку программного обеспечения как дисциплину». ^[7] а в 2008 году она получила премию Института Аниты Борг за техническое лидерство за «выдающиеся исследования и техническое лидерство». ^[8]

Она была награждена Президентской премией ACM 2010 за «ее неустанные усилия по развитию и росту Женского совета ACM». ^[9]

Избранная библиография

Книги

Дэвис, Мартин Д.; Сигал, Рон; Вейкер, Элейн Дж. (1994). Вычислимость, сложность и языки: основы теоретической информатики (2-е изд.). Сан-Диего, Калифорния: Academic Press. ISBN 978-0-122-06382-4 .

Главы книги

Вейкер, Элейн Дж.; Остранд, Томас Дж. (2010). «Глава 9: Автоматизированная система прогнозирования неисправностей». В Ораме, Энди; Уилсон, Грег (ред.). Создание программного обеспечения: что действительно работает и почему мы в это верим . Севастополь, Калифорния: О'Рейли. стр. 145–160. ISBN 978-0-596-80832-7 .
Вейкер, Элейн Дж. (2001). «Глава 24: Проблемы с тестированием компонентов». В Хейнемане, Джордж Т.; Каунсилл, Уильям Т. (ред.). Компонентно-ориентированная разработка программного обеспечения: соединение частей воедино . Бостон, Массачусетс: Аддисон-Уэсли. стр. 499–512. ISBN 978-0-768-68207-6 .

Ссылки

^ «ACM: Премия Fellows / Элейн Дж. Вейкер» . Члены ACM . Ассоциация вычислительной техники . Проверено 24 января 2010 г.
^ «Товарищ 2003 года» . ИИЭЭ . Архивировано из оригинала 29 июня 2011 года . Проверено 14 августа 2011 г.
^ Jump up to: ^а ^б ^с «Вейкер и Барбаччи удостоены награды общества», IEEE Computer , 39 (6): 73–74, 2006, doi : 10.1109/MC.2006.214
^ «Элейн Дж. Вейкер - Биографическая справка» (PDF) . Архивировано из оригинала (PDF) 22 февраля 2014 года . Проверено 4 февраля 2014 г.
^ «Доктор Элейн Вейкер» .
^ «Предыдущие лауреаты премии Харлана Д. Миллса» . Компьютерное общество IEEE . Архивировано из оригинала 10 января 2011 года . Проверено 13 апреля 2011 г.
^ «Награда ACM SIGSOFT за выдающиеся исследования» . Архивировано из оригинала 6 февраля 2015 г. Проверено 20 февраля 2010 г.
^ «Элейн Вейкер принимает премию Аниты Борг за техническое лидерство на GHC 2008» . Ютуб . 11 мая 2009 г. Архивировано из оригинала 12 декабря 2021 г.
^ «Президентская премия ACM» . АКМ. 2010. Архивировано из оригинала 2 апреля 2012 г. Проверено 28 мая 2010 г.

[1] «ACM: Премия Fellows / Элейн Дж. Вейкер» . Члены ACM . Ассоциация вычислительной техники . Проверено 24 января 2010 г.

[2] «Товарищ 2003 года» . ИИЭЭ . Архивировано из оригинала 29 июня 2011 года . Проверено 14 августа 2011 г.

[mills-3] Jump up to: ^а ^б ^с «Вейкер и Барбаччи удостоены награды общества», IEEE Computer , 39 (6): 73–74, 2006, doi : 10.1109/MC.2006.214

[4] «Элейн Дж. Вейкер - Биографическая справка» (PDF) . Архивировано из оригинала (PDF) 22 февраля 2014 года . Проверено 4 февраля 2014 г.

[5] «Доктор Элейн Вейкер» .

[Mills_award_recipients-6] «Предыдущие лауреаты премии Харлана Д. Миллса» . Компьютерное общество IEEE . Архивировано из оригинала 10 января 2011 года . Проверено 13 апреля 2011 г.

[7] «Награда ACM SIGSOFT за выдающиеся исследования» . Архивировано из оригинала 6 февраля 2015 г. Проверено 20 февраля 2010 г.

[8] «Элейн Вейкер принимает премию Аниты Борг за техническое лидерство на GHC 2008» . Ютуб . 11 мая 2009 г. Архивировано из оригинала 12 декабря 2021 г.

[9] «Президентская премия ACM» . АКМ. 2010. Архивировано из оригинала 2 апреля 2012 г. Проверено 28 мая 2010 г.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

v т и Информатика
Note: This template roughly follows the 2012 ACM Computing Classification System.
Hardware	Printed circuit board Peripheral Integrated circuit Very Large Scale Integration Systems on Chip (SoCs) Energy consumption (Green computing) Electronic design automation Hardware acceleration Processor Size / Form
Computer systems organization	Computer architecture Computational complexity Dependability Embedded system Real-time computing
Networks	Network architecture Network protocol Network components Network scheduler Network performance evaluation Network service
Software organization	Interpreter Middleware Virtual machine Operating system Software quality
Software notations and tools	Programming paradigm Programming language Compiler Domain-specific language Modeling language Software framework Integrated development environment Software configuration management Software library Software repository
Software development	Control variable Software development process Requirements analysis Software design Software construction Software deployment Software engineering Software maintenance Programming team Open-source model
Theory of computation	Model of computation Formal language Automata theory Computability theory Computational complexity theory Logic Semantics
Algorithms	Algorithm design Analysis of algorithms Algorithmic efficiency Randomized algorithm Computational geometry
Mathematics of computing	Discrete mathematics Probability Statistics Mathematical software Information theory Mathematical analysis Numerical analysis Theoretical computer science
Information systems	Database management system Information storage systems Enterprise information system Social information systems Geographic information system Decision support system Process control system Multimedia information system Data mining Digital library Computing platform Digital marketing World Wide Web Information retrieval
Security	Cryptography Formal methods Security hacker Security services Intrusion detection system Hardware security Network security Information security Application security
Human–computer interaction	Interaction design Social computing Ubiquitous computing Visualization Accessibility
Concurrency	Concurrent computing Parallel computing Distributed computing Multithreading Multiprocessing
Artificial intelligence	Natural language processing Knowledge representation and reasoning Computer vision Automated planning and scheduling Search methodology Control method Philosophy of artificial intelligence Distributed artificial intelligence
Machine learning	Supervised learning Unsupervised learning Reinforcement learning Multi-task learning Cross-validation
Graphics	Animation Rendering Photograph manipulation Graphics processing unit Mixed reality Virtual reality Image compression Solid modeling
Applied computing	Quantum Computing E-commerce Enterprise software Computational mathematics Computational physics Computational chemistry Computational biology Computational social science Computational engineering Differentiable computing Computational healthcare Digital art Electronic publishing Cyberwarfare Electronic voting Video games Word processing Operations research Educational technology Document management
Category Outline Glossaries

Базы данных авторитетного контроля
International	ISNI VIAF WorldCat
National	Norway France BnF data Israel United States Netherlands
Academics	Association for Computing Machinery DBLP MathSciNet Mathematics Genealogy Project
Other	IdRef