Faculty Members

Research Interests: Cryptology and Cryptanalysis, Symmetric Cryptography, Quantum Cryptography and QuantumComputation.

My primary research interest is in Artificial Intelligence (AI) computational and modeling problems, with an emphasis on interesting structure/complexity connections that can be found in different tasks of automated reasoning such as domain-independent planning, multi-agent system design, and user-centric information systems (via preferential reasoning). The recent focus of my work has been on heuristic-search planning, Monte-Carlo techniques for online planning in complex environments, planning for fault tolerance, and parametric complexity of various fragments of planning tasks. I am also getting more and more interested in foundations of planning for multi-agent systems. Tangentially, I am also interested in problems that lie on the boundary between computer science and social choice, e.g., various settins of rank aggregation, voting, recommendation, etc. (Disclaimer: my "research focus" appears to be quite a moving target as there are simply too many interesting questions ...)

Research Areas: Information theory, signal processing, and networks. In particular, post-quantum cryptography, information theory security, information processing, and security in advanced data acquisition systems.

Research Interests: Computer Vision, 3D Vision and Shape Analysis' Image and Signal Processing, Computational Imaging, Machine Learning, Large-scale Data Analysis

Research Interests: Computer Communication Networks, QoS Support in Broadband Networks Routing, Applications of Game Theory to Computer Networking, Internet Pricing, Distributed and On-Line Network Algorithms.

Research Interests: Parallel and Distributed Computing; Peer-to-Pear Computing Large ScaleData Mining; Scalable Model Checking; High-Performance ComputerArchitecture; Shared Memory Consistency Models; Java Memory Model; FaultTolerance; Distribute Shared Memory; Non-Stop Systems.

Research Interests: Operating systems, Computer architecture, HPC computers, cloud computing/computers and low power computers.

My main area of research can be broadly categorized as that of Data Integration. In my early career I have focused on various aspects of data semantics in cooperative information systems, including transaction management in a Web environment and schema matching. Since 2008, I have investigated aspects of uncertainty in data integration. The recent wave of big data ?ts well with my research agenda, which focuses on aspects of veracity in data integration (or simply put Big Data Integration).

Research Interests: CAD of Electronic Systems, VLSI System and Circuit Design.

Research Interests: Database systems and theory, information extraction, information retrieval, data mining, probabilistic and inconsistent databases

Research Interests: System software, operating systems, virtualization, system security, storage, hardware-software interfaces, performance evaluation

Research Areas: Reliability and safety of software, including deep learning, computer networks, and smart contracts for blockchain frameworks. Research Interests: formal verification, program analysis and synthesis, programming languages, specification mining

Research Interests: Aerodynamics, biofluid mechanics, hydrodynamics, autonomous robotics, space research

RESEARCH INTERESTS: Control Theory, multi-agent systems, networked systems, graph theory

Research Interests: Theory and applications of management related problems in IP networks.Active Networks, network location problems, theory of networkmanagement, QoS routing, wireless networks, and other optimization problems.

Research Interests: Robot Vision; Robot Navigation; Motion Planning; Visual Servoing; Active Vision; Object Recognition; Artificial Intelligence; Image Understanding, Image Processing; Image Databases.

Research Interests: Information and coding theory with applications to non-volatile memories, associative memories, data storage and retrieval, and voting theory.

Research Interests: Computational Complexity; Proof Complexity; Analysis of SAT solvers; Sub-linear time algorithms for Proof Checking and Error Correcting Codes.

Research Interests: Program synthesis, machine learning and information-retrieval techniques for PL, Program analysis, abstract interpretation, verification, Programming Languages, software engineering

Research Interests: concurrent computing, programming languages, and systems (mostly on memory management), parallelism, cryptography, data structures, approximation algorithms, and distributed computing.

Research Interests: Cryptography and Privacy; Machine learning; Computational complexity and Communication complexity; Randomized distributed protocols.

Research Interests: Distributed computation and theoretical computer science; in particular:Fault-tolerance; Timing-based and asynchronous algorithms.

Research Interests: Distributed algorithms and systems, Fault-tolerance and survivability of distributed systems Application-level multicast, Replication and coordination in distributed systems, Distributed algorithms for dynamic environments.

Research Interests: Computer networks. Design and analysis of switches and routers. Data centers.

Research Interests: High speed and converged network architectures, Wireless mobile network architectures, Network control protocols, Network QoS, Network on Chip (NOC), Distributed system architectures.

