For a better experience, click the Compatibility Mode icon above to turn off Compatibility Mode, which is only for viewing older websites.

Computer Science Research

Computer Science at CCI explores the design and implementation of computer software and hardware, with a focus on theoretical and mathematical foundations of computing along with applications to real-world domains. Our Computer Science faculty actively engage in research across a variety of major areas of the discipline spanning both theory and applications.

Research Areas and Associated Faculty

Faculty and Research Interests

  • David Augenblick: Introductory and object-oriented programming, data structures and database systems, computer application project management, applications to engineering
  • M. Brian Blake: Software engineering approaches for integration of Web-based systems
  • Mark Boady: Computer algebra, data structures, computations theory, automatic grading, using gaming in education
  • David E. Breen: Computer-aided design, geometric modeling, biomedical image informatics, self-organization and biological simulation
  • Matthew Burlick: Machine learning, computer graphics, data structures and algorithms, discrete structures, computer vision; multi-sensor, multi-model fusion; computer vision and biomedical imaging; unsupervised dynamic class discovery; spatio-temporal tracking and classification
  • Yuanfang Cai: Formal software design modeling and analysis, software economics, software evolution and modularity
  • Bruce Char: Symbolic mathematical computation, algorithms and systems for computer algebra, parallel and distributed computation, computer science education, use of computing for STEM education.
  • Christopher Geib: Decision making and reasoning under conditions of uncertainty, planning, scheduling, constraint-based reasoning, human-computer and robot interaction, probabilistic reasoning, network security, process control, user interfaces
  • Vasilis Gkatzelis: Algorithmic Mechanism Design, Multiagent Resource Allocation, Approximation Algorithms
  • Colin Gordon: Programming languages and formal methods; type systems and program verification for concurrent programs
  • Rachel Greenstadt: Artificial intelligence, privacy, security, multi-agent systems, economics of electronic privacy and information security
  • Jeremy Johnson: Computer algebra, design and analysis of algorithms, programming languages and compilers, automated performance tuning, algorithms for DSP, parallel processing, and high-performance computing
  • Constantine Katsinis: Computer Security, network security, parallel computer architectures, mobile computing, information assurance, fault tolerant systems, image processing and pattern recognition
  • Geoffrey Mainland: High-level programming languages and runtime support for non-general purpose computation
  • Spiros Mancoridis: Software engineering, software security, code analysis, evolutionary computation
  • Adelaida Alban Medlock: Introductory programming, computer science education
  • William Mongan: Service-oriented architectures, program comprehension, reverse engineering, software engineering, computer architecture, computer science education
  • Gaurav Naik: Computer network security, Internet architectures and services
  • Ko Nishino: Computer vision, computer graphics, analysis and synthesis of visual appearance
  • Krzysztof Nowak: Fourier analysis, partial differential equations, image processing, wavelets, asymptotic distribution of eigenvalues, numerical methods and algorithms, computer science education
  • Santiago Ontañón: Game AI, computer games, artificial intelligence, machine learning, case-based reasoning
  • Jeffrey Popyack: Operations research, stochastic optimization, computational methods for Markov decisions processes, artificial intelligence, computer science education
  • William Regli: Artificial intelligence, computer graphics, engineering design and Internet computing
  • Jeffrey Salvage: Object-oriented programming, multi-agent systems, software engineering, database theory, introductory programming, data structures
  • Dario Salvucci: Cognitive science, cognitive architectures, human-computer interaction, human factors, multitasking and interruptions, applications to driving and driver distraction
  • Kurt Schmidt: Data structures, math foundation for computer science, programming tools, programming languages
  • Ali Shokoufandeh: Theory of algorithms, graph theory, combinatorial optimization, computer vision
  • Erin Solovey: Human-computer interaction, brain-computer interfaces, tangible interaction, machine learning, human interaction with complex and autonomous systems
  • Julia Stoyanovich: Data and knowledge management, software development, database management, data-intensive workflow, social context search and ranking, information discovery
  • Brian Stuart: Machine learning, networking, robotics, image processing, data storage, operating systems, data communications, distributed/operating systems, accelerated computer programming, computer graphics
  • Filippos Vokolos: System architecture, software engineering, principles of software design and construction, software verification & validation, programming languages, dependable software systems