Programming Languages and Software Engineering

Improve existing software. Create technologies that make everyday life better. Use computer science, and smartphones to capture more data from citizen scientists. Software is everywhere: interfaces to make daily work more manageable on mobile devices, deliver medicine to cancer patients, and help airports run smoothly.

We develop computer science education software, citizen science software in the natural environment, and software synthesis and verification. Our research also focuses on communication for software engineers.

"The availability of smartphones make collection and sharing data easier, faster, and more accurate."Robert Pastel, associate professor, computer science

Current Projects

Project Title: GIS App Development

Investigators: Robert Pastel, Don LaFreniere (Social Sciences)

Overview: Geographic Information Systems (GIS) has launched new era in mapping and map making. This project uses both commercial (esri) and open source GIS to develop web apps.

Project Title: Offline Web App Implementation

Investigator: Robert Pastel

Overview: Cloud computing is pervasive, but few tools and examples exist for working offline. This project develops offline web apps and tools for developing apps.

Project Title: Citizen Science App Development

Investigator: Robert Pastel

Overview: Citizen scientist are varied group, making design and development of citizen science apps a challenge. This project develops citizen science app for sponsoring scientists and non-profit organizations.


  • Associate Professor, Computer Science

Area of Expertise

  • Software Engineering
  • Automated Analysis of Fault-Tolerance
  • Formal Methods
  • Professor, Computer Science

Area of Expertise

  • Software Measurement
  • Software Processes
  • Software Engineering Education
  • Women in Computing
  • Retention in Undergraduate CS Education
  • Associate Professor, Computer Science
  • Affiliated Associate Professor, Cognitive and Learning Sciences
  • Faculty Advisor, Humane Interface Design Enterprise

Links of Interest

Area of Expertise

  • Mobile App Design and Usability
  • Software Development and Processes
  • Computer Science Education
Charles Wallace
"The first principle is that you must not fool yourself — and you are the easiest person to fool."
—Richard Feynman
  • Professor, Computer Science
  • Associate Dean for Curriculum & Instruction, College of Computing
  • Affiliated Associate Professor, Cognitive and Learning Sciences

Links of Interest

Areas of Expertise

  • software usability & accessibility
  • gerontechnology
  • smart & connected communities
  • communication in software development
  • agile development methods
  • applied formal methods
  • computing ethics
  • sustainable computing
  • computer science & software engineering education
  • Professor and Chair, Computer Science

Links of Interest

Area of Expertise

  • Optimizing Compilers
  • High Performance Architectures
  • Cloud Computing
  • Virtualization

Explore Computer Science Research