Susan B. Horwitz - Susan B. Horwitz

Susan Beth Horwitz (6. ledna 1955 - 11. června 2014) byl Američan počítačový vědec známý pro její výzkum na programovací jazyky a softwarové inženýrství, a zejména na krájení programů a analýzu toku dat. V rámci ocenění měla několik ocenění za nejlepší papír a cenu dopadového papíru.

Byla oceněnou učitelkou na její instituci a byla zakladatelkou Peer Led Team Learning for Computer Science (PLTLCS), kde vytvořila program Wisconsin Emerging Scholars-Computer Science (WES-CS). Vedla Grant NSF ITWF 0420343, což byla spolupráce mezi osmi školami provádějícími PLTLCS, včetně University of Wisconsin – Madison s Horwitz, Duke University, Georgia Tech, Rutgers University, University of Wisconsin v Milwaukee, Purdue University, Beloit College a Loyola College. Publikovali příspěvek v roce 2009^[1] který ukázal, že aktivní nábor v kombinaci s týmovým učením vedeným vrstevníky je efektivním přístupem k přilákání a udržení nedostatečně zastoupených studentů v úvodní hodině výpočetní techniky. Ona byla také známá pro její vedení v oblasti výpočetní techniky na středních školách. Od roku 1987 do roku 1997 byla deset let členkou výboru pro vývoj počítačových testů Advanced Placement Computer Science, včetně pětiletého předsednictví výboru v letech 1992 až 1997, kdy se programovací jazyk zkoušky změnil z Pascal na C ++ .^{[Citace je zapotřebí ]}

Životopis

Horwitz obdržel A.B. magna cum laude in Etnomuzikologie z Wesleyan University v roce 1977, a SLEČNA. v Počítačová věda z Cornell University v roce 1982 a Ph.D v Počítačová věda z Cornell University v roce 1985. Nastoupila na Katedru informatiky na University of Wisconsin v Madisonu jako odborná asistentka v roce 1985. V roce 1991 byla povýšena na docentku a v roce 1996 na profesorku. V letech 2004 až 2007 byla docentkou. V roce 2014 se stala emeritní profesorkou.^[2]

Smrt

Horwitz zemřel 11. června 2014 ve věku 59 let od rakovina žaludku.^[3]

Ocenění

Horwitz získal několik ocenění za nejlepší papír:

• Její příspěvek z roku 1988 „Interprocedural slicing using dependency graphs“ (s T. Reps a D. Binkley) byl vybrán jako jeden z 50 nejlepších příspěvků, které se objevily na konferenci ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) v období 1979– 99.^[4]
• V roce 2011 získala cenu ACM SIGSOFT Retrospective Impact Paper Award (spolu s T. Reps, M. Sagivem a G. Rosayem) za referát „Urýchlení krájení“, který se objevil na sympoziu SIGSOFT o základech softwarového inženýrství (FSE). v roce 1994.^[5]
• Její práce „Redukce režie dynamické analýzy“ (se S. Yongem) v roce 2002 na druhém semináři o ověřování za běhu byla vybrána jako jedna z nejlepších prací na semináři a byla pozvána k předložení do zvláštního čísla časopisu Formální metody v Návrh systému.^[6]
• Její příspěvek „Demand interprocedural dataflow analysis“ (s Thomasem Repsem a Mooly Sagivem) v SIGSOFTu '95 byl vybrán jako jeden z nejlepších příspěvků na konferenci pozvaném k předložení do ACM Transaction on Software Engineering and Methodology.^[7]
• Její příspěvek „Přesná meziprocedurální analýza toku dat s aplikacemi pro konstantní šíření“ (M. Saviv a T. Reps) v TAPSOFT '95 byl vybrán jako jeden z nejlepších příspěvků na konferenci a vyzván k předložení do Teoretické informatiky.^[8]

Horwitz má ve Wisconsinu několik ocenění:

• Cena fakulty University of Wisconsin College of Letters and Science Distinguished Honours, 2011^[9]
• Oddělení počítačových věd University of Wisconsin, Carolyn Rosner, cena vynikajícího pedagoga, 1997^[10]
• University of Wisconsin William H. Kiekhofer Excellence in Teaching Award, 1993
• University of Wisconsin College of Letters and Sciences Teaching Excellence Award, 1992

Reference