Workspaces ---- aftrust aftrustfaculty divboard diversity eab eduboard education euus execboard financial gig government health healthcare hsn hsnfaculty hsnresearch hsnucb iab iacb icast icastucb idtheft industry knowledgetransfer languages netdefenses patientmonitor physical policy reu scada securit securit2007 sensornets sensorprivacy sitevisit superb superb2008 superbstaff telecomitalia trust trustadmin trustblog trustfaculty trustlocal trustnews trustseminar truststaff trustworthy university wise wise2006 wise2007

Trust Member Directory Search for ...    in Email Full Name Last Name Username Dawson Engler     Stanford University Username: engler (To view user contact information, please log in.) Home page: http://www.stanford.edu/~engler/ Bio: Dawson Engler is an associate professor of Electrical Engineering and Computer Science at Stanford University. He received his Ph.D. from MIT and his B.S. from the University of Arizona. Dr. Engler's research focuses on automated methods for finding errors program source code. He is known for the development of metacompilation -- the application of high-level programmer-written static checkers to find semantic rule violations -- and for techniques to scale the application of formal model checking to large software systems. Group memberships

You are not logged in

© 2005-2010 Trust