Dr. Andrea Martinelli is a Lecturer and Postdoctoral Researcher at the Automatic Control Laboratory (IfA), ETH Zurich. He holds a PhD in Automatic Control from ETH Zurich (2024) under Prof. John Lygeros, an MSc in Control Engineering (2017) from Politecnico di Milano, and a BSc in Management Engineering (2015). His research focuses on optimal control, reinforcement learning, and decentralized control strategies for large-scale systems, emphasizing scalability and applicability to renewable energy systems. He received the ETH Medal for his doctoral thesis on data-driven control methods. Education: BSc in Management Engineering, Politecnico di Milano (2015) MSc in Control Engineering with Honours, Politechnico di Milano (2017) PhD in Automatic Control, ETH Zurich (2024) Research Interests: Optimal control and reinforcement learning Data-driven methods for control systems Decentralized control of interconnected systems Dissipativity theory and passivity-based approaches Applications in renewable energy systems (DC microgrids) Teaching & Outreach: Program Manager for the CAS ETH in Automation Teaching a post-graduate course on automation in 2025 Professional Activities: Worked at Laboratoire d'Automatique (EPFL) during MSc thesis (2017) Research Assistant with Prof. R. Scattolini, Politecnico di Milano (2018)
Soheil Salehi is a tenure-track Assistant Professor in the Department of Electrical and Computer Engineering at the University of Arizona, with a joint appointment in Systems and Industrial Engineering. He is the Director of the Privacy-preserving, Intelligent, and Secure Computing (PRISM) Lab, established in August 2022. Prior to this, he was an NSF-Sponsored Computing Innovation Fellow and Postdoctoral Research Fellow at the University of California, Davis. Ph.D., Electrical and Computer Engineering, University of Central Florida, 2020 M.S., Electrical and Computer Engineering, University of Central Florida, 2016 B.S., Isfahan University of Technology, Iran, 2014 Dr. Salehi's research focuses on the intersection of hardware, AI, and security. His work spans hardware and AI-enabled security in IoT , Generative AI for hardware design and security , neuromorphic and biologically-inspired AI hardware , emerging spin-based devices , reconfigurable architectures , low-power VLSI circuits , and digital twins and mixed reality for semiconductor workforce development . He also explores the application of Generative AI in personalized education . His recent publications, spanning 2023–2025, reveal a strong trend toward integrating AI and machine learning into hardware security and design. Key themes include automated secure IC design flows , AI-driven hardware obfuscation , firmware and side-channel attack analysis , security in neuromorphic and spiking neural networks , and educational frameworks using digital twins and generative models . His work appears in top venues like DAC, ICCAD, USENIX Security, IEEE TCAS-I, and ISCAS. Outstanding Reviewer Award, IEEE/ACM Design Automation Conference (DAC), 2023 Best Presentation of the Symposium Award, UC Davis Postdoctoral Research Symposium, 2021 UCF Excellence by a Graduate Teaching Assistant (University-Level), 2016 Nominated for 30-under-30 Award, UCF, 2020 Nominated for Postdoctoral Research Excellence Award, UC Davis, 2022 Dr. Salehi has secured significant research funding as PI and Co-PI, including a $300K NSF SaTC EAGER grant on Generative AI-based Personalized Cybersecurity Tutor, a $174,000 University of Arizona PIF Award, and multiple RII grants totaling over $198K. He has also received industry funding from CHEST. He actively mentors students and leads the PRISM Lab, which focuses on privacy-preserving and intelligent secure computing. His service includes roles as Technical Program Committee (TPC) Member and Session Chair at premier conferences such as DAC, ICCAD, CCS, NDSS, and GLSVLSI. The PRISM Lab, under his direction, conducts cutting-edge research in secure and intelligent hardware systems, with applications in IoT, edge computing, and workforce development. The lab emphasizes interdisciplinary collaboration and innovation in both research and education.
Martin Burke is the May and Ving Lee Professor for Chemical Innovation and Professor of Chemistry at the University of Illinois Urbana-Champaign , with additional appointments in Biochemistry, Biomedical & Translational Sciences, and multiple campus institutes including the Beckman Institute and the Carl R. Woese Institute for Genomic Biology. Education B.S. Johns Hopkins University , 1998 Ph.D. Harvard University , 2003 M.D. Harvard Medical School , 2003 Research Interests Burke’s program centers on molecular prosthetics : the design, synthesis and application of small molecules that replicate or replace missing or dysfunctional proteins. His group pioneered iterative cross-coupling (ICC) using MIDA-protected haloboronic acids to automate the construction of complex natural products and function-oriented small molecules. Current projects target ion-channel replacement in cystic fibrosis, iron-transport restoration in anemia, and non-toxic antifungals that overcome drug resistance. Scientific Awards & Honors National Academy of Medicine (2021) AAAS Fellow (2021) ASCI Member (2021) iCON Award (2019) Mukaiyama Award, Japan (2019) ACS Nobel Laureate Award for Graduate Education (2017) Thieme-IUPAC Prize in Synthetic Organic Chemistry (2014) Elias J. Corey Award (2013) Arthur C. Cope Scholar Award (2011) Research Output & Impact Burke has authored >120 peer-reviewed articles, >30 patents, and his work has been cited >20,000 times. High-impact publications in Nature , Science , and Angewandte Chemie have advanced automated synthesis, molecular prosthetics, and cystic fibrosis therapeutics. Laboratory & Training The Burke Laboratories house a multidisciplinary team of graduate students, post-doctoral researchers, and physician-scientists developing next-generation molecular prosthetics. The group is supported by NIH, NSF, private foundations, and industry partnerships aimed at democratizing molecular innovation.
Jason Eisner is a Professor in the Department of Computer Science at Johns Hopkins University's Whiting School of Engineering, with a secondary joint appointment in Cognitive Science. He is affiliated with the Center for Language and Speech Processing (CLSP), the Human Language Technology Center of Excellence, and leads JHU's cross-departmental machine learning group. His research focuses on developing probabilistic modeling, inference, and learning techniques for linguistic structure. Eisner has authored over 100 papers in computational linguistics, particularly in parsing, grammar induction, machine translation, computational phonology, computational morphology, and weighted finite-state methods. He is the lead designer of Dyna, a declarative programming language for AI research that allows concise programs backed by efficiency tricks. Eisner's work centers on novel methods in NLP and machine learning, with emphasis on probabilistic modeling and inference in complex, structured settings. His research program combines computer science with statistics and linguistics to create statistical models that capture linguistic structure and develop efficient algorithms for applying these models to data with minimal supervision or through large pre-trained models. As an ACL Fellow, Eisner has made significant contributions to the field. His recent work (2023-2025) shows a strong focus on large language models, semantic parsing, controlled text generation, model interpretability, and privacy-preserving techniques, continuing his long-standing interest in the intersection of probabilistic modeling and linguistic structure. ACL Fellow He teaches courses including Natural Language Processing (601.465/665), Machine Learning: Linguistic and Sequence Modeling (601.765), Declarative Methods (601.325/425/625), and Selected Topics in Natural Language Processing (601.865). His advising focuses on research students through the Argo research group, with emphasis on fundamental research questions in NLP rather than immediate applied engineering.
Gerold Schneider is an Associate Professor at the University of Zurich , affiliated with the Department of Computational Linguistics under the Faculty of Arts and Social Sciences and Faculty of Business, Economics and Informatics . He leads the Text Crunching Center (TCC) , focusing on interdisciplinary research at the intersection of NLP, Digital Humanities, and Health Data Science. Research Interests His work spans Text Analytics , Digital Humanities , Corpus Linguistics , and Health Data Science , with applications in: Biomedical NLP (e.g., Alzheimer’s detection, clinical trials) Digital Humanities projects (e.g., analyzing Charles Dickens, UN archives) Migration discourse framing across languages Adversarial data collection for hate speech detection Interdisciplinary methodologies for digital unstructured data Recent Publications 2025–2024 research highlights include annotated corpora for preclinical and neurological studies, AI-driven analysis of historical linguistic variation, and innovative tools for language learners. His NLP applications address health diagnostics, ethical AI, and cross-lingual political discourse. Labs & Teams As TCC leader, he spearheads collaborative projects within the Digital Society Initiative (DSI) communities (AI & Law, Health, Ethics, etc.), integrating computational methods with humanities and health research.
Sean Welleck is an Assistant Professor at Carnegie Mellon University's School of Computer Science, Language Technologies Institute, leading the L3 Lab. His research focuses on bridging informal and formal reasoning with AI, spanning machine learning for mathematics and code, inference algorithms, and AI agents. PhD in Computer Science from New York University (advised by Kyunghyun Cho) Postdoctoral work at University of Washington (advised by Yejin Choi) His work explores AI-driven formal methods for mathematics and code generation, test-time compute scaling, and algorithms enabling AI improvement over time. Recent publications analyze reasoning evaluation, premise selection, and automated proof optimization in systems like Lean. Key article trends include neural theorem proving, code generation, and inference-time compute optimization. Awards: NVIDIA AI Labs Pioneering Research Awards (2017, 2018), NAACL 2025 Best Paper. Current advisees include PhD students Pranjal Aggarwal, Weihua Du (co-advised with Yiming Yang), Andre He (co-advised with Daniel Fried), and Seungone Kim (co-advised with Graham Neubig). He co-organizes workshops like Autoformalization for the Working Mathematician (ICERM 2025) and VerifAI: AI Verification in the Wild (ICLR 2025), and teaches Advanced NLP at CMU.
Caroline Lemieux is an Assistant Professor at the Department of Computer Science, University of British Columbia (UBC), with research focused on advancing software correctness, security, and performance through innovative testing and synthesis techniques. Her work bridges Programming Languages and Software Engineering , particularly in fuzz testing, specification mining, and program synthesis. PhD from University of California, Berkeley (2021), advised by Koushik Sen Postdoctoral researcher at Microsoft Research, NYC (2021-2022) Key contributions: FuzzFactory , CodaMOSA , Arvada , and Gauss Her research integrates machine learning with traditional testing methods, exemplified by projects like RLCheck (reinforcement learning for test generation) and AutoPandas (neural synthesis for dataframes). Recent publications analyze generator-based fuzzing challenges and propose hybrid strategies combining coverage feedback with AI-driven insights. Scientific Awards : ACM/SIGSOFT Best Paper Award (ESEC/FSE 2019) ACM/SIGSOFT Tool Demonstration Award (ISSTA 2019) ACM/SIGSOFT Distinguished Artifact Award (ISSTA 2019) NSERC Postgraduate Scholarship-Doctoral (PGS D) UBC Governor General's Silver Medal (2016) Teaching roles include: 2025W2: CPSC 539L - Topics in Programming Languages 2024W2: CPSC 410 - Advanced Software Engineering 2023W2: CPSC 410 (with Alex Summers) She supervises graduate and undergraduate researchers working on projects like ExploTest (automated unit test generation) and GRIMOIRE (grammar extraction from pseudo-rules). Her research team collaborates with institutions including Microsoft Research, Google, and academic partners in systems security and AI-driven testing.
Hadi Esmaeilzadeh is an Associate Professor at the University of California, San Diego in the Department of Computer Science and Engineering . He leads the Alternative Computing Technologies (ACT) Laboratory and serves as Associate Director of the Center for Machine Integrated Computing and Security (MICS) . Previously, he was an Assistant Professor at Georgia Institute of Technology. Ph.D., Computer Science and Engineering, University of Washington (2013) Research focuses on computer architecture , machine learning acceleration , and approximate computing His work has produced 15+ publications spanning IEEE Micro Top Picks , CACM Research Highlights , and ISCA . Key projects include: Tabla : Cross-stack ML acceleration framework DnnWeaver : Open-source DNN acceleration platform Major honors include: IEEE TCCA Young Computer Architect Award ISCA Hall of Fame Qualcomm Innovation Fellowship Georgia Tech PURA Award Teaching roles: CSE 141: Introduction to Computer Architecture CSE 240D: Accelerator Design for Deep Learning CSE 240A: Principles of Computer Architecture
Juan Zhai is an Assistant Professor in the Manning College of Information and Computer Sciences (CICS) at the University of Massachusetts Amherst. She co-directs the Laboratory for Advanced Software Engineering Research (LASER) and is a member of the UMass NLP group. Her research advances software engineering through automated techniques for building high-quality systems with emphasis on behavioral specifications, AI safety, and trustworthy AI. Her work addresses the fundamental challenge of aligning software behavior with intended specifications through two main directions: automated specification synthesis (translating natural language comments to formal specifications via tools like C2S and LLMCup) and defect detection/repair (developing frameworks for AI system testing, bias mitigation, and training diagnostics). Her vision integrates these into end-to-end assurance systems that continuously validate, repair, and audit evolving software in dynamic environments. Recent publications (2024-2025) reveal dominant trends at the software engineering/AI intersection: formal specification synthesis for IoT and code generation, comment maintenance using LLMs, deep learning framework testing (DevMuT, Citadel), bias detection in LLMs, and automated training repair (AutoTrainer, DREAM). These contributions appear in top venues including ICSE, FSE, ASE, ISSTA, and ACL. Professor Zhai currently advises PhD student Gehao Zhang (focusing on Software Engineering and AI Safety) and actively recruits new PhD/Master's students. Her LASER lab develops practical tools for specification inference, LLM-driven synthesis, and trustworthy AI, while collaborating with the UMass NLP group on language-centric software analysis. The LASER lab, co-directed by Zhai, pioneers techniques for behavioral specification enforcement across traditional and AI-powered systems. Key projects include CPC for bidirectional code-comment analysis, ModelMeta for deep learning framework testing, and frameworks for bias mitigation across the ML lifecycle. The lab emphasizes practical, scalable tools that enhance correctness, robustness, and fairness in critical AI applications.
Conor Ryan is a Professor in the Department of Computer Science & Information Systems at the University of Limerick. He is a Science Foundation Ireland-funded Investigator since 2002 and a member of multiple research centres including Lero – the Irish Software Research Centre and the Limerick Digital Cancer Research Centre. His research focuses on Genetic Programming, Grammatical Evolution, and their applications in domains like healthcare analytics, digital circuit design, and financial modeling. He has authored over 250 publications, with recent work emphasizing automated feature selection in medical diagnostics, neural architecture search, and blockchain ecosystems. Teaching includes courses on Foundations of Computer Science and Computer Games Programming. Research interests span evolutionary computation, machine learning, and interdisciplinary applications. Collaborations involve global institutions, reflecting his work's impact across computer science, engineering, and healthcare. His research has addressed challenges in breast cancer diagnosis via genetic algorithms, cryptocurrency volatility prediction using random forests, and automated generation of digital circuits. Ongoing projects explore interpretability in AI, energy-efficient computing, and sustainable transport systems through predictive analytics. Professional memberships include roles in the Centre for Research Training in Foundations of Data Science and the Data-Driven Computer Engineering Research Centre, underscoring his commitment to interdisciplinary innovation.
Daniel Varro is a Professor affiliated with McGill University (Faculty of Engineering, School of Computer Science), with strong ties to Budapest University of Technology and Economics and Linköping University. He is a leading researcher in model-driven engineering, cyber-physical systems, and software engineering, actively contributing to top-tier conferences such as MODELS, ICSE, and ASE. His research focuses on model-based systems engineering (MBSE) , automated model generation , model transformations , and constraint-based consistency checking . Recently, his work has expanded into integrating large language models (LLMs) and machine learning into modeling workflows, including model querying, domain modeling, and bug detection. The recent publications reveal a strong trend toward AI-augmented modeling, logic-based solvers (e.g., Refinery), and safety assurance of autonomous systems (e.g., COLREGs compliance). His work bridges formal methods with practical software engineering challenges in industrial and safety-critical domains. Scientific Awards: No specific awards mentioned in the text. Advising and Grants: While no explicit list of students or grants is provided, his mentorship in the Doctoral Symposium and repeated leadership roles suggest active supervision and likely grant funding. He has led projects on automated model generation, model quality, and AI integration in modeling. Labs and Teams: Daniel Varro is associated with research groups focused on model-driven engineering and software evolution, likely leading or co-leading teams working on the VIATRA and Refinery frameworks for model transformation and solving.
Anders Rantzer is a Professor of Automatic Control at the Department of Control Engineering, Faculty of Engineering, Lund University, Sweden. He has held visiting positions at Caltech (2004–2005) and the University of Minnesota (2015–2016) as the Taylor Family Distinguished Visiting Professor. His academic journey began with a PhD from KTH Stockholm in 1991, followed by a postdoc at the Institute for Mathematics and its Applications (IMA), University of Minnesota. His research interests center on modeling, analysis, and synthesis of control systems , with a strong focus on scalability, adaptation, and applications in energy networks . He is particularly known for foundational work in positive systems and integral quadratic constraints (IQCs) . These theoretical frameworks are critical in analyzing stability and robustness of large-scale interconnected systems. His work bridges mathematical rigor with practical engineering applications, especially in sustainable energy and networked systems. The recent publications and lecture materials reflect a consistent trajectory in scalable and robust control, optimization, and distributed systems. Themes such as large-scale convex optimization , nonlinear and stochastic control , and network dynamics dominate his scholarly output, indicating a sustained commitment to advancing control theory for complex, real-world systems. Scientific honors include: Fellow of IEEE Member of the Royal Swedish Academy of Engineering Sciences (IVA) Chairman of the Swedish Scientific Council for Natural and Engineering Sciences Chairman of the Royal Physiographic Society of Lund Rantzer has supervised numerous students and contributed extensively to academic leadership and education. He has been involved in major national and international research initiatives such as WASP (Wallenberg AI, Autonomous Systems and Software Program) and ELLIIT. His work includes developing educational tools and courses in control, optimization, and machine learning. He leads and contributes to research projects on autonomous systems, cloud control, and smart energy networks. He is affiliated with the Control Lab at LTH and participates in collaborative efforts such as the Nordic University Hub on Industrial Internet of Things (HI2OT). His work integrates theoretical advances with practical implementations in robotics, biomedical systems, and industrial automation.
Benyuan Liu is a Professor at the Miner School of Computer and Information Sciences within the Kennedy College of Sciences at the University of Massachusetts Lowell . He serves as Director and Graduate Coordinator for Ph.D. programs, with expertise in Data and Computer Communication Networks, Mobile and Wireless Networks, and Internet Technologies & Applications. Education: B.S., University of Science and Technology of China M.S., Yale University Ph.D., University of Massachusetts Amherst His research focuses on Artificial Intelligence in Medical Imaging , Deep Learning for Endoscopy , and Edge Computing Systems . Recent work includes automated lesion detection, 3D reconstruction from sensor data, and predictive models for financial and reproductive health domains. The 15 most recent publications highlight applications of deep learning in medical diagnostics (thyroid nodules, gastric lesions, dental caries), computer vision (attention mechanisms, transformers), and financial technology (market psychology analysis). Technical themes include mmwave radar processing, diffusion models for synthetic data, and multi-scale feature extraction. Benyuan Liu leads the Computer Networking Lab and CHORDS initiative at UMass Center for Digital Health. His work bridges network optimization with healthcare AI , emphasizing real-time systems and portable diagnostics.
Professor Wayne Luk is a Professor of Computer Engineering at the Department of Computing, Faculty of Engineering, Imperial College London. He leads the Programming Languages and Systems Section and the Custom Computing Research Group, and directs the EPSRC Centre for Doctoral Training in High-performance Embedded and Distributed Systems and the Centre for Advanced Financial Engineering. He previously served as a Visiting Professor at Stanford University from 2006 to 2009. His research spans FPGA acceleration, quantum computing, deep learning optimization, and algorithm-hardware co-design, with affiliations to the CRUK Convergence Science Centre and the Engineering Secure Software Systems group. His research interests include computational modeling for particle physics, causal discovery in agent-based systems, and high-throughput digital electronics. Notable contributions include FPGA-accelerated algorithms for neural networks, quantum circuit simulation, and Bayesian optimization frameworks. His work emphasizes practical applications of reconfigurable hardware in fields like medical imaging, high-energy physics, and financial systems. Professor Luk is a Fellow of the Royal Academy of Engineering, IEEE, and BCS. His publications focus on advancing hardware-aware machine learning, FPGA-based acceleration techniques, and scalable design methodologies. His research bridges theoretical computer science with applied engineering, addressing challenges in real-time systems, embedded computing, and next-generation computing architectures. His academic leadership includes directing interdisciplinary centers and training programs, fostering collaboration across computing, engineering, and physics. Current projects explore quantum computing tools, causal inference systems, and high-performance graph neural networks for particle physics applications.
Debjit Pal is a Post-Doctoral Associate at the School of Electrical and Computer Engineering, Cornell University, and a member of the Computer Systems Laboratory. His research focuses on machine learning techniques for hardware verification, SoC validation, and FPGA optimization. Education: Ph.D. in Computer Engineering (University of Illinois at Urbana-Champaign, 2019) M.S. in Computer Science (IIT Kharagpur, 2012) B.E. in Electronics Engineering (Jadavpur University, 2008) Research Interests: Machine Learning for Electronic Design Automation (EDA) System-on-Chip (SoC) Verification Edge Intelligence as a Service Compiler Optimizations for Reconfigurable and High-Performance Computing Scientific Awards: IEEE CEDA Student Research Award (2016) Best Paper Nomination (ICCAD 2015, DAC 2018, ASP-DAC 2019) E. J. McCluskey Best Doctoral Thesis Competition Semi-Finalist (2020) Travel Grants for ICCAD/DAC/ASPDAC (2018-2019) Professional Roles: Technical Program Committee Member (DAC, VLSID), Reviewer (IEEE TVLSI, DATE, ICCAD). Collaborates with researchers like Zhiru Zhang and Shobha Vasudevan.
