CS Core Faculty and Their CSE523/524 Projects
Leo Bachmair, Computational
logic; automated deduction; symbolic computation. |
Aruna Balasubramanian, Systems; mobile computing; web performance;
networking. [Projects] |
Niranjan Balasubramanian, Natural language processing; information
retrieval. |
Ritwik Banerjee, Natural Language Processing (NLP), Computational Linguistics,
Information Extraction |
Michael Bender, Algorithms; data
structures; scheduling; cache and I/O-efficient computing; parallel computing.
|
Xiaojun Bi,
Human Computer Interaction, Mobile Computing, Interactive Systems,
Interaction Techniques, Theoretical Issues of UI Design. |
Barbara
Chapman, Compiler Technology, Parallel Programming Languages,
Tool Support for Application Development, Parallel Computing and
High-Performance Computing, Computational Grids |
Jing Chen, Computational Game Theory, Mechanism Design, Auctions,
Markets, Computational Complexity. |
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. |
Michael Ferdman, Computer architecture, with particular emphasis on the design of
efficient server systems |
Paul Fodor, Database
systems, artificial intelligence, semantic Web, natural language processing [Projects] |
Anshul Gandhi, Performance modeling for distributed systems. [Projects] |
Jie Gao, Wireless networking,
sensor networks. |
Xianfeng Gu, Computational
Conformal Geometry, Computer Graphics, Visualization, Computer Vision,
Geometric Modeling, Networking, Medical Imaging, Digital Geometry Processing. |
Himanshu Gupta, Wireless
networking, database systems, algorithms. |
Nima Honarmand, Computer system design, emphasizing parallel
computer architecture and operating systems. |
Rob Johnson, Computer security;
software security. |
Arie Kaufman, Computer graphics;
visualization; virtual reality; user interfaces; multimedia; computer
architecture. [Projects]
|
Robert Kelly, Medical
Informatics, Information systems; software engineering; electronic commerce;
wireless software. [Projects]
|
Michael Kifer, Database systems;
logic programming; knowledge representation; artificial intelligence. |
Annie Liu, Programming languages
and systems, program optimization, program analysis and transformation,
reactive systems, database systems, algorithm design. [Projects] |
Ellen 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. |
Long Lu, Computer security and its intersection with
operating systems, software engineering, and programming languages. |
Kevin
McDonnell, Visualization,
Visual Analytics, Geometric Modeling, Computer Graphics |
Richard McKenna, Computer science
education; computer game programming; Internet commerce programming |
Klaus Mueller, Visualization;
volume rendering; computer graphics; medical imaging; visual data mining. [Projects] |
Minh Hoai
Nguyen, Computer Vision; Machine Learning;
Human Activity Recognition; Semantic Video Analysis. |
Nick Nikiforakis,
Web Security and Privacy; Software Security; and
Intrusion Detection. |
Francesco
Orabona, Design and analysis of machine learning algorithms. |
Omkant Pandey, Cryptography (Applied and Theory), Security,
Privacy. |
Robert Patro,
Scalable Algorithms for High-throughput Genomic
Analysis, Algorithms for Inferring and Comparing Biological Networks, Network
Evolution & Systems Biology. |
Michalis Polychronakis, Network and systems
security, network monitoring and measurement, online privacy. [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; machine learning; computational
behavioral sciences; computer graphics; medical imaging; computational
photography. |
Tony Scarlatos, Multimedia;
interface design; computer-based training; distance learning. |
H. Andrew
Schwartz, Large and scalable
language analyses for psychological and health discovery; computational
social science; natural language processing; lexical semantics; social media
big data; human demography, personality, and mental well-being. |
R. Sekar, Computer and network
security; software/distributed systems; programming languages; software
engineering. |
Roy Shilkrot, Augmented
Reality, Human Computer Interaction, Computer Graphics and Computer Vision. |
Radu Sion, Information security;
relational databases; distributed systems |
Steven 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. |
Scott Stoller, Distributed
systems; fault-tolerance and security; software testing and verification;
program analysis and optimization. [Projects] |
Allen Tannenbaum,
Medical image analysis; computer vision; image processing; systems and
control; controlled active vision; mathematical systems theory; bioinformatics;
computer graphics. |
Michael Tashbook,
Software engineering (specifically the application of formal methods);
computer science education; databases and privacy; biologically-inspired
computing. |
Fusheng Wang,
Scalable Big Data Management and Analytics, Spatial
and Temporal Data Management and Analytics, Medical Imaging Informatics, Clinical
Natural Language Processing, Data Semantics and Standardization |
Anita Wasilewska, Database
mining; bioinformatics: protein secondary structure prediction; knowledge discovery
in data bases; machine learning; uncertainty in expert systems; automated
theorem proving. |
Jennifer Wong, Wireless distributed
embedded systems; sensor networks, embedded systems and CAD. [Projects] |
Dani Yogatama, Machine learning and natural language processing. |
Erez Zadok,
Operating systems; storage and file systems; software portability;
networking; security. [Projects] |
Rong Zhao, Information retrieval;
data mining; machine learning; semantic web; medical informatics; user interfaces;
software engineering; and mobile computing. [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. |
Yi Gao, Image
and informatics computing. Focusing on the large scale
distributed/mobile computing for medical images. [Projects] |
Sangjin Hong,
Low power and low complexity VLSI design for multimedia wireless
communications and digital signal processing systems. |
Chuan Huang, Medical Image
Reconstruction/Analysis, Quantitative MRI, Simultaneous PET-MRI, Rapid MRI,
Objective Assessment of Image Quality, Mathematical Modeling |
Xiangmin Jiao, High-performance geometric and numerical computing; Efficient and
robust algorithms. |
Tahsin M. Kurc, Biomedical Informatics; Imaging
Informatics; Clinical & Translational Research Informatics; High-End
Computing |
Zhenhua Liu,
Online and Distributed Algorithm Design, Convex
Optimization, Game Theory, Renewable Energy Integration, Cloud Computing,
Computer Networks, Big Data |
Joseph
Mitchell, Computational
geometry; computer graphics; algorithms and data structures; computer-aided
(geometric) design and manufacturing. |
Joel Saltz, Biomedical Informatics; Imaging Informatics; Clinical &
Translational Research Informatics; High-End Computing. |
Romeil Singh Sandhu, Network science, graph theory,
computer vision, machine learning, system biology, and shape analysis with a
particular underlying emphasis on utilizing the confluence of geometry,
statistics, and controls to accomplish such tasks. |
Lori
Scarlatos, Educational
applications employing innovative techniques; physical computing; multi-modal
input; collaborative learning spaces. [Projects] |
Margaret Schedel,
Creation and performance of ferociously interactive media |
Daifeng Wang,
Machine
learning and data mining in biomedical data science, bioinformatics,
computational biology and medicine, network science. Current projects:
(1) genomic machine learning (e.g., deep learning, representation learning); (2) cancer systems biology. |
Xin Wang,
Modeling and analysis of mobile, wireless, ad hoc and sensor networks;
Wireless communications and networking. |
Wei Xu, Visual
analytics, visualization and deep structured learning for extreme-scale data
analysis. |
Yuanyuan Yang, Parallel and distributed computing systems; high speed networks;
multicast communication; optical networks; high performance computer
architecture; computer algorithms; 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. |