Lori Clarke Professor and Department Chair, Computer Science Disciplines Chemistry Research Interests Software verification, testing, and analysis; software architecture and desig