Compilers, software reliability, performance analysis, and computer architecture.

Design tools that better support designers in the early stages of interactive system design, tools and evaluation techniques for ubiquitous and context-aware computing, and mechanisms that help users better manage attention among applications that are competing for it.

Wide area networks and networked systems. Internet routing, measurement, and protocols. Simplifying management of distributed systems and networks through principles of self-organization and self-diagnosis, with an emphasis on next-generation Internet architectures.

Large-scale information access and data management, including databases, information integration, Internet information access, data mining, and ranked top-k query processing.

Artificial intelligence

Algorithms, data structures, and lower bounds; computational and discrete geometry.

Artificial intelligence, computer vision, machine learning.

Compilers, hardware and software interaction, computer architecture.

My interests are in high performance scientific computing, with particular emphasis on parallel computing. My major projects involve developing the message passing interface (MPI) and hierarchical numerical methods for the numerical solution of partial differential equations.

Software engineering, programming languages, and formal methods.

Knowledge discovery and data mining; database systems; data warehousing; information network analysis; spatiotemporal data analysis; stream data mining; Web, multimedia and biological data mining; and multidimensional data analysis.
 

Computer graphics and computational topology.

Numerical Analysis, Computational Geometry and Topology.

General visual scene understanding.

Object-oriented design, design patterns, frameworks, and software architectures.

Programming languages, software components, functional programming, domain-specific languages, educational technology.

Security, operating systems, experimental software systems, and virtual machines.

Alexandra Kolla’s research lies at the intersection of theoretical computer science and discrete mathematics, with a particular interest in the mathematical tools used to solve problems in graph theory, convex optimization, approximation algorithms, and complexity theory.

Robotics, motion planning, computational geometry, artificial intelligence, computational biology, computer vision, computer graphics, and control theory.

Software engineering and programming languages: improving software reliability, software testing, theorem proving, model checking, rich specification languages, compilers (correctness of program analyses and optimizations).

Networking and distributed systems

Compilers and parallel computing.

Artificial intelligence and theoretical computing.

Design, semantics and implementation of programming and specification languages; software engineering and formal methods; runtime verification and monitoring; automated reasoning, applications of logics, theorem proving, term rewriting; and algorithms, (co)algebra, category theory.

Algorithms and software tools for custom circuit synthesis and optimization, custom architectures for speech recognition

Gene regulation, Comparative Genomics, Sequence Analysis, Evolution.

Large scale parallel and distributed systems; parallel computer architecture; and parallel programming.

Algorithm design, automata theory, and logic with applications to algorithmic verification of systems.

Data-driven graphical methods, computer animation, mesh editing, image and video processing.