Morteza Fayazi is an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Utah, with an adjunct position in the Kahlert School of Computing. His research focuses on Electronic Design Automation (EDA), applying machine learning to automate analog and mixed-signal circuit design, and developing high-performance computing systems. He holds a B.Sc. from Sharif University of Technology, and M.S.E./Ph.D. degrees from the University of Michigan. His research interests include AI-driven EDA, RF/circuit automation, and energy-efficient processors. Key achievements include the MEDAL lab’s work on terahertz radars, systolic-array processors (e.g., DAP and Versa), and open-source frameworks like FASCINET and Tablext. He has received awards such as the 2024 College of Engineering Dean’s ETR Fund and the 2017 Outstanding Undergraduate Thesis Award. Teaching responsibilities include multiple iterations of the Digital System Design course (ECE/CS 3700). His work spans over 15 peer-reviewed articles in IEEE Transactions, ACM, and top conferences like ICCAD and VLSI-SOC, emphasizing automation, efficiency, and AI integration in hardware design.
Olga Fink is a Tenure Track Assistant Professor at the École Polytechnique Fédérale de Lausanne (EPFL), affiliated with the Department of Intelligent Maintenance and Operations Systems (IMOS) within the School of Architecture, Civil and Environmental Engineering (ENAC). She also holds roles in PhD program committees for Civil and Environmental Engineering (EDCE) and Robotics, Control, and Intelligent Systems (EDRS). Her research focuses on machine learning for infrastructure monitoring, predictive maintenance, and physics-informed AI models. She teaches courses on machine learning, data science for infrastructure, and advanced deep learning topics. Fink advises multiple PhD students and is involved in interdisciplinary projects such as ThermoNeRF (multimodal 3D thermal modeling) and physics-informed neural networks for fault diagnostics. Her work bridges AI and engineering with applications in smart infrastructure, energy systems, and industrial IoT. Education: PhD in Engineering (inferred from role) Affiliations: IMOS Lab, ENAC-SGC, EPFL PhD Committees (EDCE, EDRS) Key Research Themes: Explainable AI, Digital Twins, Structural Health Monitoring, Domain Adaptation Her publications (2023–2025) emphasize robust AI for industrial systems, including fault detection in high-voltage equipment, multimodal data fusion, and physics-consistent models. She collaborates on EU and industry-funded projects, focusing on real-world applications like predictive maintenance and energy efficiency.
Prof. Dr. Philipp Heretsch is a Professor and Executive Director at the Institute of Organic Chemistry, Faculty of Natural Sciences, Leibniz University Hannover. He leads the Natural Product Synthesis research group and holds key roles in academic governance, including Deputy Coordinator for Exchange Programmes and representation on various examination and curriculum boards. Research Interests: His research focuses on the synthesis of complex natural products, particularly terpenes and alkaloids, using biosynthesis-inspired strategies. He develops novel carbon–carbon bond manipulation techniques and rearrangement cascades. A significant emphasis is placed on the biological activity of synthesized compounds. He also pioneers the development of continuous flow reactor systems for the selective transformation of sensitive and short-lived chemical species. Publication Trends: His recent publications (2020–2025) demonstrate a strong focus on biogenesis-inspired total synthesis of highly complex natural products (e.g., canataxpropellane, swinhoeisterol), the application of radical-polar crossover and rearrangement strategies, and the innovative use of flow chemistry for scalable and efficient synthesis of both natural products and functional molecules like odorants and ferrocenyl compounds. Scientific Awards: ADUC Prize of the GDCh (2018) DECHEMA Young Scientist Prize for Natural Product Research (2020) ORCHEM Prize for Young Scientists of the Liebig Association for Organic Chemistry of the GDCh Advising and Grants: While specific students are not listed, he leads an active research group. His work is supported by significant external funding, including an ERC Consolidator Grant for the project "RadCrossSyn" and support from the DFG Heisenberg Program, which facilitated his move to Leibniz University Hannover in 2021. Labs and Teams: He heads the Natural Product Synthesis research group at the Institute of Organic Chemistry, Leibniz University Hannover. His research group, often referred to as the "Heretsch group," is dedicated to developing novel synthetic methodologies and applying them to the synthesis of biologically relevant natural products.
Sanjit A. Seshia is the Cadence Founders Chair Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley . He is affiliated with the Group in Logic and the Methodology of Science and participates in centers like the Industrial Cyber-Physical Systems Center , Berkeley AI Research , and the Simons Institute for the Theory of Computing . Research interests include formal methods for automated verification and synthesis of dependable systems, with applications to cyber-physical systems , AI-based autonomy , and computer security . His work spans SMT solving, model counting, syntax-guided synthesis, and algorithmic improvisation, with tools like UCLID5 , VerifAI , and Scenic for verifying autonomous systems and educational platforms like CPSGrader . Students and collaborators include notable researchers such as Dorsa Sadigh (Stanford), Daniel Fremont (UC Santa Cruz), and Hazem Torfah (Chalmers). He has co-founded startups like Decyphir and 20ⁿ Labs based on his research.
Jean-Claude Besse is a Lecturer in the Department of Physics at ETH Zürich, specializing in superconducting circuits and quantum optics. His research focuses on quantum computing, microwave photonics, and artificial atoms. Research Interests: Besse works on the fabrication of superconducting circuits, modular quantum computing processors, and microwave quantum optics using artificial atoms. His work includes single-photon detection, parity measurements, entanglement stabilization, and quantum networking. He has developed technologies like high-fidelity multiplexed readout and tunable ZZ gates. Key Contributions: Besse led breakthroughs in non-destructive single-photon detection, deterministic remote entanglement, and loophole-free Bell inequality violations. His research enables error-corrected quantum communication protocols and scalable microwave quantum systems. Publications Trends: Recent articles emphasize modular quantum architectures, entanglement stabilization, and microwave photon engineering. Topics include cluster state generation, defect mode mitigation, and reinforcement learning for quantum feedback systems. Labs & Teams: Affiliated with the Laboratorium für Festkörperphysik at ETH Zürich, Besse contributes to advancing superconducting quantum technologies and microwave quantum optics.
Paolo Ienne is a Professor at the Swiss Federal Institute of Technology in Lausanne (EPFL), where he leads the Processor Architecture Laboratory (LAP) within the School of Computer and Communication Sciences. His research focuses on advancing reconfigurable computing systems through innovative FPGA architectures and high-level synthesis methodologies. His primary research domains include reconfigurable computing, FPGA architecture design, dynamically scheduled dataflow circuits, and hardware acceleration techniques. Recent work emphasizes memory system optimization for FPGAs, formal verification of circuit transformations, and rapid C-to-hardware compilation flows. He has pioneered approaches for handling thousands of outstanding memory misses in FPGA accelerators and developed novel techniques for switch-block exploration without explicit pattern enumeration. Analysis of his 2023-2025 publications reveals a strong trend toward practical FPGA deployment challenges, with increasing focus on HBM integration, virtual memory systems for PCIe-attached devices, and formally verified circuit transformations. His work consistently targets real-world bottlenecks in high-level synthesis toolchains while maintaining theoretical rigor in dataflow architecture design. Professor Ienne's laboratory receives support from the Swiss National Science Foundation and industry partners including Huawei, enabling cutting-edge research in FPGA-based acceleration. His collaborative network spans major semiconductor companies and academic institutions worldwide, with frequent co-authorship on conference proceedings and journal publications in IEEE and ACM venues.
Adam Yala is an Assistant Professor of Computational Precision Health, Statistics, and Electrical Engineering and Computer Science at UC Berkeley and UCSF. He is also the Founder & CEO of Voio Inc., a company focused on clinical translation of AI tools. PhD in Computer Science from MIT (2022) His research lies at the intersection of Machine Learning and Precision Medicine, with a focus on robust AI tools for clinical deployment, personalized screening policies, and private data sharing. Current work includes multi-modal imaging analysis, decision guarantees in clinical workflows, and prospective trials in oncology and radiology. Recent publications highlight advancements in AI for cancer risk prediction, vision-language models in healthcare, and data privacy techniques. Tools like Mirai are implemented in 66 hospitals across 30 countries. Bakar Fellows Spark Award (2024) Eppy Award: Investigative Reporting (2022) Falling Walls Finalist: Life Science (2022) NSF Fellowship (2016) He advises PhD students in AI-driven healthcare and collaborates with hospital systems globally. His lab emphasizes clinical translation of machine learning methods in radiology and oncology.
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.
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.
Supratik Chakraborty serves as the Bajaj Group Chair Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay. He maintains dual affiliations with the Centre for Formal Design and Verification of Software and the Centre for Liberal Education at IIT Bombay, demonstrating his cross-disciplinary engagement. Professor Chakraborty's research spans formal methods with focus on formal verification, rigorous analysis of system models, and automated synthesis of systems from specifications. His work bridges theoretical foundations with practical applications, particularly in developing mathematically provable guarantees for increasingly complex hardware, software, and intelligent systems. Current research interests include constrained counting and sampling, scalable formal verification of software and hardware systems, automated synthesis of programs and circuits, and applications of automata, logic and finite model theory to practical verification challenges. His publication trajectory shows a significant evolution from traditional hardware and software verification toward addressing verification challenges in machine learning and AI systems. Recent work increasingly focuses on interpretability of black-box models, verification of neural networks, and synthesis techniques applicable to intelligent systems. The research demonstrates strong interdisciplinary connections between formal methods, programming languages, and artificial intelligence. IIT Bombay Excellence in Thesis (CSE) Award 2011 (for Bhargav Gulavani's thesis) IIT Bombay Excellence in Thesis (CSE) Award 2017 (for Abhisekh Sankaran's thesis) Best Paper in Algorithms and Architecture track at IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1998 Professor Chakraborty has successfully supervised 11 doctoral students, with research spanning formal verification techniques, Boolean functional synthesis, constrained counting, and applications to hardware and software systems. His students have gone on to positions at major institutions including Microsoft Research, TCS Research, Georgia Tech, and BARC, reflecting the strong industry and academic impact of his mentorship. Current research directions show increasing emphasis on verification challenges posed by machine learning systems and AI. His research group at IIT Bombay, while not explicitly named in the materials, appears to focus on formal methods with strong connections to the Centre for Formal Design and Verification of Software. The group maintains active collaborations with international researchers including Moshe Y. Vardi at Rice University, and has made significant contributions to verification tools like VeriAbs that bridge theoretical advances with practical applications.
Prof. Christian Heipke is a distinguished academic serving as Dean of the Faculty of Civil Engineering and Geodetic Science at Leibniz University Hannover, Germany. He also holds the position of Executive Director at the Institute of Photogrammetry and GeoInformation (IPI), one of the leading research institutions in geospatial sciences within the faculty. His leadership extends across multiple committees including the Curriculum and Teaching Committee, Admissions and Examination Boards for Geodetic Science and Geoinformatics, and Navigation and Environmental Robotics. As a Professor at IPI, he maintains active research while overseeing significant academic and administrative responsibilities at the university. Professor Heipke's research spans multiple domains within geospatial sciences, with particular emphasis on: Advanced photogrammetric techniques and algorithms Remote sensing applications for environmental monitoring Computer vision approaches for geospatial data analysis Urban development monitoring using satellite imagery Machine learning applications in geoinformatics Disaster prediction and management systems His recent scholarly output reveals a strong focus on integrating cutting-edge computer vision and deep learning techniques with traditional photogrammetric methods. Analysis of his 15 most recent publications shows a clear trajectory toward more sophisticated AI-driven approaches for processing geospatial data, with particular attention to time-series analysis, uncertainty quantification, and multi-view systems. His work bridges theoretical advancements with practical applications in flood forecasting, deforestation monitoring, urban planning, and construction materials analysis. The geographic scope of his research has expanded significantly, with recent projects focusing on international case studies in the Philippines and tropical regions. Professor Heipke leads the Institute of Photogrammetry and GeoInformation, a major research hub that has celebrated 75 years of contributions to the field. His leadership extends to the Graduiertenkolleg 2159: "Integrity and Collaboration in Dynamic Sensor Networks," where he serves as a professor overseeing doctoral research. The institute maintains state-of-the-art facilities for processing satellite imagery, aerial photography, and developing novel algorithms for geospatial data analysis. Under his direction, the institute has strengthened its international collaborations and interdisciplinary research approaches, particularly in addressing Sustainable Development Goals through geospatial technologies.
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)
Andrew D. White is an Associate Professor of Chemical Engineering at the Hajim School of Engineering & Applied Sciences, University of Rochester. He holds a PhD from the University of Washington (2013). His research focuses on automating scientific discovery through AI, particularly leveraging large language models (LLMs) and deep learning techniques in chemistry. His lab develops agents that integrate literature analysis, hypothesis generation, and experimental design to advance fields like molecular dynamics and drug discovery. Education: PhD in Chemical Engineering, University of Washington, 2013 BS/MS (not explicitly stated in text, inferred from career timeline) Research Interests: Large language models for scientific automation Deep learning applications in chemistry and materials science Molecular dynamics simulations Scientific agents and autonomous systems Publications: His work includes groundbreaking studies on closed-loop AI systems for chemistry, federated learning in molecular property prediction, and multi-agent systems for drug discovery. Recent highlights include the Robin system and ChemCrow tools. Awards: Recipient of the NSF Career Award (2018), NIH Outstanding Investigator Award (2020), and the Curtis Teaching Award (2019). He also advises biotech companies and serves on the National Academy of Sciences' Chemical Sciences Roundtable. Grants & Funding: Supported by DOE, NSF (multiple grants including CBET-1751471), NIH (R35GM137966), and LLNL projects. Collaborates with institutions like Argonne National Lab and Qubit Pharmaceuticals. Labs & Teams: Leads the White Lab at Rochester and co-founded FutureHouse, a nonprofit advancing AI-driven scientific discovery. Supervises a multidisciplinary team of PhD students and postdocs in computational chemistry, AI, and biophysics.
Farhad Pourkamali Anaraki is an Assistant Professor in the Department of Mathematical and Statistical Sciences at the University of Colorado Denver, part of the College of Liberal Arts and Sciences. His research focuses on Machine Learning, Data Science, and Computational Mathematics, with interdisciplinary applications in engineering, materials science, and uncertainty quantification. He specializes in developing data-driven methodologies for complex systems, including composite materials, seismic response prediction, and additive manufacturing. Key research themes include probabilistic neural networks, adaptive machine learning for sparse data, and computational techniques for engineering challenges. His work integrates advanced algorithms with domain-specific problems, such as optimizing material properties and enhancing predictive models in civil and mechanical engineering contexts. Despite his prolific publication record, no specific scientific awards or grants are explicitly listed in the provided information. He maintains an active profile in teaching and mentoring, though formal advisee details are not documented here.
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.
