جستجوی استاد راهنمای دانشگاهی

Dawn Songمشاهده پروفایل

استاد

• Artificial Intelligence
• Cybersecurity
• Machine Learning
• +۷ مورد دیگر

Dawn Song is a Professor in the Department of Electrical Engineering and Computer Science at the University of California, Berkeley, affiliated with multiple research centers including the Berkeley Artificial Intelligence Research Lab (BAIR) and the Berkeley Center for Responsible, Decentralized Intelligence (RDI). She holds leadership roles in AI safety, cybersecurity, and blockchain research. Her work bridges machine learning, security, and distributed systems, with notable contributions to formal verification, privacy-preserving technologies, and AI governance. Education: Ph.D. (2002) and M.S. (1999) in Computer Science from UC Berkeley and Carnegie Mellon University, respectively. She previously served as an Assistant Professor at Carnegie Mellon University before joining UC Berkeley in 2007. Research Interests: Dawn's work focuses on AI safety, cybersecurity, and the ethical implications of frontier AI. She explores topics such as large language model vulnerabilities, zero-knowledge proofs, blockchain security, and policy frameworks for AI governance. Her research combines theoretical rigor with practical applications, addressing challenges in secure systems, adversarial machine learning, and privacy-preserving computation. Publications: Her recent work includes groundbreaking studies on LLM memorization, smart contract decompilation, and AI agent cybersecurity evaluation. She also leads initiatives like the Singapore Consensus and California Report on AI safety priorities, emphasizing global collaboration in risk mitigation. Notable Awards: MacArthur Fellowship (2010), ACM Fellow (2019), IEEE Fellow (2019) Advising & Grants: She advises projects on AI policy and cybersecurity, securing grants from NSF, DARPA, and industry collaborations. Her lab develops tools like CyberGym for evaluating AI agents and zkPyTorch for secure machine learning. Labs & Teams: Her research groups at UC Berkeley focus on cutting-edge projects in AI safety, blockchain, and cybersecurity, collaborating with industry leaders and policymakers to advance both technical and ethical standards.

Tianqi Chenمشاهده پروفایل

استادیار

• Machine Learning
• Deep Learning Systems
• Compiler Optimization
• +۶ مورد دیگر

Tianqi Chen is an Assistant Professor at the Machine Learning Department and Computer Science Department of Carnegie Mellon University (CMU), with a courtesy appointment as a Professor in the Electrical and Computer Engineering Department within the College of Engineering. His research focuses on scalable machine learning systems, compiler optimization, and efficient deep learning frameworks. He holds a PhD from the Paul G. Allen School of Computer Science & Engineering at the University of Washington. Key contributions include the creation of XGBoost, Apache TVM, and MLC-LLM—widely adopted systems for machine learning and large language models. His work bridges algorithmic innovation with high-performance computing, emphasizing efficient deployment, quantization, and edge computing. Recent publications highlight advancements in LLM serving (e.g., WebLLM, Flashinfer), compiler-driven optimizations (e.g., TVM, Relax), and low-latency inference techniques (e.g., Magicdec, Tilus). These efforts address scalability, energy efficiency, and cross-platform compatibility in modern AI systems. Chen’s research has been applied to diverse domains, including music AI, browser-based inference, and microservice architectures for LLMs. His work underscores the importance of system-level thinking in advancing AI capabilities.

Harris H. Wangمشاهده پروفایل

دانشیار

• Systems Biology
• Synthetic Biology
• Genome Engineering
• +۱۷ مورد دیگر

