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 | Learning Science | | 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 | Coding Theory | Computational and Theoretical Materials Science | Programming Languages | Computer Science Education | Machine Learning, Natural Language Processing, Psychology | Distributed Systems | computer science education, learning technologies and learning analytics | Probability Theory | Computational Social Science | Network Science | Security and Information Assurance | Logic and Computation | Network Engineering | Molecular Engineering | Distributed Systems, Security and Privacy, Computer Networks | Medical cyber-physical systems | Software Systems Security and Information Assurance | Real-time, embedded systems | Computational Design, Robotics, Mechanical Systems | Computer graphics, 3D animation, artificial life, scientific computing, computational solids and fluids, virtual reality etc | Coding and Information Theory, Machine Learning, Theory and Applications of Graphic Models | Machine Learning, Natural Language Processing, Knowledge Representation and Reasoning | Data science, Neuroscience, Medicine, Rehabilitation, Statistics, Machine learning, Science of science | : Wireless Mobile Communications | Network Protocols and Architecture | Application and Network Performance Analysis | Machine learning and artificial intelligence, Natural language processing and computational linguistics | 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 | Learning Analytics | Intelligent Systems: Machine Learning | Information Systems: Computational Biology and Bioinformatics | Information Systems: Computational Biology and Bioinformatics | Computer Animation | Spatial Computing | Gaming | Formal Methods | Internet-scale query processing | Energy-Efficeint Building Automation | Wireless Control Networks | Automotive Systems | Cognitive Science | Sensor Fusion | Artificial Intelligence | Cryptography | Defects; Growth; Evolution; and Deformation of materials | Logic | Software Engineering | Mechanical Systems | Security | Networking | Combinatorics | Internet Policy | Bioengineered Therapeutics, Devices and Drug Delivery | Embedded and Cyber-Physical Systems Security | Cyber-physical systems | 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 | Computer Networks | Robotics and Control: Urban Autonomous Navigation, Formal Verification, Motion Planning | RF-CMOS | Mixed-Signal Circuit Design | Millimeter-wave Microelectronics | 3D Digital Humanities | Microelectronics | Media arts design and programming | Computational Geometry | and the application of data-centric techniques and formal methods to the design, analysis and implementation of networked systems. | Algorithms | Mechanical Design | Security | Privacy | Cloud computing | Software Engineering | Dynamics |