The primary focus of research in this lab is the development of new, efficient and scalable computational techniques for 3D graphics and more generally for computing with visuals. More about 3D-Graphics.
Research in this area involves the design, evaluation, and implementation of algorithms, databases and systems in bioinformatics, including ontologies and the semantic web, user interfaces for bioinformatics tools and systems. More about Bioinformatics.
ConCoCO's immediate research agenda revolves around branching rules in combinatorial optimization and computing Van der Waerden numbers. More about ConCoCO.
The lab is interested in all aspects of Natural Language Processing: from theoretical research of linguistic phenomena such as coreference to the development of specific applications such as automatic summarizers or question-answering systems. More about CLaC.
The current areas of focus in database research are on modeling, languages, query processing and optimization and include, in random order, Semi-structured Data and XML, Data Warehousing, OLAP, and Data Mining, Logic Programming and Deductive Databases, Semantic Web, Digital Libraries, and much more. More about the Database Research Group.
The DSRG engages in theoretical and applied research in the areas of Software Engineering and Formal Methods - in particular, Software Requirements, Model Driven Design (MDD) and Module/Behavioral Interface Specification. More about the DSRG.
This multidisciplinary area of research involves researchers from computer science, psychology, communication and art. Major investigations include agent technology, cognitive and modeling; user interfaces design, user-centered development of interactive systems; user-oriented tests, usability evaluation; software and information visualization techniques. More about HCSE research.
The Large Scale Optimization Systems Laboratory focuses on optimization techniques aiming at solving large scale systems with operations research techniques (e.g., metaheuristics and decomposition techniques) arising in different engineering areas such as communication networks (e.g., network design, network provisioning, optical grid dimensioning) and industrial engineering (staff scheduling, train scheduling, reasoning under uncertainty in expert systems, clustering or data mining, optimization of multi-agent systems). More about Large Scale Optimization Systems.
Research in this area includes algebraic and combinatorial computing, coding theory, computational algebra and computational number theory, combinatorial optimization, computational geometry, computational group theory, computer graphics, cryptography, numerical and nonlinear analysis, mathematical modeling, scientific and information visualization, visual computing, virtual environments. More about Mathematical Computing and Visualization.
This broad area of research has several subgroups of people working as research teams in areas such as: algorithms for parallel computing, wireless and distributed computing, protocols for secure multicasting and QoS signaling, network resiliency, distributed agent based architectures for fault tolerance and performance enhancement, pattern based parallel programming, predicate detection and slicing of distributed programs, object oriented parallel programming systems. More about Parallel and Distributed Computer Systems.
Both formal, empirical and practical software engineering research is currently going on in the following areas: requirements engineering, analysis, formal methods; object-oriented reusable software, software design patterns and architectures; software maintenance, comprehension and visualization; software measurement; software usability engineering, human factors in software development, developer-centric CASE tools, empirical studies; specification, verification and testing; reactive systems. More about Software Engineering research.
The group investigates problems with the object-oriented and aspect-oriented programs. More about this Reaserch Group.