Faculty Advisors and
Their CSE 523/524 Projects
|
Leo
Bachmair, Computational logic; automated deduction; symbolic
computation. |
|
Hussein
Badr, Computer communication networks and protocols; performance
evaluation, modeling and analysis. [Projects] |
|
Michael
Bender, Algorithms; data structures; scheduling; cache and
I/O-efficient computing; parallel computing. |
|
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] |
|
Samir Das, Wireless networking
and mobile computing; performance evaluation; parallel discrete event
simulation. [Projects] |
|
Ahmad
Esmaili, Algorithms, information systems. |
|
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] |
|
George
Hart, Computational geometry; computer-aided geometric design;
algorithms and data structures; sculpture. [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. |
|
Bradley
Kuszmaul, Supercomputing; algorithm design to solve systems problems
in high-performance computing; wide-area multithreading. |
|
Annie Liu,
Programming languages and systems, program optimization, program analysis and
transformation, reactive systems, database systems, algorithm design. [Projects] |
|
Richard
McKenna, Computer science education; computer game programming;
Internet commerce programming |
|
Alexander
Mohr, Networking; multimedia. |
|
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. |
|
Shaunak
Pawagi, Analysis of algorithms; parallel computing. |
|
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] |
|
CR
Ramakrishnan, Logic programming; programming Languages; verification.
|
|
IV
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. |
|
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] |
|
Amanda
Stent, Spoken
and multimodal dialogue systems, natural language generation, theories of
discourse, information extraction. [Projects] |
|
Scott
Stoller, Distributed systems; fault-tolerance and security; software
testing and verification; program analysis and optimization. [Projects] |
|
David
Warren, Logic programming; database systems; knowledge representation;
natural language processing. |
|
M.
Alex O. Vasilescu, Computer Vision; Computer Graphics (Animation;
Image-based Rendering); Tensor (Multilinear)
Algebra; Physics-based Modeling; Machine Learning. |
|
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 and data mining; user interface and human computer
interaction; software engineering; Web technologies; wireless/mobile
application development. [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. |
|
Xiangmin
Jiao,
High-performance geometric and numerical computing; Efficient and robust
algorithms. |
|
Jerome Liang, Medical imaging; image processing. |
|
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. |
|
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. |