Harris H. Wang is an Associate Professor in the Department of Systems Biology and Department of Pathology and Cell Biology at Columbia University's Vagelos College of Physicians and Surgeons, where he also serves as Interim Chair of Systems Biology. He is affiliated with the Center for Computational Biology and Bioinformatics (C2B2) and the Integrated Program in Cellular, Molecular and Biomedical Studies (CMBS). B.S., Physics and Mathematics, MIT Ph.D., Biophysics, Harvard University Dr. Wang's research lies at the intersection of systems and synthetic biology, focusing on developing foundational technologies for genome engineering, microbiome manipulation, and synthetic genomics. His lab pioneers methods such as MAGE, MAGIC, CAST, and CAMII to enable high-throughput genetic manipulation, in situ microbiome engineering, and AI-driven microbial culturomics. Key research themes include understanding microbial community dynamics, engineering cellular memory systems, designing biocontained genetic circuits, and applying synthetic biology to human health challenges in personalized medicine and infectious disease. His recent publications reveal a strong trend in spatial and functional metagenomics, CRISPR-based microbiome editing, and synthetic biology tools for data storage and genetic stability. The articles span high-impact journals like Nature , Science , and Nature Biotechnology , reflecting his leadership in developing scalable, programmable biological systems. Scientific Awards: NIH Director’s Early Independence Award Forbes 30 Under 30 in Science Sloan Research Fellowship NSF CAREER Award ONR Young Investigator Award Burroughs Wellcome Fund PATH Award Schaefer Scholar Blavatnik National Award Vilcek Prize PECASE Dr. Wang has advised numerous PhD and postdoctoral researchers, many of whom have gone on to independent scientific careers. His lab is supported by major grants from NIH, NSF, DARPA, DOE, and foundations including the Bill & Melinda Gates Foundation and CZ Biohub NY. He is actively involved in educational initiatives, including organizing Columbia’s iGEM team and the Cold Spring Harbor Laboratory Synthetic Biology course. The Wang Lab is based at the Columbia University Irving Medical Center and is part of national consortia such as the Engineering Biology Research Consortium (EBRC) and the Genome Project-Write (GP-Write) initiative. The lab develops and applies cutting-edge technologies in automation, machine learning, and synthetic biology to engineer microbiomes for applications in medicine, global health, and climate change.

Osbert Bastaniمشاهده پروفایل

دانشیار

• Machine Learning
• Neurosymbolic AI
• Program Synthesis
• +۱۰ مورد دیگر

Osbert Bastani is an Associate Professor at the Department of Computer and Information Science, University of Pennsylvania, leading the trustml@Penn research group. He is affiliated with the ASSET , PRECISE , and PRiML centers, and the PLClub research group. His research focuses on Trustworthy Neurosymbolic Systems , Synthesizing Neurosymbolic Programs , and Machine Learning for Programmer Productivity , with applications in verification, fairness, and human-AI collaboration. He received the NSF CAREER Award in 2023. His recent publications (2024-2025) emphasize AI Safety , LLM Robustness , and Algorithmic Fairness , including work on adversarial robustness, conformal prediction, and program synthesis. Students he has advised include Sagnik Anupam, Stephen Mell, Jason Ma, Shuo Li, and others. Awards: NSF CAREER Award (2023)

• Operations Research
• Machine Learning
• Optimization under Uncertainty
• +۴ مورد دیگر

Minseok Ryu is an Assistant Professor at the School of Computing and Augmented Intelligence, Arizona State University (ASU). He holds a Ph.D. in Industrial & Operations Engineering from the University of Michigan (2020). Prior to ASU, he was a postdoctoral appointee at Argonne National Laboratory’s Mathematics and Computer Science Division. His research focuses on optimization methodologies for decentralized and stochastic decision-making distributed algorithms for machine learning and operations research applications in healthcare systems and energy grids Teaching responsibilities include courses on applied deterministic operations research (IEE 574), optimization (IEE 622), and research practicums (IEE 792). His work emphasizes computational challenges in decision-making under uncertainty, with recent projects addressing nurse staffing optimization, federated learning frameworks (e.g., APPFL/APPFLX), and resilient power grid systems. He has no recorded academic awards but actively contributes to open-source software and cross-disciplinary research collaborations. Research interests bridge theory and practice, targeting social goods through optimization techniques like distributionally robust optimization, federated learning, and heuristic algorithms for energy and healthcare systems.

Bimal Viswanathمشاهده پروفایل

دانشیار

• Cybersecurity
• Privacy Engineering
• Machine Learning
• +۴ مورد دیگر

