Faculty Directory

Search by Expertise Keywords: Formal methods, Programming languages and program analysis, Cyber-physical systems | Computer Graphics | Computer Security | Computer Vision | Databases | Architecture and Compilers | Algorithms and Complexity | Machine Learning | Control Systems | Embedded Systems | Distributed data management systems | Real-Time and Embedded Systems | Cyber-Physical Systems | Medical Devices | Computational Linguistics | Robotics | Programming Languages | Machine Learning, Natural Language Processing, Psychology | Distributed Systems | Probability Theory | Security and Information Assurance | Logic and Computation | | Molecular Engineering | Learning Science | Network Engineering | Software Systems Security and Information Assurance | Computer Science Education | Coding Theory | Real-time, embedded systems | Computational Design, Robotics, Mechanical Systems | Medical cyber-physical systems | Coding and Information Theory, Machine Learning, Theory and Applications of Graphic Models | Computer graphics, 3D animation, artificial life, scientific computing, computational solids and fluids, virtual reality etc | Machine Learning, Natural Language Processing, Knowledge Representation and Reasoning | Data science, Neuroscience, Medicine, Rehabilitation, Statistics, Machine learning, Science of science | computer science education, learning technologies and learning analytics | : Wireless Mobile Communications | Network Protocols and Architecture | Application and Network Performance Analysis | Machine learning and artificial intelligence, Natural language processing and computational linguistics | Distributed Systems, Security and Privacy, Computer Networks | Machine Learning and Computer Vision: Deep Learning, Statistical Physics, Stochastic Processes, Reinforcement Learning, Partial Differential Equations, Distributed Algorithms | Programming Languages, Machine Learning | Circuits and Computer Engineering | Computational Social Science | Network Science | Learning Analytics | Intelligent Systems: Machine Learning | Information Systems: Computational Biology and Bioinformatics | Information Systems: Computational Biology and Bioinformatics | Machine programming | Machine learning | Anomaly detection | Real-time systems | Computer Animation | Spatial Computing | Formal Methods | Internet-scale query processing | Energy-Efficeint Building Automation | Wireless Control Networks | Automotive Systems | Cognitive Science | Sensor Fusion | Artificial Intelligence | Logic | Mechanical Systems | Security | Networking | Combinatorics | Bioengineered Therapeutics, Devices and Drug Delivery | Gaming | Internet Policy | Software Engineering | Cryptography | Cyber-physical systems | Embedded and Cyber-Physical Systems Security | Computer Networks | The focus is physics-based simulation for animation/VFX and its cross-field collaborational research with computer vision, scene understanding, robotics, cognitive science, and medical training | Robotics and Control: Urban Autonomous Navigation, Formal Verification, Motion Planning | RF-CMOS | Mixed-Signal Circuit Design | Millimeter-wave Microelectronics | 3D Digital Humanities | Microelectronics | Computational Geometry | and the application of data-centric techniques and formal methods to the design, analysis and implementation of networked systems. | Mechanical Design | Security | Privacy | Media arts design and programming | Algorithms | Cloud computing | Software Engineering | Dynamics |