North­eastern Uni­ver­sity pro­fessor Mitchell Wand of the Col­lege of Com­puter and Infor­ma­tion Sci­ence has been announced as a 2007 Asso­ci­a­tion for Com­puting Machinery (ACM) Fellow. Pro­fessor Wand was rec­og­nized with the pres­ti­gious award for his con­tri­bu­tions to type theory and pro­gram analysis.

I am hon­ored to be rec­og­nized in this way,” said Wand. “Pro­gram­ming lan­guages are the most fun­da­mental tool in com­puter sci­ence, and I am happy to think that my work has made it easier for pro­gram­mers to write better soft­ware. It is also a recog­ni­tion of the extra­or­di­nary team we have at Northeastern.”

Cre­ated in 1993, the ACM Fel­lows Pro­gram rec­og­nizes and honors out­standing ACM mem­bers for their achieve­ments in com­puter sci­ence and infor­ma­tion tech­nology. A small group of ACM Fel­lows are chosen each year to serve as dis­tin­guished col­leagues to whom the ACM and its mem­bers look for guid­ance and lead­er­ship as the world of infor­ma­tion tech­nology evolves. Wand, an ACM member since 1967, is one of 37 Fel­lows chosen this year.

Hehas been a member of the Col­lege of Com­puter Sci­ence fac­ulty since 1985. His career has been striking for the breadth of his work, which has included impor­tant results ranging over math­e­mat­ical the­o­ries of lan­guage seman­tics, models of par­al­lelism and con­cur­rency, and lan­guage design. In one of his impor­tant papers, Wand showed how advanced type theory could be applied to object-​​oriented languages.

He sub­se­quently co-​​led a team that pro­duced one of the first com­pletely ver­i­fied imple­men­ta­tions of a pro­gram­ming lan­guage — a topic that has recently enjoyed resur­gence due to renewed interest in securing crit­ical soft­ware infra­struc­ture against cyber attack.

Wand has also been a leader in com­puter pro­gram­ming edu­ca­tion. Essen­tials of Pro­gram­ming Lan­guages, the text­book he co-​​authored with his long-​​time friend and col­league, Pro­fessor Dan Friedman of Indiana Uni­ver­sity, has caused a rad­ical shift in the way the topic is taught. The text is now entering its third edition.

The ACM will for­mally rec­og­nize Wand and the 2007 Fel­lows at its annual Awards Ban­quet on June 21, 2008, in San Fran­cisco, CA.

The ACM, the prin­cipal aca­d­emic orga­ni­za­tion for the com­puting field world­wide, was estab­lished in 1947 with the cre­ation of the first stored-​​program dig­ital computer.

For more infor­ma­tion on Pro­fessor Wand’s research, please con­tact Samantha Fodrowski at 617–373-5427 or at s.​fodrowski@​neu.​edu.

About North­eastern

Founded in 1898, North­eastern Uni­ver­sity is a pri­vate research uni­ver­sity located in the heart of Boston. North­eastern is a leader in inter­dis­ci­pli­nary research, urban engage­ment, and the inte­gra­tion of class­room learning with real-​​world expe­ri­ence. The university’s dis­tinc­tive coop­er­a­tive edu­ca­tion pro­gram, where stu­dents alter­nate semes­ters of full-​​time study with semes­ters of paid work in fields rel­e­vant to their pro­fes­sional inter­ests and major, is one of the largest and most inno­v­a­tive in the world. The Uni­ver­sity offers a com­pre­hen­sive range of under­grad­uate and grad­uate pro­grams leading to degrees through the doc­torate in six under­grad­uate col­leges, eight grad­uate schools, and two part-​​time divi­sions. For more infor­ma­tion, please visit www​.north​eastern​.edu.