Lenore Blum, a foundational researcher in computer science at CMU and a tireless advocate for women in math and science, has been elected to the American Academy of Arts & Sciences. Lenore Blum, a ...

I am an interaction designer and researcher with a joint appointment as an Associate Professor at the Human-Computer Interaction Institute and at the School of Design. Currently I am on sabbatical ...

Moving a tube with electrostatic forces [.avi] Early demonstration of electrostatic forces moving a hand-made tube. (2008) (4MB) Examining a stress-induced sphere made by AFRL [.avi] Courtesy Rob Reid ...

Pancreatic cancer is a hideous disease; I am doing everything possible to raise awareness and research funding. You can support research into curing pancreatic cancer via the Lustgarten foundation, ...

(/) areas/ AI Software Packages doc/ Documentation relating to FTP Repositories. lang/ AI Programming Languages util/ Compression/Archiving Software See Also: readme ...

SEPA readings are from Pressman, Software Engineering: A Practitioner's Approach. They are optional (since the text is optional), but may be a useful supplement to the lectures. Other (non-SEPA) ...

Two papers discussing Triangle are available. The first one is primarily concerned with the Triangle software, data structures, and implementation details. The second one is solely concerned with the ...

Currently, the executables and source code for the MeshToolbox are not publicly available for downloading. If you would like access to the software for research purposes, please send email to me ...

Model Checking is the process of determining whether or not a system model satisfies (is a model of) a property describing desired behavior of the system. Mathematically, system models take the form ...

[with B. Barak, O. Goldreich, R. Impagliazzo, A. Sahai, S. Vadhan, K. Yang] ...

As of 2014, I am a software consultant for Duke University on the AWARE Gigapixel Camera, living and working in Pittsburgh. Prior to that I worked for GigaPan. In the naughts I worked for Google and ...

MOSCOW - The struggling nation of Russia took a major step toward getting out of debt and achieving financial independence Monday, when it became an official Amway distibutor. "I can't express how ...