Bimal Viswanath is an Associate Professor in the Department of Computer Science at Virginia Tech's College of Engineering. His research focuses on cybersecurity, privacy engineering, and machine learning, particularly addressing adversarial AI and ML system vulnerabilities. He holds a Ph.D. from Saarland University and Max Planck Institute for Software Systems, and has held postdoctoral positions at UCSB and Nokia Bell Labs. Education Ph.D., Computer Science, Saarland University/Max Planck Institute (2016) M.S., Computer Science, IIT Madras (2008) B.Tech, Computer Science, Cochin University (2005) Research interests include: Adversarial attacks using/against ML systems Generative AI security (deepfakes, chatbots) Cybersecurity for online services Grants & Funding Recipient of CCI, NSF, and 4-VA grants supporting projects like robust AI defense mechanisms and adversarial image classification. Recent grants include $1.2M for AI security initiatives (2022-2025). Awards Distinguished Paper Award (SOUPS 2014) Best Paper Award (COSN 2015) AI2000 Most Influential Scholar Honorable Mention (2020) Advising Guided over 15 students including Jiameng Pu (PhD 2022), Connor Weeks (MS 2023), and current advisees Sifat Muhammad Abdullah (PhD 2021-). Notable student achievements include Facebook Fellowship nominations and industry placements at CVENT and University of Michigan. Labs & Teams Leading Virginia Tech's AI Security Lab focusing on generative models, adversarial ML, and applied cybersecurity solutions.

John Lygerosمشاهده پروفایل

استاد

• Automatic Control
• Hybrid Systems
• Large-Scale Dynamical Systems
• +۴ مورد دیگر

John Lygeros is a Full Professor and Head of the Institute for Automatic Control at ETH Zurich's Department of Information Technology and Electrical Engineering. He received his B.Eng. (1990) and M.Sc. (1991) from Imperial College London, and Ph.D. (1996) from UC Berkeley. Before joining ETH Zurich in 2006, he held academic positions at the University of Cambridge and University of Patras. His research focuses on: Modeling and control of hierarchical hybrid systems Large-scale dynamical systems applied to biochemical networks Control of automated transportation systems via wireless networks Energy systems and advanced manufacturing control His research demonstrates strong emphasis on optimization methods, distributed control architectures, and machine learning applications in control systems, with significant contributions to real-time optimization algorithms and data-driven control methodologies. Major scientific awards include: HSCC Test of Time Award (2024) ERC Advanced Grant (2018) O. Hugo Schuck Best Paper Award (2018) IEEE George S. Axelby Paper Award (2016) Three Golden Owl teaching awards from ETH Zurich He leads the Automatic Control Laboratory at ETH Zurich and serves as Director of the National Centre of Competence in Research 'Dependable Ubiquitous Automation'. He has advised over 60 doctoral candidates since 2017, with research spanning optimization algorithms, power systems, autonomous systems, and machine learning applications.

Simon Godsillمشاهده پروفایل

استاد

• Statistical Signal Processing
• Digital Audio Restoration
• Bayesian Computational Methods
• +۵ مورد دیگر

Professor Simon Godsill MA PhD FIET FIEEE is a University Professor of Statistical Signal Processing in the Department of Engineering at the University of Cambridge. He heads a research team specializing in statistical signal processing, digital audio restoration, and Bayesian inference. His work addresses the processing and analysis of digital speech, audio, tracking systems, and financial datasets, with a focus on probabilistic modeling and computational methods. Research interests include statistical signal processing , degraded signal restoration , and Bayesian computational methods . Recent publications emphasize Gaussian processes, variational inference, and multi-object tracking for applications in audio enhancement and financial data analysis. He co-founded the audio remastering company CEDAR Audio Ltd in 1988. Scientific awards: Fellow of the Institution of Engineering and Technology (FIET) Fellow of the Institute of Electrical and Electronics Engineers (FIEEE) Outside academia, he enjoys singing, cricket, piano/organ playing, and running. His team at Cambridge's Engineering department focuses on robust tracking algorithms and signal enhancement techniques.

Aleksandar Jeremicمشاهده پروفایل

دانشیار

• Biomedical Signal Processing
• Statistical Signal Processing
• Biometrics
• +۷ مورد دیگر

