Dr. Liang Cheng is the Department Chair and Professor in the Department of Electrical Engineering and Computer Science at the University of Toledo. He leads a department with ~700 students across CS, CSE, and EE programs. His research focuses on Cyber-Physical Systems (CPS), IoT, AI/ML, and intelligent infrastructure, supported by over $30M in funding from NSF, DOE, DOT, and industry. Notable projects include CPS Breakthrough initiatives and underground sensing systems. He co-edited a multidisciplinary book on Underground Sensing and contributed to smart grid cybersecurity. Dr. Cheng has held leadership roles at Lehigh University, shaping faculty governance and equity policies. His 100+ publications span networking, real-time systems, and sensor networks. He advises on funded projects totaling $30M+ and has pioneered pedagogical approaches in computer science education. Research Interests: Cyber-Physical Systems (CPS): Focuses on autonomous drones, energy systems, and real-time infrastructure Networking: Expertise in TSN, DTN, and wireless protocols Cybersecurity: SCADA systems, PLC attack detection, and blockchain energy modeling Underground Sensing: Geo-sensing via wireless signals and subsurface tomography Grants & Projects: Over 20 sponsored projects including NSF CPS Breakthrough (2018-2023), ABB smart grid projects, and DARPA-funded EDIFY systems. Key contributions include reconfigurable wireless architectures and network calculus tools for real-time systems. Teaching: Courses span senior design, compiler design, parallel computing, and wireless sensor networks. Developed pedagogical patterns for non-CS programming education. Awards: Recognized for leadership in academic governance and interdisciplinary research collaboration.
Sam Staton is a Professor of Computer Science at the University of Oxford and Senior Research Fellow at Jesus College. He holds a Royal Society University Research Fellowship and leads the ERC-funded BLaSt project on probabilistic programming. His research focuses on programming language theory, particularly probabilistic and quantum programming, and category theory. Staton earned his PhD from the University of Cambridge in 2007, with prior roles as a lecturer and researcher at Cambridge, Paris, and Nijmegen. Research Interests: His work explores foundational aspects of programming languages, including semantics, algebraic effects, and applications to quantum computing and statistical modeling. Recent grants include the ARIA Safeguarded AI initiative and an AFOSR award. Education: PhD in Computer Science (2007), BA from Cambridge (2002). Students & Collaborators: Supervises multiple PhD students and postdocs, including those funded through his grants. Notable advisees include Swaraj Dash (now at Heriot-Watt) and Mathieu Huot (postdoc at MIT). Awards & Grants: Royal Society Fellowship, ERC Consolidator Grant (BLaSt), EATCS Best Paper Award, and Facebook Research Award. Labs & Teams: Leads the BLaSt project and collaborates on quantum programming via algebraic effects. Engaged in editorial roles for ACM Transactions on Quantum Computing and program committees for major conferences like POPL and LICS.
Patrick McDaniel is a Professor in the School of Computer, Data & Information Sciences at the University of Wisconsin-Madison. He is a Fellow of IEEE, ACM, and AAAS, and leads the MadS&P (UW-Madison Security and Privacy) group. His research spans computer and network security, adversarial machine learning, and technical public policy. Academic Affiliation : Tsun-Ming Shih Professor of Computer Sciences Key Research Areas : Mobile/IoT security, election systems security, AI policy Research Trends : His recent publications and funded projects focus on adversarial machine learning, SDN security, and robustness of AI systems. Keywords include cybersecurity, machine learning, network security, and privacy. Grants and Leadership : He has secured over $5M in NSF funding for end-to-end trustworthiness of ML systems and leads collaborative projects with Army Research and UW-Madison. Awards : Multiple best/most influential paper awards (ICSE 2015, PLDI 2014, ACSAC 2024, EthiCS 2023) Advising : Mentored 13+ PhD students and postdocs now at top institutions like Google, Purdue, and University of Toronto
Matteo Sonza Reorda is a Full Professor at the Polytechnic University of Turin, affiliated with the Department of Automatic Control and Computer Science (DAUIN). He holds roles such as Partnership Agreement Coordinator with SMAT and has served as Vice-Rector for Research (2021–2024). His research focuses on fault tolerance, hardware reliability, and AI acceleration, with contributions to GPU/CNN reliability, self-test libraries, and defect-oriented testing. Education: M.S. in Electronics Engineering, Politecnico di Torino (1986) Ph.D. in Computer Engineering, Politecnico di Torino (1990) Research Interests: His work spans automatic test equipment, circuit reliability, GPU fault tolerance, neural network hardening, and embedded systems safety . He leads the Electronic CAD & Reliability Group and collaborates with institutions like the ISI Foundation and the National Research Council (CNR). Publications & Impact: With over 180 publications, his recent work emphasizes AI accelerator reliability, fault injection techniques, and safety-critical systems. Key trends include GPU resilience for CNNs, self-test library optimization, and radiation fault modeling in neural networks. Awards & Recognition: IEEE Fellow (2016–) Multiple best-paper awards at IEEE conferences (DDECS, DATE, etc.) Grants & Collaborations: Coordinator of EU projects (RESCUE, TUTORIAL) Partnerships with EDF, Marelli Europe, and SMAT Lead on National HPC/Quantum Computing Spoke 1 (2022–2025) Labs/Teams: Leads the CAD Group and collaborates with the French-Italian LIA LAFISI lab on hardware-software integration.
Tengyu Ma is an Assistant Professor of Computer Science at Stanford University. His research focuses on machine learning, deep learning, optimization, and theoretical computer science. He is particularly known for work on neural networks, reinforcement learning, and algorithmic guarantees in AI systems. His email is tengyuma@stanford.edu . Ma's research interests span foundational aspects of machine learning, including generalization theory, optimization algorithms, and the theoretical underpinnings of deep learning. He has contributed to areas such as self-play theorem provers, learning rate schedules, and robustness in low-light vision tasks. His work often bridges theoretical insights with practical algorithm design. His recent publications emphasize advancements in large language models (LLMs), theorem proving via self-play, and understanding training dynamics in deep networks. Despite prolific output, no specific scientific awards are explicitly mentioned in the provided texts. Ongoing work includes exploring in-context learning mechanisms, formal verification of AI systems, and efficient pretraining techniques. His research has implications for both theoretical understanding and real-world applications of AI.
Qi Alfred Chen is an Assistant Professor in the Department of Computer Science at the University of California, Irvine (UCI), within the Donald Bren School of Information and Computer Sciences. He also holds affiliations with the Department of Electrical Engineering and Computer Science (EECS), the Institute of Transportation Studies at UC Irvine (ITS-Irvine), the Center for Embedded and Cyber-physical Systems (CECS), the Institute for Software Research (ISR), and the UC Irvine Cybersecurity Policy & Research Institute (CPRI). His research focuses on network and systems security, with particular emphasis on autonomous vehicle and IoT security. Dr. Chen received his Ph.D. from the University of Michigan in 2018. His educational background has prepared him for his current research in security of critical computer systems. His work bridges theoretical security principles with practical implementations in real-world systems. Chen's research interests center on network and systems security , with a major focus on smart systems and IoT security , particularly in transportation and autonomous vehicle systems . His work addresses security challenges through systematic problem analysis and mitigation, discovering and mitigating security problems in next-generation transportation systems, smartphone OSes, network protocols, DNS, GUI systems, and access control systems. His research has high impact in both academic and industry contexts, with over 10 top-tier conference papers, a DHS US-CERT alert, multiple CVEs, and coverage in major news media like Fortune and BBC News. His publication record shows a clear evolution from foundational work on network protocols and smartphone security toward increasingly sophisticated security analyses of autonomous vehicle systems and AI-powered transportation technologies. The research trajectory demonstrates growing technical sophistication and real-world impact, with recent work focusing on physical-world adversarial attacks against autonomous driving perception systems, LiDAR spoofing, and security of multi-sensor fusion in autonomous vehicles. NSF CAREER Award (2022) on securing the AI stack in emerging autonomous and connected CPSs Chancellor's Award for Excellence in Undergraduate Research Mentorship, UC Irvine (2021) 5th place nation-wide at National CCDC competition (2021, as faculty advisor) 1st place (Gold Medal) at CCDC Western Regional competition (2021) ProQuest Distinguished Dissertation Award, University of Michigan (2019) Dr. Chen has mentored numerous successful students, including PhD candidates and undergraduates who have gone on to positions at major tech companies like Meta, Uber, Amazon, and Intel. His research group has secured significant funding, including an NSF CAREER award, and has made substantial contributions to the field through high-impact publications and vulnerability disclosures. He is also the co-founder of the ISOC VehicleSec Symposium and has organized the AutoDriving CTF contest at DEF CON. Chen leads the AV & IoAT Security Research Group at UCI, focusing on security challenges in autonomous vehicles and the broader Internet of Autonomous Things. His team has developed numerous attack demonstrations and security analyses that have received significant media attention and influenced industry practices. The group maintains an active YouTube channel showcasing their security research.
Fabio Aurelio D'Asaro is a Researcher at the Department of Human Sciences , University of Verona. His research focuses on Logic , Non-Standard Logics (non-monotonic, paraconsistent, modal, and probabilistic reasoning), and Explainable AI , with interdisciplinary connections to Philosophy of Science and Computational Epistemology . He explores how transparent AI systems can enhance trust, reliability, and ethical considerations in human-machine interactions, addressing topics like autonomy, control, and moral responsibility. D'Asaro is involved in international collaborations with institutions such as UCL KIDS , Imperial SPIKE , and LUCI Unimi . He also serves as an editor and organizer for journals and conferences on Explainable AI , AI Ethics , and Formal Argumentation . Research Grants : Development of Artificial Intelligence methods to support insurance policy sales (2022–2025) Scientific Awards : Premio italiano di Pedagogia 2025 (SIPED prize) for the book Il feedback a scuola. Strategie per promuovere l'apprendimento Teaching Roles : Big data epistemology (Master's Degree in Data Science) Computational epistemology and philosophy (Master's Degree in Artificial Intelligence) Logic and philosophy of science (Bachelor's Degree in Philosophy) Clinical logic and philosophy of science in physiotherapy (Bachelor's Degree in Physiotherapy programs across Vicenza, Rovereto, and Verona) Committee Memberships : ETHICS COMMITTEE – Human Sciences Research Policy Committee Seminar and Publications Committee
Ruihong Huang is an Associate Professor in the Department of Computer Science and Engineering at Texas A&M University, part of the College of Engineering. She holds a Ph.D. from the University of Utah (2014) and completed a postdoctoral fellowship at Stanford University. Her research focuses on Natural Language Processing (NLP) with emphasis on information extraction, event recognition, media bias analysis, and ethical AI applications. She teaches courses like Information Storage and Retrieval (CSCE 470), Natural Language Processing (CSCE 638), and has advised numerous PhD, Master’s, and undergraduate students. Key research contributions include work on event coreference resolution, discourse analysis, and detecting media bias through event relation graphs. Huang has developed benchmark datasets like UAL-Bench and EMONA, and her work spans applications in disaster management, fake news detection, and moral reasoning in LLMs. She is a recipient of the NSF CAREER Award and serves on program committees for top conferences like ACL and EMNLP. Her academic service includes roles as Area Chair for ACL 2024 and Senior Area Chair for EMNLP 2024. She maintains an active lab group focusing on NLP fundamentals and real-world applications, with projects involving propaganda identification, polarity calibration for opinion summarization, and multimodal dialog act classification. Huang has published over 80 papers in top-tier venues such as NAACL, EMNLP, ACL, and NeurIPS.
Navid Azizan is the Alfred H. (1929) and Jean M. Hayes Career Development Assistant Professor at Massachusetts Institute of Technology (MIT), holding dual appointments in the Department of Mechanical Engineering (in Control, Instrumentation & Robotics) and the Schwarzman College of Computing's Institute for Data, Systems & Society (IDSS). He is also a Principal Investigator in the Laboratory for Information & Decision Systems (LIDS), and a faculty member of the MIT Statistics and Data Science Center, the Center for Computational Science and Engineering, and the Operations Research Center. Dr. Azizan received his PhD in Computing and Mathematical Sciences from the California Institute of Technology (Caltech) in 2020, his MSc in Electrical Engineering from the University of Southern California in 2015, and his BSc in Electrical Engineering with a minor in Physics from Sharif University of Technology in 2013. Prior to joining MIT, he completed a postdoc at Stanford University's Autonomous Systems Laboratory and was a research scientist intern at Google DeepMind. His research spans the intersection of machine learning, systems and control, mathematical optimization, and network science. Dr. Azizan's work focuses on developing principled learning and optimization algorithms for reliable intelligent systems, with applications to autonomy and sociotechnical systems. His research has significant implications for creating trustworthy AI systems that can operate effectively in complex, uncertain environments. Dr. Azizan's recent publications demonstrate a strong focus on uncertainty quantification, reliable AI systems, constrained optimization, and control-oriented learning. His work bridges theoretical foundations with practical applications, particularly in autonomous systems where safety and reliability are paramount. His research group has made notable contributions to areas including neural network verification, multi-agent reinforcement learning, and adaptive inference techniques for large language models, with several papers featured on MIT News and selected for oral presentations at top conferences. Alfred H. (1929) and Jean M. Hayes Career Development Professorship (2025-present) Frank E. Perkins Award for Excellence in Graduate Advising (2025) List of Outstanding Academic Leaders in Data from the CDO Magazine (2024, 2023) Amazon Science Hub Research Award (2023) Outstanding UROP Faculty Mentor (2023) Esther and Harold E. Edgerton (1927) Career Development Chair (2022-2025) Information Theory and Applications (ITA) Gold Graduation Award (2020) Dr. Azizan has been recognized for his excellence in graduate advising, receiving the Frank E. Perkins Award for Excellence in Graduate Advising in 2025. During the pandemic, he founded and co-organized the 'Control meets Learning' virtual seminar series, connecting researchers across disciplines. His work has attracted significant research funding from industry partners including Google, Amazon, and MathWorks, supporting both fundamental research and practical applications in reliable intelligent systems. The Azizan Lab at MIT brings together researchers from mechanical engineering, computer science, and applied mathematics to tackle challenges at the intersection of learning and control. The lab emphasizes both theoretical foundations and practical implementations, with a particular focus on developing algorithms that provide guarantees of performance and safety. Current research directions include uncertainty quantification in AI systems, constrained optimization for neural networks, and control-oriented learning for autonomous systems, with applications spanning robotics, transportation, and complex sociotechnical systems.
Kuldeep S. Meel is the Stephen Fleming Early-Career Associate Professor at the School of Computer Science, Georgia Institute of Technology, and an Associate Professor at the University of Toronto (on leave). He previously held a NUS Presidential Young Professorship at the National University of Singapore. His research focuses on automated reasoning, aiming to enable computing systems to handle uncertain real-world environments through scalable techniques integrating randomized algorithms, statistical inference, formal methods, distribution testing, and software engineering. Core research areas: Automated Reasoning, Formal Methods, Approximate Model Counting, Probabilistic Inference, Constraint Solving His research group has achieved significant recognition in both individual awards and publications. Key trends in his recent work include advancing model counting algorithms, developing frameworks for probabilistic explanations, and improving scalability in formal verification and constraint satisfaction. His tools have consistently ranked top in international competitions, demonstrating practical impact in automated reasoning. 2019 NRF Fellowship for AI 2022 ACP Early Career Researcher Award 2020 IEEE Intelligent Systems AI's 10 to Watch Top placements in Model Counting, SAT, and CAV competitions He mentors a diverse group of PhD and Master's students and collaborates with institutions worldwide. His group's publications span premier conferences in AI, formal methods, and design automation, reflecting interdisciplinary contributions to theoretical and applied computer science.
Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.
Joydeep Biswas is an Associate Professor in the Computer Science Department at the University of Texas at Austin, where he serves as the Director of the Autonomous Mobile Robotics Laboratory (AMRL). He is also affiliated with Texas Robotics, the UT Machine Learning Laboratory, and UT Good Systems. Previously, he was an Assistant Professor in the College of Information and Computer Sciences at the University of Massachusetts Amherst. Dr. Biswas earned his PhD in Robotics from Carnegie Mellon University in 2014 and his B.Tech in Engineering Physics from the Indian Institute of Technology Bombay in 2008. His educational background has provided him with a strong foundation in both theoretical and applied aspects of robotics and artificial intelligence. Dr. Biswas's research focuses on enabling long-term autonomy for mobile robots operating in human environments. His work spans robot perception, motion planning, control systems, and AI, with the ultimate goal of creating self-sufficient autonomous mobile robots that can perform tasks accurately and robustly in real-world settings. He is particularly interested in perception, planning, and failure recovery for autonomous mobile robots, which supports his vision of having autonomous service mobile robots deployed at campus-to-city scale, both indoors and outdoors, performing assistive tasks over deployments spanning years. His IJCAI 2019 Early Career Spotlight talk summarizes much of his research to date and ongoing interests. His recent research has shown a strong trend toward social navigation, human-robot interaction, and the application of machine learning techniques to robotics problems. There's a clear progression from fundamental robotics research toward more complex, real-world applications that require robots to understand and navigate human social spaces effectively. His work increasingly integrates large language models and other advanced AI techniques with traditional robotics approaches, as evidenced by his recent publications on topics like preference-conditioned navigation, social navigation benchmarks, and instruction-following navigation systems. Dr. Biswas has received numerous prestigious awards including the NSF CAREER Award (2021), J.P. Morgan Faculty Research Award (2019), Amazon Research Award (2019), and a grant from Northrop Grumman Mission Systems (2018). These awards recognize his innovative contributions to the field of robotics and autonomous systems. As a dedicated educator and mentor, Dr. Biswas actively supervises PhD and master's students, with his PhD student Sadegh Rabiee winning the student poster award at the Northrop Grumman University Symposium 2019. He has secured significant grant funding from the National Science Foundation for projects including 'Introspective Perception and Planning for Long-Term Autonomy' and 'Interactive Synthesis and Repair For Robot Programs,' demonstrating his ability to secure competitive research funding and his commitment to advancing the field. Dr. Biswas leads the Autonomous Mobile Robotics Laboratory (AMRL), which serves as a hub for interdisciplinary research in mobile robotics. The lab has developed notable resources such as the UT Campus Object Dataset (CODA) for 3D perception research and SOCIALGYM, a framework for benchmarking social robot navigation. His team regularly deploys robots on the UT Austin campus and in urban environments to test and refine their approaches in realistic settings, bridging the gap between simulation and real-world application.
Christoph H. Lampert is a Professor at the Institute of Science and Technology Austria (ISTA), leading the Machine Learning and Computer Vision (MLCV) Group. His research spans machine learning, computer vision, and trustworthy AI with emphasis on robustness and fairness. He serves as ELLIS Fellow and Unit Director for ISTA's ELLIS unit. His research program focuses on foundational challenges in machine learning including robustness against distribution shifts, fairness in algorithmic decision-making, and verification of neural networks. Key contributions include work on 1-Lipschitz networks for robust classification, multi-source learning frameworks, and federated learning architectures. The group maintains strong output in top-tier venues through theoretical and empirical approaches. Recent publications (2023-2025) demonstrate consistent focus on verification, robustness, and multi-source learning, with notable recognition including the DARPA Disruptive Ideas award for logic gate neural network verification. Work frequently bridges computer vision and machine learning theory, with applications in safety-critical systems. Scientific Awards: ELLIS Fellow DARPA Disruptive Ideas award at NeuS (2025) for "Logic Gate Neural Networks are Good for Verification" Professor Lampert has supervised 12+ PhD students including recent graduates Alex Peste (2023), Nikola Konstantinov (2022), and Mary Phuong (2021), with current advisees including Max Cairney-Leeming and Egor Zverev. His group secures consistent publication placements at NeurIPS, ICML, and ICLR while editing major volumes like "Advanced Structured Prediction" (MIT Press 2015). The MLCV group comprises 10+ members including postdocs and PhD students, operating within ISTA's ELLIS unit (approved 2019). The team maintains active collaborations across Europe through the ELLIS network and regularly hosts visiting researchers.
Lorraine (Xiang) Li is an Assistant Professor in the Department of Computer Science at the University of Pittsburgh’s School of Computing and Information (SCI). Her research focuses on the intersection of natural language processing, commonsense reasoning, knowledge representation, and machine learning, particularly in designing probabilistic models and evaluation methods for implicit commonsense knowledge in language. Li holds a PhD from the University of Massachusetts, Amherst, and previously worked as a young investigator with the Mosaic team at AI2. She has an M.S. in Computer Science from the University of Chicago, where she conducted research at TTIC. Her work emphasizes advancing AI’s ability to reason contextually and generate robust, human-like understanding through probabilistic frameworks. Key research themes include bias detection in reasoning models, iterative model editing, domain adaptation with LLMs, and evaluating commonsense through probabilistic measures. Her recent publications explore challenges like confirmation bias in chain-of-thought reasoning and geographical robustness in object recognition. Li actively contributes to the NLP community, serving on program committees for ACL, EMNLP, NAACL, and ARR. Though no formal awards are listed, her prolific publication record reflects her impact in AI research. She currently leads research in procedural knowledge models (e.g., Plasma) and long-tail knowledge generation, advancing foundational AI methodologies.
Song Kim is an Associate Professor of Political Science at the Massachusetts Institute of Technology (MIT) and a Faculty Affiliate at the Institute for Data, Systems, and Society (IDSS). He holds a Ph.D. in Politics from Princeton University, where he was awarded the Harold W. Dodds Fellowship (2012-2013). His research focuses on International Political Economy, Formal and Quantitative Methodology, and Big Data analysis of international trade. He is particularly known for his work on firm-level political incentives in trade liberalization, which earned him the 2015 Mancur Olson Award and the 2018 Michael Wallerstein Award for best published article in political economy. Kim develops computational methods for analyzing trade data, including dimension reduction and visualization techniques. He maintains two key databases: LobbyView (tracking firm lobbying efforts) and TradeLab (for trade policy analysis). His research has been published in top journals such as the American Political Science Review, American Journal of Political Science, and International Organization. Educations : Ph.D. in Politics (Princeton University), B.A. not explicitly stated. His research interests include the dynamical evolution of lobbying networks, strategic links between political donations and lobbying, and the political origins of trade regulations. He also contributes methodological innovations, such as two-way fixed effects models and matching methods for causal inference with panel data. Awards : Mancur Olson Award (2015) Michael Wallerstein Award (2018) Harold W. Dodds Fellowship (2012-2013) Advising & Grants : No listed advisees. His work is supported by MIT’s IDSS and institutional funding. He collaborates on software tools like the 'wfe' and 'concordance' R packages, advancing computational social science. Labs/Teams : Associated with MIT’s Political Science Department and IDSS, focusing on interdisciplinary projects in trade, lobbying, and quantitative methods.