Research Interests: Security and scalability of distributed systems, in particular blockchain protocols and trusted execution environments. I have previously worked on distributed storage algorithms and data aggregation in sensor networks.

Research Interests: Traffic flow theory, Traffic control, Control theory, Optimal control, Model Predictive Control, Traffic flow simulations, Hybrid systems, Large-scale transportation networks

Research Interests: Distributed Computing, especially Probabilistic Algorithms and Lower Bounds, and Theory of Comp

Research Areas: Machine Learning Research Interests: Large-scale problems, Statistical and online learning, Stochastic optimization, Systems and Control

Research Interests: Online learning, Statistical Learning Theory, Machine Learning and Pattern Recognition, Natural Language Processing.

Research Interests:Computational complexity , NP-hard problems , Approximation algorithms , Discrete optimization Scheduling , Multiobjective optimization , Robust scheduling , Optimization of mean reverting price processes

Research Interests: Systems, high throughput processors (GPUs), operating systems, parallel computing, distributed storage, hardware security.

Research Interests: Image processing and Computer Vision, especially the statistical analysis of visual tasks.

Research Interests: Estimation and Control of Systems with Non Gaussian Noises Innovative Future Air Traffic Control Concepts Robust and Adaptive Flight Control Systems and Applications Integrated Missile Guidance and Control

Research Interests: Optical Communication – Advanced optical modulation formats and equalization techniques, MIMO techniques over multimode optical interconnects; Translucent optical networks, links and devices controlling light with light - Optical Computing; Quantum Information Processing, Quantum Communication and Quantum Computing; Integrated, Fiber and Wavepacket Optics, GPS satellite navigation systems

Research Interests: Protocols for non-cooperative environments , Learning in non-cooperative environments , Non, Cooperative Computation , Program Equilibrium and Learning Equilibrium , The power of mediators Ranking, Trust, and Reputation Systems , Advertising Mechanisms , The Agent Perspective in Game Theory , Artificial social Systems , Social Contexts in Multi-Agent Systems

Research Areas: Computer Networks,Learning Systems,Stochastic Processes and their Applications,Systems and Control. Research Interests: Stochastic control, Dynamic games, Communication networks analysis and control, Learning processes.

Research Interests: Information theory and statistical communications.

Research Interests: Algorithms for analysis of large datasets, Fast dimension reduction techniques, Combinatorial optimization algorithms, Clustering, Ranking, Social Choice and Machine Learning.

Research Interests: Database Systems: Theoretical aspects of query processing in relational databases, XML databases and logic based databases (Datalog); System issues: Physical storage, concurrency control, recovery, replication and distribution; Querying the WWW; Electronic Commerce; Automated Negotiation.

Research interests: Information retrieval, formal and empirical models

RESEARCH INTERESTS: Computer networks, theory and algorithms for networks, hash based data structures, Blockchain technology.

Research Interests: Computer-aided verification of software and hardware; Model checking; formal verification; Temporal logics; Research Interests: Modularity; Abstraction; Distributed model checking, SAT-based model checking, games, 3-valued logics.

Research Interests: Cryptanalysis of symmetric key primitives Cryptanalytic methods Design methodologies for symmetric key cryptography Privacy in the digital world Computer Security

Research Interests: Astrodynamics, Satellite Dynamics, Distributed Space Systems, and Vision-Aided Navigation

Research Interests: Machine learning and data mining, Online algorithms and competitive analysis, Computational finance

Research Interests: Parallel computing in VLSI, Asynchronous VLSI, Networks on chip.

Research Interests: Design and control of heterogeneous computer networks, Design and control of local wireless networks, Design and analysis of network protocols, Scheduling and QoS methods, Wireless communication networks, High speed communication networks.

Research Interests: Architectures and protocols for computer networks: the Internet, wireless networks, cellular networks, broadband access networks, sensor networks,routing protocols, multicast, MAC protocols, and Transport protocols.

Research Interests: Random fields, Gaussian processes, stochastic geometry, and applications to statistical problems in fMRI imaging.

Research Interests: Image processing, Computer vision, Medical image analysis, Computer graphics, Differential geometry, Scientific computing.

Research Interests: Nonlinear signal processing, Signal and data analysis and modelling, Geometry and manifold learning, Diffusion geometry, Applied harmonic analysis, Biomedical signal processing,Anomaly and target detection, Speech and audio processing.

Research Interests: Distributed Systems; Group Communication; Middleware; Wireless Ad-Hoc Networks; High-Availability and Fault- Tolerance;Clustering; Scalable Dynamic (P2P) Systems.