Aleksandar Jeremic is an Associate Professor in both the Electrical & Computer Engineering department and the McMaster School of Biomedical Engineering at McMaster University. His research focuses on biomedical signal processing, statistical signal processing, and biometrics, with applications in healthcare and biomedical systems. He holds a Dipl. Ing. from the University of Belgrade, and an M.S. and Ph.D. from the University of Illinois at Chicago. His expertise spans physiological signal analysis (e.g., ECG/EEG), medical imaging, and machine learning for biomedical applications. He has authored over 50 technical articles and two book chapters, and has been recognized with a teaching award from the McMaster Electrical and Computer Engineering Society (2018). He supervises graduate students in both theoretical and applied research areas. Dr. Jeremic teaches advanced courses such as Biomedical Signal Modeling and Processing and Advanced Probability and Random Processes , emphasizing practical applications of signal processing in healthcare. His work includes clinical implementations like neonatal seizure monitoring software and microwave imaging for breast cancer detection.

• Uncertainty Reasoning and Decision Making in Artificial Intelligence
• Electronic Business
• Systems Analysis and Design
• +۷ مورد دیگر

Liping Liu is a Professor in the Department of Management at The University of Akron's College of Business. He holds a Ph.D. in Business from the University of Kansas (1995), Master of Engineering in Systems Engineering (1991), and dual bachelor's degrees in Applied Mathematics (1986) and River Dynamics (1987). Ph.D., University of Kansas MS, Huazhong University of Science and Technology B.E., Wuhan University BS, Huazhong University of Science and Technology His research spans Artificial Intelligence , Electronic Business , Systems Analysis , Data Quality , and Belief Function Theory . He pioneered coarse utility theory and linear belief functions , now taught in top Ph.D. programs across multiple disciplines. Key trends in his publications include Belief Function Applications (2012-2024), Medical Data Systems (2003-2015), and Decision Theory (2004-2014). Recent works focus on Gamma Belief Functions (2024) and computational improvements in linear belief function operations (2019-2016). Scientific contributions recognized via: Microsoft Azure Educator Grant (2014-2016) Inclusion in Who's Who in America (2010-2013) and Who's Who in the World (2011-2013) As an editor and committee member for major conferences (INFORMS, AMCIS, Belief Functions conferences), he bridges academic research with practical systems implementation in e-business and healthcare domains.

Nate Fosterمشاهده پروفایل

استاد

• Programming Languages
• Networking
• Databases
• +۵ مورد دیگر

Nate Foster is a Professor of Computer Science at Cornell University and currently serves as the Associate Dean for Research in the Ann S. Bowers College of Computing and Information Science. He is also a Visiting Researcher at Jane Street and served as a Visiting Professor at École Polytechnique Fédérale de Lausanne during the 2023-24 academic year. His research uses ideas from programming languages to solve problems in networking, databases, and security. BA in Computer Science, Williams College (2001) MPhil in History and Philosophy of Science, University of Cambridge (2008, all work completed in 2003) PhD in Computer and Information Science, University of Pennsylvania (2009) Foster's research focuses on developing languages and tools that make it easy for programmers to build secure and reliable systems. His current work centers on the design and implementation of languages and tools for programmable networks, particularly using the P4 language. His past work includes bidirectional languages (also known as 'lenses'), database query languages, data provenance, type systems, mechanized proof, and formal semantics. His research group at Cornell has made significant contributions to network verification, software-defined networking, and formal foundations for programmable data planes. Analysis of Foster's recent publications reveals a strong focus on network verification and programming language foundations for networking. His work consistently applies formal methods to practical networking problems, with a particular emphasis on the NetKAT and P4 languages. Over the past five years, his research has evolved toward more complex network verification techniques, including infinite state verification, active learning of network models, and dependently-typed approaches to network programming. His work bridges theoretical computer science with practical networking systems, making formal methods accessible to network engineers. ACM Fellow (2025) ACM SIGPLAN Robin Milner Award (2023) ACM SIGCOMM Rising Star Award (2018) NSF CAREER Award (2013) Alfred P. Sloan Fellowship (2012) Multiple distinguished paper awards across top conferences including POPL, PLDI, and SIGCOMM Foster has advised numerous PhD and Master's students who have gone on to prominent positions in both industry and academia, with many continuing work in programming languages and networking. He has led multiple significant research grants including an NSF CAREER Award and has been involved in the P4 Language Consortium, serving as Chair of the P4 Language Governing Board. His work has been supported by various organizations including NSF, DARPA, and industry partners like Intel and Jane Street. Foster is also active in the programming languages research community, serving on numerous program committees and as Vice Chair of DARPA's Information Science and Technology (ISAT) study group. Foster leads a vibrant research group at Cornell focused on programming languages for networks, with collaborators from academia and industry. His group has developed several influential tools and frameworks including NetKAT, Petr4, and KATch. They maintain strong connections with the P4 community and work closely with industry partners to ensure their research has practical impact on real-world networking systems.

