Faculty

Program Analysis, Type Systems, Models for Concurrency, Program Transformations.

Parallel and distributed systems, scheduling, digital libraries/WWW applications, client/server computing, cluster computing, object-oriented software.

Computer Security, Modular Program Analysis, Program Transformation, Type Systems, Software Model-checking.

Computer architecture, computer-aided design, digital systems design, microcomputer applications.

Artificial Intelligence, Machine Learning, Data Mining, Information Visualization, Information Integration, Ontologies, Semantic Web and Bioinformatics.

Multiagent Systems, Cooperative Robotics, Design and Synthesis of Multiagent Systems, Adaptive Organization-based Systems.

Software engineering methodologies, software physics, validation techniques, AI techniques in software development, software measures, expert systems, software testing.

Software engineering (design process, UML models and tools, model driven design, usability and visual models).

Software model checking, software architectures, foundations of model-driven for component middleware frameworks, static and dynamic analysis of programs, program slicing, partial evaluation and program specialization, and program logics.

Design and analysis of algorithms, computational complexity, parallel and distributed computing, Petri nets, real-time scheduling.

Data mining and knowledge discovery, machine learning, artificial intelligence, knowledge-based software engineering.

Operating systems, distributed systems, synchronization, and embedded systems.

Distributed systems, computer networks, operating systems, computational science and engineering.

Computer and information security, with a focus on applying formal, logic-based techniques in solving real-world security problems.

Software verification, specification, analysis, transformation, specialization, model-driven software development.

Static analysis, abstract interpretation, denotational semantics. University Distinguished Professor.

Operating systems, distributed systems.

Programming language semantics, functional programming, tools for teaching formal language theory.

Databases, programming languages, computer science instruction, concurrency, office automation.

Computer architecture, microprocessors, instrumentation.

Operating systems, computer networks, concurrent programming languages, concurrent program abstraction, knowledge engineering.

Parallel and distributed computing theory, neural networks, mathematical foundations of databases, artificial intelligence.