Faculty Expertise Guide - College of Engineering - Virginia Tech
Faculty Expertise Guide - College of Engineering - Virginia Tech
Faculty Expertise Guide - College of Engineering - Virginia Tech
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>College</strong> <strong>of</strong> engineering faCulty expertise listing 2010-2012<br />
SOFTWARE ENGINEERING<br />
Name: Barbara G. Ryder<br />
Department: Computer Science<br />
Office Phone: 540-231-8452<br />
FAX: 540-231-4240<br />
E-mail: ryder@cs.vt.edu<br />
URL: http://people.cs.vt.edu/~ryder<br />
Specialty: Program Analysis, Testing, Programming Languages<br />
and Compilers, S<strong>of</strong>tware Maintenance, Debugging, Object-<br />
Oriented Languages and Systems<br />
Applications: Tool support for s<strong>of</strong>tware developers to estimate the<br />
impact <strong>of</strong> changes to a codebase during team development,<br />
i.e., to allow early check-in <strong>of</strong> changes; analyses enabling performance<br />
diagnosis for framework-based s<strong>of</strong>tware systems,<br />
especially Web applications; testing and validating exception<br />
handling in large object-oriented codes<br />
<strong>Expertise</strong>: Static and dynamic program analyses; pointer/reference<br />
and side-effect analyses, especially for object-oriented<br />
systems; blended static/dynamic analysis to identify object<br />
churn<br />
Examples <strong>of</strong> Funding Sources: National Science Foundation,<br />
IBM Research, HP Labs<br />
SOFTWARE SYNTHESIS<br />
see Computer <strong>Engineering</strong>, Shukla<br />
SOFTWARE SYSTEMS<br />
Name: Dennis Kafura<br />
Department: Computer Science<br />
Office Phone: 540-231-5568<br />
FAX: 540-231-6075<br />
E-mail: kafura@vt.edu<br />
URL: www.cs.vt.edu/~kafura/<br />
Specialty: Computer Security, Distributed Systems, Object-Oriented<br />
S<strong>of</strong>tware, Concurrent Programming, S<strong>of</strong>tware <strong>Engineering</strong><br />
Applications: Secure collaboration in computational grids across<br />
organizational boundaries; active-object models <strong>of</strong> computation;<br />
object-oriented protocol implementations; synchronization<br />
mechanisms in object-oriented systems; definition and validation<br />
<strong>of</strong> s<strong>of</strong>tware metrics<br />
<strong>Expertise</strong>: Authentication and authorization in distributed computing<br />
environments; privilege management models; grid computing;<br />
access control enforcement mechanisms; object-oriented<br />
languages and systems<br />
Examples <strong>of</strong> Funding Sources: National Science Foundation,<br />
Fermi National Labs, Commonwealth Information Security<br />
Center, IBM Shared University Research<br />
SOIL<br />
see Geotechnical <strong>Engineering</strong>, Mitchell<br />
SOLAR AND RENEWABLES<br />
see Energy, Rahman<br />
SOLID MECHANICS<br />
see Mechanics <strong>of</strong> Materials, Dowling<br />
SPACE<br />
see Atmospheric and Radio Science, W. Scales<br />
SPACECRAFT DYNAMICS AND CONTROL<br />
see Aerospace, Hall<br />
SPACE EXPLORATION<br />
see Materials, Logan<br />
101