By storing ‘sketches’ of data, computer scientists seek to transform urban systems
Unraveling Genetics
Interdisciplinary team awarded for research on splicing of gene products
Dr. Jack Cochran Family Professorship
Associate Professor Sangmi Pallickara awarded inaugural College of Natural Sciences Professorship
Connecting the Dots
Computer scientist Sangmi Pallickara making sense of big data

At the Department of Computer Science at Colorado State University, research is a team effort. Our faculty and students participate in an exciting interdisciplinary research community and propel the national and international reputation of our laboratories and centers. Partnering with domestic and international universities, industry, and government, we find cures for diseases, build robots, secure networks, create adaptive technologies, protect your information and privacy, prepare for natural disasters, develop cyber and defense tools, design smart cities, and much more. Come help us conquer these important global challenges.

RESEARCH AREAS

photo of man wearing virtual reality equipment

ARTIFICIAL INTELLIGENCE: Genetic and evolutionary algorithms, reinforcement learning, neural networks, machine learning, multimodal data, deep learning, planning and evaluation, robotics.

Participating Faculty: Charles Anderson, Asa Ben-Hur, Ross Beveridge, Nate Blanchard, Hamidreza Chitsaz, Bruce Draper, Darrell Whitley

colored graphic of a network

COMPUTER NETWORKS: Trusted/secure computing and network modeling, distributed systems and protocols, network security and measurements, immersive systems, fault tolerance, high-performance packet processing.

Participating Faculty: Christos Papadopoulos, Indrajit Ray, Indrakshi Ray

photo of computer code with the word "virus" imposed

DATA SECURITY AND PRIVACY: Data privacy and anonymity, secure data streams, secure clouds, access control, trust models and trust management, information flow models, security protocols, security analysis, human factors in security, attack modeling, security risk management, vulnerabilities, quantitative methods, Web security, malware analysis.

Participating Faculty: Yashwant Malaiya, Indrajit Ray, Indrakshi Ray

photo of a computer screen with code

SOFTWARE ENGINEERING: Formal methods, verification, synthesis and control, cyber-physical systems, requirements analysis, software architecture and design, process evaluation, software testing and reliability, software maintenance and evolution, program comprehension, object-oriented techniques, modeling all aspects of software development.

Participating Faculty: Sudipto Ghosh, Yashwant Malaiya, Laura Moreno, Vinayak Prabhu, Indrakshi Ray

colored data visualization

BIG DATA: Analytics, high-throughput storage and retrieval, time-series data, metadata, provenance, and visualization.

Participating Faculty: Sangmi Pallickara

picture of a supercomputer

HIGH PERFORMANCE COMPUTING: Parallel computing, optimizing compilers, distributed systems, static and dynamic program analysis, polyhedral model/compilation, domain-specific languages, platform-specific code optimization for current and next-generation target platforms: accelerators, GPUs, FPGAs, heterogeneous SoCs, multi-core CPUs, supercomputers.

Participating Faculty: Wim Bohm, Shrideep Pallickara, Louis-Noel Pouchet, Sanjay Rajopadhye

picture of computer vision graphic

COMPUTER VISION AND GRAPHICS: Semantic object recognition, modeling the human expert recognition pathway, embedded real-time computer vision, 3D model-based object recognition, and adaptive object recognition.

Participating Faculty: Ross Beveridge, Nate Blanchard, Bruce Draper

DISTRIBUTED SYSTEMS: Cloud computing, real-time stream processing, virtualization, content dissemination systems, MapReduce, large-scale topologies, and scalable storage systems.

Participating Faculty: Sangmi Pallickara, Shrideep Pallickara

picture of dna

BIOINFORMATICS: Protein bioinformatics: prediction of protein function and interactions, alternative splicing, applications of kernel methods in bioinformatics. Algorithms for computational problems in genomics and transcriptomics, genome sequencing and resequencing, detection of transcription regulatory elements.

Participating Faculty: Asa Ben-Hur, Hamidreza Chitsaz

graph diagram

ALGORITHMS, THEORY AND LOGIC: Automata theory, logic, graph-theoretic algorithms, combinatorial algorithms, text algorithms, certificates of correctness, combinatorial optimization.

Participating Faculty: Hamidreza Chitsaz, Ross McConnell, Vinayak Prabhu

RESOURCES

Back to top of page