Ashley Montanaroمشاهده پروفایل

استاد

• Quantum Computation
• Quantum Algorithms
• Quantum Information Theory
• +۳ مورد دیگر

Ashley Montanaro is Professor of Quantum Computation in the School of Mathematics at the University of Bristol, and co-founder of the quantum software startup Phasecraft. He is a member of the Quantum Information Theory research group at Bristol. His research focuses on the theory of quantum computing, with particular interest in quantum algorithms, computational complexity, quantum query and communication complexity, and classical algorithms. His work spans both theoretical foundations and practical applications of quantum computing. Montanaro's research output shows significant trends toward quantum algorithms for optimization problems, quantum computational supremacy, and bridging theoretical advances with practical implementation challenges. His publications span foundational quantum information theory to applied quantum algorithms, demonstrating a versatile research program that connects computer science with quantum physics. Among his professional activities, Montanaro served on the QIP steering committee (2016-2018) and was an editor for the Quantum journal until 2019. He has been active in conference organization, serving on program committees for ITCS 2018, AQIS 2017 and 2015, QIP 2015, and TQC 2014 and 2013, reflecting his standing in the quantum computing research community. He has supervised numerous PhD students including Josh Blake, Jorja Kirk, Sheila Perez Garcia, Sami Boulebnane, Jan Lukas Bosse, Lana Mineh, Joao F. Doriguello, Chris Cade, Sam Pallister, and Stephen Piddock. His teaching includes Quantum Computation (MATHM0023) which he has taught since 2014 and Advanced Quantum Information Theory which he taught in 2015 and 2016. As co-founder of Phasecraft, Montanaro is actively translating theoretical quantum computing advances into practical software solutions, positioning him at the intersection of academic research and quantum technology commercialization.

Haibin Lingمشاهده پروفایل

استاد

• Computer Vision
• Medical Image Analysis
• Augmented Reality
• +۳ مورد دیگر

Haibin Ling is the SUNY Empire Innovation Professor in the Department of Computer Science at Stony Brook University, part of the College of Engineering and Applied Sciences. His research focuses on computer vision, medical image analysis, augmented reality, and AI applications in science. He holds a Ph.D. from the University of Maryland (2006) and prior degrees from Peking University. Previously, he worked at Temple University (2008–2019) and held roles at Siemens Corporate Research, UCLA, and Microsoft Research Asia. Professor Ling's work spans biomedical imaging, AI for science, and human-computer interaction. He leads the CV Lab and collaborates with the AI Institute at Stony Brook. Awards include the NSF CAREER Award (2014), Best Student Paper (ACM UIST 2003), and IEEE Fellow (2020). He serves on editorial boards for IEEE Trans. PAMI, Pattern Recognition, and CVIU, and chairs major conferences like CVPR. His research group includes over 50 students and alumni, with active projects in tracking benchmarks (LaSOT), Leafsnap, and medical imaging tools. Notable publications address OCTA flow estimation, backdoor attacks on vision models, and topology-guided medical learning. Collaborations involve institutions like Temple University and Stony Brook's Department of Applied Mathematics and Statistics.

Changxi Zhengمشاهده پروفایل

دانشیار

• Computer Graphics
• Scientific Computing
• Physics-Based Sound Synthesis
• +۷ مورد دیگر

