Сьюзан Б. Хорвиц - Susan B. Horwitz

Для биохимика см. Сьюзан Бэнд Хорвиц.
Сьюзан Б. Хорвиц
Родившийся(1955-01-06)6 января 1955 г.
Беркли, Калифорния, НАС.
Умер11 июня 2014 г.(2014-06-11) (59 лет)
Мэдисон, Висконсин, НАС.
НациональностьАмериканец
Альма-матерКорнелл Университет
Уэслианский университет
Известенязыки программирования
программная инженерия
НаградыПремия ACM SIGSOFT Retrospective Impact Paper Award (2011)
Научная карьера
ПоляИнформатика
УчрежденияУниверситет Висконсина-Мэдисона (1985-настоящее время)
Institut National de Recherche en Informatique et en Automatique (INRIA) в Роккенкур, Франция (1982-83)
Копенгагенский университет (1993-94)
Consiglio Nazionale delle Ricerche в Пизе, Италия (2000–2001)
Университет Парижа Дидро (2007–2008)
ДокторантТим Тейтельбаум
Интернет сайтстраницы.cs.wisc.edu/ ~ Хорвиц/

Сьюзан Бет Хорвиц (6 января 1955 - 11 июня 2014) был американцем специалист в области информатики отмечен своими исследованиями языки программирования и программная инженерия и, в частности, о нарезке программ и анализе потоков данных. У нее было несколько лучших работ и награда за ударную бумагу, упомянутую ниже в разделе награды.

Она была отмеченным наградами преподавателем в своем учебном заведении и была основательницей программы Peer Led Team Learning for Computer Science (PLTLCS), создавшей программу Wisconsin Emerging Scholars-Computer Science (WES-CS). Она возглавила грант NSF ITWF 0420343, который был результатом сотрудничества восьми школ, выполняющих PLTLCS, в том числе Университета Висконсина-Мэдисона и Хорвица, Университета Дьюка, Технологического института Джорджии, Университета Рутгерса, Университета Висконсина в Милуоки, Университета Пердью, Колледжа Белойта. , и колледж Лойола. Они опубликовали статью в 2009 году.[1] это показало, что активный набор в сочетании с групповым обучением под руководством сверстников является эффективным подходом к привлечению и удержанию недостаточно представленных студентов на вводном курсе информатики. Она также была известна своим лидерством в области вычислений в средних школах. В течение десяти лет с 1987 по 1997 год она была членом комитета по разработке тестов по компьютерным наукам в рамках образовательных служб тестирования, в том числе председательствовала в комитете в течение пяти лет с 1992 по 1997 год, когда язык программирования для экзамена изменился с Паскаль на С ++. .[нужна цитата ]

биография

Хорвиц получил А.Б. с отличием Этномузыкология из Уэслианский университет в 1977 г. РС. в Информатика из Корнелл Университет в 1982 г. и Кандидат наук в Информатика из Корнелл Университет в 1985 г. Она поступила на кафедру компьютерных наук в Университет Висконсина в Мэдисоне в качестве доцента в 1985 году. Она была повышена до адъюнкт-профессора в 1991 году и до профессора в 1996 году. Она была адъюнкт-председателем с 2004 по 2007 годы.[2]

Смерть

Хорвиц умер 11 июня 2014 года в возрасте 59 лет от рак желудка.[3]

Награды

Хорвиц получил несколько лучших бумажных наград:

  • Ее статья 1988 г. «Межпроцедурное срезы с использованием графов зависимостей» (совместно с Т. Репсом и Д. Бинкли) была выбрана в качестве одной из 50 лучших статей, представленных на конференции ACM SIGPLAN по проектированию и реализации языков программирования (PLDI) в период с 1979 г. 99.[4]
  • В 2011 году она получила награду ACM SIGSOFT Retrospective Impact Paper Award (вместе с Т. Репсом, М. Сагивом и Г. Розей) за свою статью «Ускорение нарезки», которая была представлена ​​на симпозиуме SIGSOFT по основам разработки программного обеспечения (FSE). в 1994 г.[5]
  • Ее статья «Снижение накладных расходов на динамический анализ» (совместно с С. Йонгом) в 2002 г. на втором семинаре по верификации времени выполнения была выбрана как одна из лучших на семинаре и приглашена для представления в специальный выпуск журнала «Формальные методы в мире». Системный дизайн.[6]
  • Ее статья «Анализ межпроцедурного потока данных спроса» (с Томасом Репсом и Мули Сагивом) в SIGSOFT '95 была выбрана как одна из лучших на конференции, приглашенных для представления в ACM Transactions по разработке программного обеспечения и методологии.[7]
  • Ее статья «Точный межпроцедурный анализ потока данных с приложениями к постоянному распространению» (с М. Савивом и Т. Репсом) в TAPSOFT '95 была выбрана как одна из лучших на конференции и приглашена для представления в Теоретическую информатику.[8]