Research Interests: Design and analysis of algorithms, combinatorial optimization, approximation algorithms, the geometry of metric Research Interests: spaces and its applications, submodular optimization, and randomized algorithms.

Research Interests:Theory of algorithms and applications; Randomness andcomputation. Specific: Approximation and on-line algorithms;Combinatorial optimization; Randomized algorithms; Communicationnetworks; Parallel computation.

Research Interests: Circuit design ,Computer architecture, Power distribution networks, VLSI systems, Chip Multiprocessor (CMP), Multithreading, Energy efficiency in computers, Memory, especially emerging non-volatile memory technologies (STT-MRAM, PCM, RRAM, Memristors, 3D Xpoint, CBRAM, etc.), Hardware security, Neuromorphic computing

Research Interests: Artificial Intelligence; Machine Learning; Multi-agent systems; Game playing; Opponent modeling; Search; Speedup Learning.

Research Interests: Distributed algorithms, network algorithms, communication networks, distributed systems, fault tolerance, distributed data protection.

Research Interests: Machine learning: theory, algorithms and applications; reinforcement learning and Markov decision processes; learning, optimization, and decision-making under uncertainty; stochastic and dynamic games; learning in multi- agent systems; high-dimensional phenomena.

Research Interests: Program verification; Formal specification methods; Aspect-oriented software development; Distributed systems; Programming methodology; Temporal logic; Partial orders; Programming languages; Software engineering.

Research Interests: Theoretical Quantum Information Processing (Computing, Cryptography, Information, Communication); Implementation (Hardware) of Quantum Information Processing; Modern Cryptology.

Research interests: Our research interests involve the theoretical and practical aspects of machine learning. Our research focuses on mathematically founded solutions to modern real life problems that demonstrate non-traditional statistical behavior. Recent examples are perturbation models that allow efficient learning of high dimensional statistics, deep learning of infinite networks and primal-dual optimization for high-dimensional inference problem. The practice of our work is motivated by many computer vision problems, as well as computational biology and language processing.

Research Interests: Network coding, coding theory, distributed storage, digital sequences

Research Interests: Computer architecture, Memory subsystem, CMP Cache architectures, MultiCore vs Multithread architectures, Computer System traffic analysis

My research broadly lies at the intersection of probabilistic perception, state estimation and planning, both for single and distributed multi-agent autonomous systems. I am interested in enabling a reliable, accurate and on-line operation in complex scenarios, particularly focusing on operation in uncertain, partially unknown and dynamic environments. Accordingly, my research interests include autonomous navigation and mapping, consistent distributed information fusion, belief-space planning and active sensing, distributed robust perception, inference with probabilistic graphical models, vision-aided navigation (VAN) and simultaneous localization and mapping (SLAM)

Research Interest: Atrial activity, Bioenergetics, Calcium signaling, Cardiac electrophysiology, Cell Biophysics, Heart rate variability analysis, Mathematical modeling of the biochemical and bioenergetics signaling in the heart, Mechanical interaction of the mitochondria and the cytoskeleton, Mobile health devices, Posttranslational modification signaling, Prediction and detection of atrial fibrillation, Sinoatrial node cell activity.

Research Interest: Formal verification of hardware and software systems; Model Checking; SAT/SMT solving; Abstraction techniques; Security Verification; Hardware-Software Co-Verification; Machine learning for verification.

Research Interests: Image coding for visual communications, Group theoretic approach to image representation, Intelligent sensors for visual communications, Image enhancement by superesolution techniques.

Research Interests: Hierarchical storage, architectures for multimedia, information servers, Multimedia-and information-system architectures, Satellite communication networks, Judicious exploitation of redundancy for performance enhancement.

Research Interests: Computer Architecture, Computer Systems and Parallel Processing, HW/SW Interoperability, Operating Systems, Parallel Programming Models, High-Performance Computing.

Research Interests: Distributed and multi-agent systems, The theory of knowledge in a distributed environment, Theoretical computer science, Algorithms, Formal methods,

Research Interests: Software engineering, in particular: aspects related to the object-oriented paradigm, programming languages and parsing.

Research Interests: Information Processing in Fault-Prone Computer Systems: In particular, Codes for Novel Storage Technologies, Storage Architectures and Systems, Algebraic and Combinatorial Coding Theory, Codes for Networks

Researcch Interests: Computational complexity, Proof complexity, Analysis of Boolean Functions, Combinatorics

Research Interests: Cryptography, Complexity theory.