✳flâneur — a map of the web's best reading

Jonathan Aldrich - Home

cs.cmu.edu · 1,084 words · saved by 1 readers

jonathan.aldrich@cs.cmu.edu http://www.cs.cmu.edu/~aldrich/ +1-412-268-7278 (phone) +1-412-268-2338 (fax) personal contact info and cell phone (CMU only) Jonathan Aldrich CMU - ISR - TCS Hall 430 4665 Forbes Avenue Pittsburgh, PA 15213 Linda Campbell lv2c at cs dot cmu dot edu I work at the intersection of programming languages and software engineering. My research explores how the way we express software affects our ability to engineer software at scale. A particular theme of much of my work is improving software quality and programmer productivity through better ways to express structural and behavioral aspects of software design within source code. I have contributed to object-oriented typestate checking, modular and gradual verification techniques for aspects and stateful programs, and new object-oriented language models. For my work specifying and verifying architecture, I received a 2006 NSF CAREER award and the 2007 Dahl-Nygaard Junior Prize (press release, article). I have info

Jonathan Aldrich - Home Jonathan Aldrich Home Research --> Publications Teaching Talks Software Students Teaching --> Jonathan Aldrich Professor Software and Societal Systems Department and Computer Science Department School of Computer Science Carnegie Mellon University Office: 422 TCS Hall On Mondays: 300 S. Craig room 267 Contact Information jonathan.aldrich@cs.cmu.edu http://www.cs.cmu.edu/~aldrich/ +1-412-268-7278 (phone) +1-412-268-2338 (fax) personal contact info and cell phone (CMU only) Follow @JAldrichPL ORCID iD 0000-0003-0631-5591 Shipping Address Jonathan Aldrich CMU - ISR - TCS H

Explore this link on the map →

related reading