16.01.2013 Views

Faculty Expertise Guide - College of Engineering - Virginia Tech

Faculty Expertise Guide - College of Engineering - Virginia Tech

Faculty Expertise Guide - College of Engineering - Virginia Tech

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!