School of Engineering
Showing 11-20 of 655 Results
-
Alex Aiken
Alcatel-Lucent Professor in Communications and Networking and Professor of Particle Physics and Astrophysics and of Photon Science
BioAiken's research focuses on developing techniques for the construction of reliable software systems. His interests include both static and dynamic methods of analyzing programs, and span both detecting errors and verifying the absence of errors in software. Most of his research combines a theoretical component (for example, proving the soundness of an analysis technique) and a practical component, which often involves the implementation and measurement of advanced program analysis algorithms. Finally, his research also extends to the design of new programming languages and programming techniques in which it is easier to write software that can be checked for a wide variety of errors.
-
Russ B. Altman
Kenneth Fong Professor and Professor of Bioengineering, of Genetics, of Medicine (General Medical Discipline), of Biomedical Data Science and, by courtesy, of Computer Science
Current Research and Scholarly InterestsI refer you to my web page for detailed list of interests, projects and publications. In addition to pressing the link here, you can search "Russ Altman" on http://www.google.com/