Changxi Zheng is an Associate Professor in the Department of Computer Science at Columbia University's School of Engineering and Applied Science (SEAS). He directs Columbia's Computer Graphics Group (C2G2) within the Columbia Vision and Graphics Center (CVGC). After receiving his PhD from Cornell University, he joined the faculty of Computer Science Department at Columbia, where he has established himself as a leading researcher in computer graphics and scientific computing. Dr. Zheng's research spans multiple areas of applied computer science with a particular focus on computer graphics and scientific computing. His work centers around developing numerical models for simulating physical phenomena involving complex motions such as fluids, bubbles, and thin rods, along with their resulting acoustic waves. Leveraging computational insights from these models, he devises methods for improving tangible object creation, enabling novel human-computer interactions, and developing software tools for acoustic and photonic devices. His research has attracted significant public interest and media coverage, including projects like FontCode, AirCode, and Computational Metallophone Design. His recent publications reveal a strong interdisciplinary approach, bridging computer graphics, physics simulation, machine learning, and hardware design. His work demonstrates consistent innovation in computational methods for simulating physical phenomena and applying these techniques to practical problems in 3D printing, acoustic modeling, and interactive systems. The breadth of his research spans from fundamental physics-based simulations to practical applications in industry. Columbia SEAS Dean's Fellow (for advised students) NSF Graduate Research Fellow (for Ruilin Xu) Snap Research Fellow (for Rundi Wu) CKGSB Fellow (for Yun Fei) Adobe Research Fellow (for Gabriel Cirio) Marie Sklodowska-Curie Individual Fellow (for Rundi Wu) Best Paper Award at ACM International Conference on Multimedia (ACMMM), 2019 Dr. Zheng actively mentors a diverse group of students, including current PhD candidates and postdoctoral researchers. His research group has received support from various sources that enable their innovative work in computational graphics and physics-based simulation. He has supervised numerous successful students who have gone on to positions at leading technology companies including Adobe, Tencent, Facebook, and academic institutions. As director of Columbia's Computer Graphics Group (C2G2) within the Columbia Vision and Graphics Center (CVGC), Dr. Zheng leads a vibrant research team focused on advancing the state of the art in computer graphics, physics-based simulation, and their applications. The group maintains strong collaborations with industry partners and academic institutions worldwide, fostering an environment of innovation and practical application of theoretical concepts.

Gert Cauwenberghsمشاهده پروفایل

استاد

• Neuromorphic Engineering
• Biomedical Integrated Circuits
• Neural Interfaces
• +۷ مورد دیگر

Gert Cauwenberghs is a Professor of Bioengineering at the University of California San Diego (UCSD), affiliated with the Jacobs School of Engineering. He co-directs the Institute for Neural Computation and holds a visiting professorship at MIT. His research focuses on neuromorphic engineering, energy-efficient neural interfaces, and wearable biosensors. Key contributions include silicon-based adaptive neural circuits, implantable neural recording systems, and in-ear biosensing devices. Education: M.Eng. in Applied Physics (University of Brussels, 1988), M.S. and Ph.D. in Electrical Engineering (Caltech, 1989–1994). Prior roles include Professorships at Johns Hopkins University and Visiting Professor at MIT. Research Interests: Biomedical integrated circuits, neuromorphic computing, brain-machine interfaces, and energy-efficient neural systems. His work bridges neuroengineering and clinical applications, emphasizing adaptive intelligence and low-power designs. Recent Work: Development of femtojoule-efficient neural chips, high-density neural interfaces, and closed-loop wearable systems. Projects include neurobench benchmarking frameworks and RRAM-based neuromorphic hardware. Awards: NSF Career Award (1997), ONR Young Investigator (1999), PECASE (2000), IEEE Distinguished Lecturer (2003–2004). Grants & Labs: Active in NIH and DoD-funded projects, co-directs the UCSD Institute for Neural Computation. Collaborates with industry on neural interface technologies. Labs/Teams: Cauwenberghs Lab at UCSD focuses on integrated neuroengineering systems, including neural recording systems and neuromorphic computing architectures.