software design group

Mana Taghdiri was a PhD candidate in Software Design Group, working under the supervision of Prof. Daniel Jackson. She received her B.Sc. in Computer Science from Sharif University of Technology in Iran (2001) and her M.S. at MIT (2002). She received her doctoral degree from MIT in 2007.

She developed a scalable method to check programs against user-provided properties, especially structural properties about the configuration of the heap, without requiring specifications to be written by hand. She now works at MathWorks, the developers of Matlab.

email: taghdiri@mit.edu
url: http://www.mit.edu/~taghdiri/