Dr. Hiren Patel is a Professor in the Department of Electrical and Computer Engineering at the University of Waterloo. He holds a Doctorate in Computer Engineering from Virginia Tech and previously worked as a postdoctoral fellow at UC Berkeley under Edward A. Lee. His research focuses on real-time embedded systems, computer architecture, machine learning hardware, and cybersecurity. He teaches courses like ECE 150 (Programming), ECE 320/429 (Computer Architecture), and ECE 327 (Digital Systems). Research Interests: Cyber-physical systems and hybrid architectures Hardware/software co-design methodologies Predictable cache coherence protocols IoT and edge computing systems Security in embedded and real-time systems Recent work emphasizes cache coherence solutions for safety-critical systems and GPU acceleration strategies. His publications address challenges in multicore predictability, FPGA bandwidth optimization, and autonomous robotics orchestration. No specific awards are listed, though his extensive publication record indicates significant contributions to embedded systems research. He currently oversees graduate student applications focusing on his core research areas.
Prof. Dr. Melanie Zeilinger is an Associate Professor at the Department of Mechanical and Process Engineering at ETH Zurich, leading the Intelligent Control Systems group at the Institute for Dynamic Systems and Control. She holds a diploma in Engineering Cybernetics from the University of Stuttgart (2006) and a Ph.D. in Electrical Engineering from ETH Zurich (2011). Her postdoctoral research included stints at EPFL (2011–2012), a Marie Curie fellowship at UC Berkeley and the Max Planck Institute (2012–2015), and a professorship at the University of Freiburg (2018–2019). Her research focuses on learning-based control, distributed control systems, and robotics , with applications to medical devices (e.g., hydrocephalus shunts) and human-in-the-loop systems. She organizes the Conference on Learning for Dynamics and Control (L4DC) and contributes to initiatives like the "Algorithm on My Team" project. Her awards include the ETH Medal for her PhD thesis, a Marie-Curie IO Fellowship , and an SNF Assistant Professorship grant . She serves as an Associate Editor for IEEE Control Systems Letters and actively reviews for top journals/conferences like IEEE TAC, Automatica, and NeurIPS. Key projects include: VIEshunt: A smart ventricular shunt for hydrocephalus treatment, combining control systems and medical engineering. Autonomous Racing: Contextual tuning and safety-certified learning-based MPC for real-time obstacle avoidance. Data-Driven Control: Integrating Gaussian processes and state-space models into MPC frameworks for uncertain systems. Her work bridges control theory, machine learning, and robotics, addressing societal challenges such as healthcare and energy efficiency.
Dr. Jeremy Guest is the Levenick Professor in Civil and Environmental Engineering (and courtesy appointment in Chemical & Biomolecular Engineering) at the University of Illinois Urbana-Champaign (UIUC). He serves as Associate Director for Research at the Institute for Sustainability, Energy, and Environment (iSEE) and leads the Center for Advanced Bioenergy and Bioproducts Innovation (CABBI). His research focuses on advancing circular bioeconomies through sustainable sanitation systems, resource recovery from wastewater, and biofuel/bioproduct development from lignocellulosic biomass. Guest's work emphasizes Quantitative Sustainable Design (QSD) methodologies to bridge engineering innovation with policy and investment decisions. Education: PhD in Environmental Engineering (University of Michigan, 2012); MS (Virginia Tech, 2007); BS (Bucknell University, 2005). Research interests include wastewater treatment innovation, nutrient recovery, bioenergy systems design, and sustainable agriculture practices. Key contributions include the EcoRecover phosphorus recovery process, the QSDsan modeling platform, and leadership in CABBI's $262.5M DOE-funded initiative. Guest has secured funding from NSF, US EPA, USDA, and the Bill & Melinda Gates Foundation. Recognitions include the NSF CAREER Award, 2021 James J. Morgan Early Career Award, and the Paul L. Busch Award. He advises over 15 graduate students and leads multiple high-impact projects like the NEWgenerator sanitation system and oilcane biorefinery integration. Lab/Group: Guest Research Group focuses on experimental, computational, and policy-oriented research to solve global sustainability challenges. Current projects address algae-based wastewater treatment, fecal sludge management in low-income regions, and precision fermentation systems development.
Marco Platzner is a Professor for Computer Engineering at Paderborn University , Germany. He serves as the Dean of Research for the Faculty of Computer Science, Electrical Engineering and Mathematics and heads the Department of Computer Science. Previously, he held research positions at ETH Zurich, Stanford University, GMD (now Fraunhofer IAIS), and Graz University of Technology. Education: Diploma and PhD in Telematics (Graz University of Technology, 1991 and 1996), Habilitation in Hardware-Software Co-Design (ETH Zurich, 2002) Research Interests focus on reconfigurable computing, approximate computing, self-* computing, and embedded systems. His work addresses hardware security, FPGA design, and sustainable AI in data centers. Current projects include energy-efficient AI through deep neural network approximation for FPGAs (EKI-App) and lifecycle sustainability of socio-technical systems (SAIL). Publication Trends show expertise in FPGA security, approximate circuit synthesis, robotics, and hardware acceleration. Collaborations span robotics (ROS 2 integration), AI (transformer optimization), and cybersecurity (Trojan detection). Scientific Awards: ACM SIGDA Hall of Fame (2020) Significant Paper Award (FPL 2015) Best Paper Awards at IEEE ISVLSI (2024), ARC (2018), IEEE ReConFig (2015), and others Weierstraß Prize for Teaching (2008) Leadership Roles include membership in the board of Paderborn Center for Parallel Computing (PC2) and the Jenny Aloni Centre for Early Career Researchers. He has contributed to EU FP7 FET project EPiCS and German priority programs on embedded systems and organic computing.
David Allcock is an Assistant Professor in the Department of Physics at the University of Oregon, part of the College of Arts and Sciences. His research focuses on ion trapping, quantum computing, and hybrid quantum systems, with an emphasis on manipulating atomic and molecular systems using electric and magnetic fields for quantum information applications. He leads the Ion Trapping Lab at UO, where he develops scalable quantum technologies and open-source control systems like ARTIQ and Sinara. His work bridges experimental physics with engineering, addressing challenges in qubit control, error mitigation, and large-scale quantum computer design. Education: MPhys from the University of Oxford (2007), D.Phil. in Physics from Oxford (2012). Prior to UO, he was a Lindemann Fellow at the National Institute of Standards and Technology (NIST) in Boulder, CO. His research includes innovations in trapped-ion qubit control, including laser-free entangling gates, scalable architectures, and applications in quantum sensing and dark matter detection. Key research themes include metastable qubit systems, photon scattering error mitigation, and the integration of superconducting detectors for state readout. He collaborates on open-source hardware-software stacks for quantum experiments and mentors students in quantum engineering through programs like the Quantum Technology Master’s Internship. Current projects explore hybrid quantum-classical interfaces and ultra-stable ion trap fabrication. His lab’s contributions span theoretical and experimental domains, with recent advances in geometric phase gates, microwave-driven control, and error-resilient qubit operations. The group also engages in interdisciplinary work linking quantum computing with precision measurement, such as SPUD (SPectroscopy for Ultralight Dark matter) and bosonic sensing tools.
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.
Wenhu Chen is an Assistant Professor at the University of Waterloo's Computer Science Department and a CIFAR AI Chair at the Vector Institute. He also holds a part-time role as a Senior Research Scientist at Google DeepMind (20% allocation). His research focuses on natural language processing, deep learning, and multimodal reasoning, with contributions to models like MAmmoTH, OpenCoderInterpreter, and VISTA. He received awards including the Canada CIFAR AI Chair (2022) and the UCSB CS Outstanding Dissertation Award (2021). Education: PhD in Computer Science from the University of California, Santa Barbara (under William Wang and Xifeng Yan). Research interests include complex reasoning, controllable GenAI, and multimodal benchmarks like MEGABench and MMMU. Grants include CIFAR AI Chair Funding (2022-2027), NSERC Discovery Fund (2023-2028), and multiple NRC Canada grants. He directs the TIGER Lab, advancing generative models in text, images, videos, and music. Recent talks include presentations on multimodal reasoning at Apple and NeurIPS workshops.
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.
Jonathan M. Baker is an Assistant Professor in the Department of Electrical and Computer Engineering at The University of Texas at Austin, holding the Advanced Micro Devices Chair in Computer Engineering. His research centers on quantum computer architecture with emphasis on practical quantum error correction implementation across the quantum computing stack. His educational background includes a Ph.D. in Computer Science from the University of Chicago (advised by Fred Chong) and dual B.S. degrees in Mathematics and Chemistry and Computer Science from the University of Notre Dame. Baker's research spans quantum compilation, logic synthesis, multi-radix architectures, and error mitigation for both near-term and fault-tolerant quantum systems. His work addresses critical challenges in quantum hardware-software co-design, with particular focus on optimizing quantum circuits for real-world hardware constraints and noise characteristics. Current projects emphasize qudit-based computing, neutral atom architectures, and efficient error correction implementations. His publication record shows strong focus on quantum architecture innovations, with recent work exploring qudit advantages, modular chiplet designs, and dynamic noise adaptation. Key trends include hardware-aware compilation techniques, communication optimization across quantum systems, and practical approaches to fault tolerance. Best Paper Award Runner Up, MICRO 2020 IEEE Micro Top Pick, 2020 (Virtualized Logical Qubits) IEEE Micro Top Pick, 2020 (Extending Frontier with Qutrits) IEEE Micro Top Pick, 2021 (Emerging Technologies) Best Poster Award, MICRO 2018 Baker actively mentors graduate students in quantum computing architecture research and serves on conference review committees including MICRO and ASPLOS. His teaching includes specialized quantum systems courses at UT Austin and online EdX modules covering quantum computation fundamentals and architecture. He collaborates with the Duke Quantum Center and maintains strong industry connections through the AMD Chair position, focusing on bridging academic research with practical quantum computing implementations.
Aaron D. Ames is the Bren Professor of Mechanical and Civil Engineering, Control and Dynamical Systems, and Aerospace at the California Institute of Technology (Caltech). He serves as the Booth-Kresa Leadership Chair and Director of the Center for Autonomous Systems and Technologies since 2025. His academic journey includes a BS in Mechanical Engineering and BA in Mathematics from the University of St. Thomas (2001), followed by an MA in Mathematics and a PhD in Electrical Engineering and Computer Sciences from UC Berkeley (2006). Research Interests span theoretical and experimental work in hybrid systems, nonlinear control, and bipedal robotic locomotion. Specific focus areas include: Control Barrier Functions (CBFs) for safety-critical systems Powered prostheses and robotic assistive devices Legged locomotion for bipedal and quadrupedal robots Cyber-physical systems and autonomous control Model predictive control and real-time optimization Humanoid robotics and geometric safety filters Recent publications emphasize risk-aware control, safety verification, and locomotion on constrained environments, with applications to drones, exoskeletons, and quadrupedal robots. His work often integrates theoretical advancements with practical validation through the AMBER Lab. Scientific Awards & Honors : NSF CAREER Award (2010) Donald P. Eckman Award (2015) Leon O. Chua Award (2005) Bernard Friedman Prize (2006) Teaching includes graduate courses on nonlinear control, hybrid systems, and robotics at Caltech, alongside prior roles at Georgia Tech and Texas A&M. He leads the AMBER Lab (Bipedal Robotics) and has secured major grants from the National Science Foundation, NASA, and industry partners like Miso Robotics and SRI International.
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.
Dr. Yildiz Bayazitoglu is the Harry S. Cameron Professor of Mechanical Engineering and Professor of Materials Science and NanoEngineering at Rice University since 1996. She joined Rice in 1977 and has held prior roles as an assistant professor at Middle East Technical University (1973–74) and a visiting assistant professor at the University of Houston (1975–76). Her education includes a B.S. from Middle East Technical University (1967), and M.S. and Ph.D. from the University of Michigan (1969 and 1974). Her research focuses on convective heat transfer with phase change , micro/nano-scale heat transfer , and radiation heat transfer . Key areas include thermal modeling of biomedical systems, containerless materials processing, and fuel cell design. She has pioneered work on nanofluids, interfacial thermal resistance, and radiation shielding for aerospace applications. Dr. Bayazitoglu has published over 200 technical papers and holds patents in thermal engineering. She authored two heat transfer textbooks and serves as Editor-in-Chief of the International Journal of Thermal Sciences . Her honors include ASME’s Heat Transfer Memorial Award, AAAS and AIAA Fellowships, and membership in the Turkish Academy of Sciences. Education: B.S., Middle East Technical University (1967) M.S., University of Michigan (1969) Ph.D., University of Michigan (1974) Leadership Roles: Former Vice-President of the International Center for Heat and Mass Transfer (2019–2021) Member of Turkish Academy of Sciences Energy Sources Committee (2017–2018) Her work bridges thermal engineering with biomedical, aerospace, and materials science applications, emphasizing practical solutions to complex thermal challenges.
Daniel Gottesman is the Brin Family Endowed Professor in Theoretical Computer Science at the University of Maryland, affiliated with the Department of Computer Science, Institute for Advanced Computer Studies (UMIACS), and the Joint Center for Quantum Information and Computer Science (QuICS). He holds a Ph.D. in Physics from Caltech (1997) and has held positions at institutions like the Perimeter Institute and Quantum Benchmark. His research focuses on quantum computing, quantum error correction, and fault-tolerant systems, with contributions to stabilizer codes and quantum teleportation-based gates. Education: Bachelor's in Physics, Harvard University (1992) Ph.D. in Physics, California Institute of Technology (1997) Research Interests: Quantum error correction and fault-tolerant architectures Quantum cryptography and secure communication protocols Quantum complexity theory and algorithm design Applications of stabilizer codes and topological quantum computing Scientific Awards: Fellow of the American Physical Society CIFAR Senior Fellow in Quantum Information Science Three U.S. Patents (e.g., quantum key distribution systems) Advising & Grants: Supervised over 30 students/postdocs and served on numerous thesis committees. Active in securing funding for quantum research through endowed professorships and industry partnerships (e.g., Quantum Benchmark). Labs/Teams: Member of QuICS and UMIACS, collaborating on quantum hardware-software integration and error correction challenges.
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.
Hadi Esmaeilzadeh is an Associate Professor at the University of California, San Diego in the Department of Computer Science and Engineering . He previously served as an Assistant Professor at Georgia Tech (2013-2017) and holds the Halicioğlu Chair in Computer Architecture . As founder/director of the Alternative Computing Technologies (ACT) Laboratory and associate director of UCSD's Center for Machine Integrated Computing and Security (MICS) , his research drives cross-stack solutions for next-generation computer systems. Early tenure recipient at UCSD Coined the term "dark silicon" in computer architecture Developed Tabla/DnnWeaver open-source frameworks Research Interests span: Approximate Computing Neural Acceleration FPGA/ASIC Hardware Design Machine Learning Systems Dark Silicon Challenges Security/Privacy in Accelerated Systems Scientific Recognition : 4 CACM Research Highlights 4 IEEE Micro Top Picks Distinguished Paper Award (HPCA 2016) Inducted to ISCA Hall of Fame (2018) Teaching : Developed courses on accelerator design (CSE 240D) and alternative computing (CS 8803 ACT) Advocates for hands-on FPGA-based learning in Processor Design with FPGAs courses
