Computer Science

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 pervases, 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.


Researchers

Ali Ebnenasir

  • Associate Professor, Computer Science

Area of Expertise

  • Software Engineering
  • Automated Analysis of Fault-Tolerance
  • Formal Methods

Linda Ott

  • Professor, Computer Science

Area of Expertise

  • Software Measurement
  • Software Processes
  • Software Engineering Education
  • Women in Computing
  • Retention in Undergraduate CS Education

Robert Pastel

  • 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

  • Associate Professor, Computer Science

Areas of Expertise

  • Software Requirements
  • Human-Centered Computing
  • Communication in Software Development
  • Formal Methods
  • Software Engineering Education
  • Agile Development Methods
  • Cyberlearning

Zhenlin Wang

  • Interim Department Chair, Computer Science
  • Professor, Computer Science

Links of Interest

Area of Expertise

  • Optimizing Compilers
  • High Performance Architectures
  • Cloud Computing

Explore Computer Science Research