Faculty Research Areas and
CSE523/524 Projects
|
Leo Bachmair,
Computational logic; automated deduction; symbolic computation. |
|
Hussein Badr, Computer
communication networks and protocols; performance evaluation, modeling and
analysis. |
|
Michael Bender, Algorithms; data
structures; scheduling; cache and I/O-efficient computing; parallel
computing. |
|
Alexander Berg, Computer Vision
and related problems in other fields. |
|
Tamara Berg, Research straddling
the boundary between Computer Vision and Natural Language Processing. |
|
Tzi-cker Chiueh, Processor
architecture; parallel I/O; high-speed networks; compression. [Projects] |
|
Yejin Choi,
Statistical approaches and computational models for Natural Language
Processing and Computational Linguistics; Interdisciplinary research
connecting Natural Language Processing with Psycholinguistics,
Sociolinguistics, Psychology, and Cognitive Science. |
|
Rezaul Alam Chowdhury, Design and analysis of algorithms and data
structures for combinatorial problems; Computational Biology and
Bioinformatics; Experimental algorithmics. |
|
Samir Das,
Wireless networking and mobile computing; performance evaluation; parallel
discrete event simulation. [Projects] |
|
Ahmad Esmaili, Algorithms,
information systems. |
|
Paul Fodor, Knowledge
representation; logic programming; Natural Language Processing |
|
Jie Gao,
Wireless networking, sensor networks. |
|
Radu Grosu , Modeling and
analysis of reactive, hybrid and object oriented systems; model checking;
design automation for embedded systems; applied formal methods; software and
systems engineering. [Projects]
|
|
Xianfeng Gu, Computer graphics |
|
Himanshu Gupta,
Wireless networking, database systems, algorithms. [Projects] |
|
Rob Johnson, Computer security;
software security. [Project] |
|
Arie Kaufman, Computer graphics;
visualization; virtual reality; user interfaces; multimedia; computer
architecture. [Projects]
|
|
Rob Kelly, Medical Informatics, Information
systems; software engineering; electronic commerce; wireless software. [Projects] |
|
Michael Kifer, Database systems;
logic programming; knowledge representation; artificial intelligence. |
|
Ker-I Ko, Computational
complexity; theory of computation; computational learning theory. |
|
Annie Liu, Programming languages
and systems, program optimization, program analysis and transformation,
reactive systems, database systems, algorithm design. [Projects] |
|
Yanni Liu, Computer Networks;
Design and performance evaluation of resource management strategies in
computer networks and systems; Wireless networks; Computer network protocols;
Performance modeling and evaluation; Computer and network security;
Distributed systems; Database management. |
|
Richard McKenna, Computer science
education; computer game programming; Internet commerce programming |
|
Klaus Mueller, Visualization; volume
rendering; computer graphics; medical imaging; visual data mining. [Projects]
|
|
Luis Ortiz, Artificial
Intelligence and Machine Learning; computational game theory and economics. |
|
Donald Porter, Operating Systems, Concurrent
Programming, Security. [Projects] |
|
Hong Qin, Computer graphics;
geometric modeling and design; physics-based animation and simulation;
scientific computing and visualization; virtual environment; computer vision;
medical imaging; applied mathematics. [Projects] |
|
C.R. Ramakrishnan, Logic
programming; programming Languages; verification. |
|
I.V. Ramakrishnan, Computer
Architecture; algorithms; rewrite systems. |
|
Dimitris Samaras, Computer
vision; computer graphics; medical imaging; animation and simulation;
image-based rendering; physics-based modelling. |
|
Tony Scarlatos,
Multimedia; interface design; computer-based training; distance learning. |
|
Michael Schatz, Genomics, Genome
Assembly & Validation, Sequence Alignment, Metagenomics,
High Performance and Multicore Computing, Parallel
Algorithms, Cloud Computing. |
|
R. Sekar, Computer and network security;
software/distributed systems; programming languages; software engineering. [Projects]
|
|
Radu Sion, Information security;
relational databases; distributed systems |
|
Steve Skiena, Algorithms;
computational biology; discrete mathematics; computational geometry. [Projects] |
|
Scott Smolka, Model checking;
semantics of concurrency; CASE tools for safety-critical systems; distributed
languages and algorithms. [Projects]
|
|
Eugene Stark, Programming
language semantics; distributed algorithms; formal specifications;
verification; theory of concurrency. [Projects] |
|
Scott Stoller, Distributed systems;
fault-tolerance and security; software testing and verification; program
analysis and optimization. [Projects] |
|
Michael Tashbook,
Software engineering (specifically the application of formal methods);
computer science education; databases and privacy; biologically-inspired
computing. |
|
David Warren, Logic programming;
database systems; knowledge representation; natural language processing. |
|
Anita Wasilewska, Database mining;
bioinformatics: protein secondary structure prediction; knowledge discovery
in data bases; machine learning; uncertainty in expert systems; automated
theorem proving. |
|
Larry Wittie, Massively parallel
computation; computer architecture; simulation of memory and attention in
mammalian brains. [Projects]
|
|
Jennifer Wong, Wireless
distributed embedded systems; sensor networks, embedded systems and CAD. |
|
Erez Zadok, Operating systems;
storage and file systems; software portability; networking; security. [Projects] |
|
Rong Zhao, Information retrieval;
data mining; machine learning; medical informatics; software engineering; user
interfaces. [Projects]
|
|
Esther Arkin,
Operations research; computational geometry; algorithms and data structures. |
|
Susan
Brennan, Cognitive psychology;
psycholinguistics; human-computer interaction. |
|
David
Ferguson, Science, Technology, Engineering and
Mathematics Education, Problem Solving. Decision Making. |
|
Sangjin Hong, Low power and low complexity VLSI
design for multimedia wireless communications and digital signal processing
systems. |
|
Xiangmin Jiao,
High-performance geometric and numerical computing; Efficient and robust
algorithms. |
|
Joseph
Mitchell, Computational geometry; computer
graphics; algorithms and data structures; computer-aided (geometric) design
and manufacturing. |
|
Lori
Scarlatos, Educational applications employing
innovative techniques; physical computing; multi-modal input; collaborative
learning spaces. [Projects] |
|
Xin Wang,
Modeling and analysis of mobile, wireless, ad hoc and sensor networks;
Wireless communications and networking. |
|
Yuanyuan
Yang, Parallel and distributed computing systems; high speed
networks; multicast communication; optical networks; high performance
computer architecture; computer algortithms; fault
tolerant computing. |
|
Gregory
J. Zelinsky, Visual cognition (attention,
search, perception, and memory), with emphasis on the study of eye movements
in visual search, change detection, and working memory tasks. |
|
Wei Zhu,
Brain image analysis; design and analysis of clinical trials and other
biomedical studies, and genetics modeling. |