Electrical Engineering and Computer Science
Artificial Intelligence Image segmentation and restoration; pattern and shape recognition; computer vision; expert systems; autonomous mobile robots; learning control using fuzzy logic and neural networks; robot planning and control.
Detection and estimation theory; distributed signal processing and data fusion; adaptive signal processing algorithms and architectures; radar signal processing; knowledge-based signal processing; image processing; digital communications; information theory and coding; parallel algorithms for signal processing; complexity of DSP algorithms; communication networks; photonic communications; weak signal detection in non-Gaussian environments; analysis of bistatic radars.
Communications and Signal Processing
Artificial life, evolutionary algorithms, neural networks, self-organizing systems, dynamical systems.
Multimedia systems; object-oriented databases; multimedia transport protocols; high bandwidth networks; distributed conferencing; visualization and virtual reality; multimedia storage systems, including optical systems; video on demand; distributed multimedia applications; web technology.
Distributed Information Systems
Electromagnetic Fields and Antennas
Electromagnetic aperture problems; application of matrix methods to radiation and scattering systems; iterative methods for large electromagnetic problems; analysis of printed circuits; analysis of cross talk in integrated circuits; adaptive and signal processing antennas; antenna arrays; antenna array synthesis; development of high-pulsed power systems; electromagnetic compatibility; analysis of small radomes; radio direction-finding; time-domain radar; microwave remote sensing of earth terrain; wave propagation in random media; scattering from random surfaces; scattering from composite dielectric and conducting targets; waves in complex media; radar clutter modeling; radar polarimetry; millimeter and microwave integrated circuits; numerical solution of electromagnetic field problems.
High Confidence Design
Formal methods; formal specification, synthesis and verification of software and hardware; computer security; network security.
Logic Programming and Logic in Computer Science
Model theory and complexity; non-monotonic reasoning; relationships with game theory and hybrid systems; applications to artificial intelligence; applications to qualitative investigations; dynamical, chaotic, and fractal properties of logic programs and related automata.
Development of solid state sensors; nonlinear dielectric optical materials; thin film growth and processes; modeling of composite materials; integrated electronic and optical services; optical image processing.
New learning algorithms, adaptive connection systems, self-organizing networks, pattern recognizers, spatio-temporal networks, modular networks, hierarchical networks, evolutionary algorithms, fault-tolerant neural networks, models of biological systems, classification and clustering algorithms.
Optics and Wave Phenomena
Wave propagation and applications, linear and nonlinear, dispersive and nondispersive; acousto-optic interactions; optical information processing and optical bistability; optical wave mixing; holography; optical interconnects; optical computing algorithms and architectures; pipelined optical binary computing; wave propagation through random media; waves and fields in anisotropic media; nonlinear echoes.
Optical information processing; interconnection and communication networks; fiber optics, fiber light amplifiers, and lasers; photorefractive and bio-optical materials and their applications in wave-mixing and dynamic holography; microoptic fabrication; optical computing; electrooptics; optical memory; optical wave propagation and diffractions.
Photonics and Optical Engineering
Denotational semantics, logics of programs, formal methods, semantic models of parallel programs, fair behavior and liveness properties of parallel programs, applications of semantic models to program design, parallel program correctness.
RF and Wireless Engineering
Analysis and design of RF and Wireless and satellite communication circuits and systems.
Software models; metric and formal methods; fault-tolerant software and software reliability; software reusability; object-oriented software engineering methods and tools; techniques for software engineering data analysis; distributed and parallel software development; trusted systems.
Systems assurance focuses on the design, development, and deployment of information systems with a particular emphasis on networked systems, information assurance, information security, and information integrity. Our research focuses on the ways information systems are designed to work reliably, safely, correctly, and securely. These methods also aim to reduce the complexity of systems assurance.
Theory of Computation
Computational complexity of higher-order functionals, complexity of “lazy” computation, biological models of computation, and computational learning theory.
Computer-aided design and architectures design, verification and testing of VLSI systems aided by EDA tools (Cadence, Synopsys, etc.); design of digital, analog, and mixed-signal systems; functional verification; testing; computer-aided design techniques for routing, simulation, verification, and synthesis; silicon compilation; formal verification; high-level synthesis; system integration; applications of declarative programming languages; algorithms and architectures for parallel and distributed systems.