Contact Us

Computer Science

EN 4083

Dept. 3315

1000 E. University Ave.

Laramie, WY 82071

Phone: (307)766-5190

Email: cosc@cs.uwyo.edu

Find us on Instagram (Link opens a new window)Find us on Facebook (Link opens a new window)Find us on Twitter (Link opens a new window)Find us on LinkedIn (Link opens a new window)Find us on YouTube (Link opens a new window)

Research

Welcome to the Computer Science Department’s Research information page. You can find the areas of research our faculty members are pursuing currently.

If you would like to inquire about an opportunity to work within these areas of research, please reach out to the corresponding faculty member.

 

  • Artificial Intelligence: AI is a wide-ranging branch of computer science concerned with building smart machines capable of performing tasks that typically require human intelligence. It is the endeavor to replicate or simulate Human Intelligence in machines.
  • Computational Complexity: In computer science, the computational complexity or simply complexity of an algorithm is the amount of resources required to run it. Particular focus is given to time and memory requirements. The complexity of a problem is the complexity of the best algorithms that allow solving the problem.
  • Cybersecurity: Cybersecurity is the practice of protecting systems, networks, and programs from digital attacks. These cyberattacks are usually aimed at accessing, changing, or destroying sensitive information; extorting money from users; or interrupting normal business processes.
  • Empirical Algorithmics: In Computer Science, empirical algorithmics is the practice of using empirical methods to study the behavior of algorithms….in this process, an initial design of an algorithm is analyzed so that the algorithm may be developed in a stepwise manner.
  • Formal Methods and Theorem Proving: Computers and Theorem Proving. Formal verification involves the use of logical and computational methods to establish claims that are expressed in precise mathematical terms.... Automated theorem proving focuses on the “finding” aspect.
  • Human-Centered Computing and Human-Computer Interaction: Human–Computer Interaction (HCI) is the study of the way in which computer technology influences human work and activities.
  • Machine Learning: Machine learning is a method of data analysis that automates analytical model building. It is a branch of artificial intelligence based on the idea that systems can learn from data, identify patterns and make decisions with minimal human intervention.
  • 3D User Interfaces and Graphics: Three-dimensional user interface design is a critical component of any virtual environment (VE) application. ... We divide most user-interaction tasks into three categories: navigation, selection/manipulation, and system control.
  • Virtual Environments and Virtual Humans: Monitoring: Acquiring, interpreting, and understanding shape and motion data on human movement, performance, activities, or intent. Virtual Environments: Living and working in a virtual place for visualization, analysis, training, or just the experience.

Opportunity Links:


Outcomes:

Contact Us

Computer Science

EN 4083

Dept. 3315

1000 E. University Ave.

Laramie, WY 82071

Phone: (307)766-5190

Email: cosc@cs.uwyo.edu

Find us on Instagram (Link opens a new window)Find us on Facebook (Link opens a new window)Find us on Twitter (Link opens a new window)Find us on LinkedIn (Link opens a new window)Find us on YouTube (Link opens a new window)