Хорвиц имеет несколько наград в Висконсине:

  • Почетная награда факультета литературы и науки Висконсинского университета, 2011 г.[9]
  • Награда Кэролайн Рознер за отличную педагогику, факультет компьютерных наук Университета Висконсина, 1997 г.[10]
  • Премия Университета Висконсина Уильяма Х. Кекхофера за выдающиеся достижения в области преподавания, 1993
  • Премия Колледжа литературы и наук Университета Висконсина за выдающиеся достижения в области преподавания, 1992 г.

Рекомендации

  1. ^ Сьюзан Хорвиц; Сьюзен Х. Роджер; Морин Биггерс; Дэвид Бринкли; Дон Гундерманн; Сюзанна Хамбруш; Стивен Хасс-Ледерман; Барбара Райдер и Моника Пот (2009). «Использование коллективного обучения под руководством коллег для увеличения участия и успеха недостаточно представленных групп во вводной информатике». SIGCSE '09 Материалы 40-го технического симпозиума ACM по образованию в области компьютерных наук. 41 (1): 163–167. Дои:10.1145/1539024.1508925.
  2. ^ Профиль Сьюзан Б. Хорвиц, pages.cs.wisc.edu; по состоянию на 29 октября 2014 г.
  3. ^ Madison.com (05.07.2014). "Хорвиц, Сьюзан Бет". Madison.com. Получено 2014-07-06.
  4. ^ С. Хорвиц, Т. Репс и Д. Бинкли (1988). «Межпроцедурная нарезка с использованием графиков зависимостей». PLDI '88 Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation. 23 (7): 35–46. CiteSeerX  10.1.1.698.7182. Дои:10.1145/53990.53994. S2CID  3820604.
  5. ^ Томас Репс, Сьюзан Хорвиц, Мули Сагив и Женевьева Розай (1994). «Ускорение нарезки». Материалы 2-го симпозиума ACM SIGSOFT по основам программной инженерии - SIGSOFT '94. SIGSOFT '94 Материалы 2-го Симпозиума ACM SIGSOFT по основам программной инженерии. 19. С. 11–20. Дои:10.1145/193173.195287. ISBN  978-0897916912. S2CID  2651251.CS1 maint: несколько имен: список авторов (связь)
  6. ^ Суан Йонг и Сьюзан Хорвиц (2005). «Использование статического анализа для уменьшения накладных расходов на динамический анализ». Формальные методы в системном дизайне. 27 (3): 313–34. CiteSeerX  10.1.1.61.9940. Дои:10.1007 / s10703-005-3401-0. S2CID  5733462.
  7. ^ Сьюзан Хорвиц, Томас Репс и Мули Сагив (1995). «Запрос межпроцедурного анализа потока данных». SIGSOFT '95 Материалы 3-го симпозиума ACM SIGSOFT по основам программной инженерии. 20 (4): 104–15. Дои:10.1145/222124.222146. S2CID  10920359.
  8. ^ Мули Сагив, Томас Репс и Сьюзан Хорвиц (1996). «Точный межпроцедурный анализ потока данных с приложениями для постоянного распространения». Теоретическая информатика. 167 (1–2): 131–70. Дои:10.1016/0304-3975(96)00072-2.
  9. ^ Университет Висконсин-Мэдисон (18 октября 2011 г.). «Программа L&S Honors награждает семь выдающихся преподавателей». Университет Висконсин-Мэдисон. Получено 29 марта, 2014.
  10. ^ Департамент компьютерных наук Университета Висконсина (29 марта 2014 г.). «Премия Департамента компьютерных наук». Департамент компьютерных наук Университета Висконсина. Получено 29 марта, 2014.