Department of Computer Science

Valerie Barr, Adjunct Associate Professor
                               Research Areas:
  • Software verification and validation applied to intelligent systems
    (presently working on verification of natural language generation
  • Social and educational obstacles to participation of women in science

Srikrishnan Divakaran, Assistant Professor

                                Research Areas:
  • Design and analysis of online and approximation algorithms
  • Scheduling theory
  • Distributed systems