Tej Chajed is an Assistant Professor in the Department of Computer Sciences at the University of Wisconsin-Madison, focusing on formal verification of systems software. His research bridges theoretical foundations and practical implementations to ensure software correctness in concurrent and crash-safe systems. Research interests include formal verification, concurrency, crash safety, and programming languages, particularly using Coq, Perennial, and Goose frameworks. He has contributed to systems like DaisyNFS, a verified file system with sequential reasoning, and Verus, a foundation for systems verification. His work appears in top venues like SOSP, OSDI, and PLDI. 2025: Dafny PC Member 2024: PLDI Committee Member, CoqPL Co-chair 2023: CoqPL Co-chair, POPL Program Committee He actively mentors students and develops tools for systems verification education, including extensive Coq-based course materials.
Professor Hailiang Yu is an Honorary Fellow at the University of Wollongong's School of Mechanical, Materials, Mechatronic and Biomedical Engineering. His research focuses on engineering materials, manufacturing processes, and mechanical engineering, with over 100 journal/conference publications and 30 science-focused newspaper commentaries. He serves as co-Editor-in-Chief of Modeling and Numerical Simulation of Material Science , and holds editorial roles in Scientific Reports and International Research Journal of Engineering Science, Technology and Innovation . Yu has secured significant funding through grants such as the Australian Research Council's 'Large-volume gradient materials' project (2017–2020) and 'A Physical-based abrasive wear model' (2013–2016). His work emphasizes cryorolling, microstructure optimization, and advanced material fabrication techniques. He currently supervises Master's and PhD students in materials engineering and manufacturing innovation. Key research themes include cryogenically processed alloys, bimetallic clad sheets, and high-entropy composites. His publications in journals like Metallurgical and Materials Transactions A and Journal of Materials Processing Technology reflect expertise in structural optimization, tribology, and corrosion resistance. Yu aims to become an international leader in materials manufacturing and mechanical engineering.
Zhishu Qu is a Visiting Professor at Queen Mary University of London's School of Electronic Engineering and Computer Science. Her research focuses on reconfigurable antenna systems, particularly leveraging gallium-based liquid metals to enable dynamic beam steering, frequency agility, and phase control. She explores applications in millimeter-wave communications, LEO satellite systems, and phased array configurations. Key contributions include innovations in transmitarray unit cells, substrate integrated waveguide (SIW) phase shifters, and adaptive antenna designs. Her work spans theoretical analysis of antenna performance limits and practical implementations of liquid metal actuation in RF components. Research interests also encompass microwave engineering, electromagnetic compatibility, and next-generation wireless infrastructure. Current trends in her publications emphasize miniaturization, low-loss solutions, and reconfigurability for 5G and beyond. Notable research areas include: Beamforming algorithms for satellite communications Liquid metal integration in RF systems Millimeter-wave phased array optimization Adaptive antenna pattern reconfiguration Publications since 2020 demonstrate sustained contributions to reconfigurable antenna architectures, with recent work (2024-2025) focusing on beam switchable antennas and distributed beamforming schemes.
Tresa Pollock is the ALCOA Professor of High Tech Materials in the Materials Department at the University of California, Santa Barbara (UCSB), part of the College of Engineering. Her research focuses on structural materials, high-temperature processing, ultrafast laser interactions, alloy design, and 3D characterization techniques. She holds a Ph.D. from MIT and a B.S. from Purdue University. Research Interests: Her work addresses extreme environment materials performance, thermal barrier coatings, cobalt-base superalloys, hypersonic flight materials, femtosecond laser tomography, and computational materials engineering. Recent projects include developing refractory alloys and advanced characterization methods like the TriBeam system. Awards: She is a Fellow of TMS (The Minerals, Metals & Materials Society) and received the 2023 Acta Materialia Gold Medal. Grants & Collaborations: Supported by agencies like ONR, NSF, AFOSR, and industry partners including GE, Boeing, and Rolls-Royce. Her lab includes advanced facilities at UCSB’s Microscopy and Microanalysis Facility. Labs & Teams: Leads a research group with senior scientists like Chris Torbet. Labs are located in Engineering II and Elings Hall, focusing on 3D tomography, laser-material interactions, and high-temperature alloy development.
Richard King is a Professor at Arizona State University's School of Electrical, Computer and Energy Engineering and a Senior Global Futures Scientist. He holds a Ph.D. (1990), M.S. (1987), and B.S. (1985) in Physics from Stanford University. His research focuses on high-efficiency photovoltaics, semiconductor defects, and multijunction solar cell technologies. Key contributions include achieving over 40% solar cell efficiency in 2006. He leads the King Lab, exploring photovoltaic materials, deployment strategies, and societal integration of solar energy. Research interests span defect-tolerant materials (e.g., perovskites, CIGS), recombination phenomena, and low-cost thin-film solar cells. Awards include the 2010 William R. Cherry Award and R&D 100 recognition. He has led NSF-funded projects like the Quantum Energy and Sustainable Solar Technologies (QESST) Engineering Research Center. Education: Ph.D./M.S. Electrical Engineering, Stanford University (1990/1987); B.S. Physics, Stanford (1985) Grants: NSF QESST ERC (2011–2017) and Boeing/Spectrolab collaborations Labs/Teams: King Lab at ASU, focusing on photovoltaic science, deployment, and education
Matthew Alexander Clarke is an Assistant Professor in the Department of Aerospace Engineering at the University of Illinois. His research focuses on advanced aerospace systems, particularly electric aircraft design, battery technology, and thermal management systems. He collaborates on projects related to urban air mobility and sustainable aviation, addressing challenges such as noise pollution mitigation and battery longevity. His recent work includes developing metrics for evaluating the socioeconomic impacts of urban air mobility operations and optimizing thermal management systems for electric aircraft. Clarke has contributed to peer-reviewed journals and conference proceedings, with notable publications on liquid cooling systems for batteries and physics-based approaches for thermal system design. Clarke’s research trends emphasize interdisciplinary innovation at the intersection of aerospace engineering, battery technology, and environmental sustainability. His studies often involve collaborations with industry and academic partners to advance next-generation aviation technologies. While no awards or grants are explicitly mentioned in the text, his work demonstrates significant engagement with cutting-edge aerospace challenges. He advises on collaborative research projects but no formal advisees/students are listed here.
Jason Lee is an Associate Professor-in-Residence and Director of Undergraduate Studies in the Department of Mechanical Engineering at the University of Connecticut. He joined UConn in 2014 after completing a postdoc at MIT's Institute for Soldier Nanotechnologies. His education includes a B.S. from UC Berkeley (2005), and M.S. and Ph.D. from the University of Texas at Austin (2007 and 2010). His research focuses on computational heat transfer in manufacturing processes and characterization of polymer nanocomposites for aerospace and sports applications. His work emphasizes ablative materials, thermal protection systems, and advanced manufacturing techniques. Lee has explored novel nanocomposite formulations using clays, carbon nanofibers, and nano-alumina additives. He has published extensively on material properties of thermoplastic polyurethane elastomer nanocomposites, including studies on flame retardancy, mechanical performance under high temperatures, and thermal degradation kinetics. His research also addresses applications in solid rocket motor insulation and high-strength materials for aerospace systems. Lee has served as Director of Undergraduate Studies for Mechanical Engineering (2014–2019) and emphasizes diverse teaching methods, including hybrid and online formats. His work bridges fundamental material science with practical engineering challenges in manufacturing and aerospace.
Chris Valentin Nielsen is an Associate Professor in the Department of Civil and Mechanical Engineering at the Technical University of Denmark (DTU). His research focuses on metal forming, joining processes, and tribology, with expertise in formability, tool development, and numerical modeling. His work contributes to UN Sustainable Development Goals related to sustainable manufacturing. He supervises PhD students in projects such as sustainable busbars for electric vehicles and adjustable tool design for high-volume production. His research interests include metal forming (e.g., deep drawing, ironing), joining technologies (resistance welding, laser welding), and advanced manufacturing methods like additive manufacturing. He employs finite element modeling and experimental analysis to bridge fundamental and applied research. Collaborations span global institutions, addressing challenges in material behavior, process optimization, and tool durability. Recent publications explore topics such as dieless Nakajima testing for additive materials, punch design improvements, and asperity deformation mechanics. His work emphasizes sustainability, robust production systems, and eco-friendly lubrication solutions. Projects involve interdisciplinary teams, integrating numerical simulations with industrial applications to enhance manufacturing efficiency and material performance.
Dong S. Ha is a Professor in the Bradley Department of Electrical and Computer Engineering at Virginia Tech. As Founding Director of the Multifunctional Integrated Circuits & Systems (MICS) Lab, he focuses on advanced circuit design for energy harvesting, RF systems, and high-temperature electronics. His work spans analog/RF ICs, power management circuits, and wireless IoT solutions with machine learning integration. Education: PhD (1986) and MS (1984) in Electrical and Computer Engineering from the University of Iowa; B.S. (1974) in Electrical Engineering from Seoul National University. Research interests include energy harvesting (piezoelectric, thermal, RF), high-temperature RF circuits for oil/gas/spacecraft applications, and smart IoT systems. He actively seeks students for projects in RF design, energy harvesting, and embedded systems. His lab develops cutting-edge solutions for harsh environment communication, sustainable energy systems, and smart agriculture monitoring. Awarded IEEE Fellow (2008) for contributions to VLSI design/test. Key publications span energy harvesting circuits, GaN-based high-temperature systems, and low-power IoT architectures. Current projects include self-sustaining smart farm networks using federated learning and attack-resistant sensor systems. Labs/Teams: Leads MICS Lab focusing on integrated circuits and systems. Collaborates on cross-disciplinary projects involving machine learning, embedded systems, and sustainable energy. Active in industry partnerships for aerospace and automotive applications.
Professor David Stone is a faculty member in the School of Electrical and Electronic Engineering at the University of Sheffield, where he holds the position of Professor in Electrical Engineering and serves as Theme Lead for Electrical Machines. He earned his BEng (Hons) in Electronic Engineering from the University of Sheffield (1982–1985) and a PhD in Automatic Weld Penetration Control from Liverpool University (1989). Since joining the University of Sheffield in 1989, he has been affiliated with the Electrical Machines and Drives (EMD) Group, advancing to full professorship in 2013. His research focuses on power electronics , energy storage systems , and their applications in electric vehicles (EVs) and renewable energy integration . Notable work includes leading the CREESA initiative, which operates the UK's largest grid-connected lithium titanate battery storage system. Current projects explore hybrid energy storage, EV battery second-life applications, and high-frequency resonant converters for industrial heating. Research interests span: Simulation of energy systems and hybrid storage technologies Electric vehicle energy consumption modeling using dashcam telemetry Smart battery management for EVs and grid support High-efficiency wireless EV charging systems Advanced control strategies for power converters His publications (2020–2025) reflect contributions to: Energy storage system design and control Electric machine fault detection and diagnostics Grid integration of renewable energy sources Piezoelectric transformer-based power supplies Microgrid optimization with hybrid energy storage He collaborates with industry through initiatives like the EPSRC Prosperity Partnership in Offshore Wind and the TransEnergy project linking road-rail energy exchange. His work addresses challenges in sustainable energy systems and smart grid technologies.
Prof. Serkan Simsek is a Professor at the Department of Electronics and Communications Engineering, Faculty of Electrical and Electronics Engineering, Istanbul Technical University. He holds a PhD in Telecommunication Engineering from the same institution. His academic roles include serving as Vice Dean (2020-2023) and Program Coordinator of the ITU-NJIT Joint Degree Program. His research focuses on Optics, Photonics, Electromagnetics, and Microwave/Antenna Technologies. Education: PhD in Telecommunication Engineering (Istanbul Technical University, 2008), MSc in Electronics Engineering (Istanbul Technical University, 2003), and BSc in Electrical-Electronic Engineering (Istanbul University, 2001). Research interests span antenna design, electromagnetic bandgap structures, microwave imaging, and slow-wave structures. Notable projects include developing breast cancer imaging systems and optimizing antenna performance using metamaterials. He has been awarded the Leopold B. Felsen Award for Excellence in Electromagnetics (2009). His 14 advisees include students working on topics like 5G amplifiers, low-profile antennas, and ultrawideband arrays. Prof. Simsek contributes to academic administration and has coordinated multiple international joint degree programs. His lab focuses on advanced antenna systems and microwave engineering applications.
Charles E. Leiserson is a Professor of Computer Science and Engineering at MIT, holding the Edwin Sibley Webster Professorship in Electrical Engineering and Computer Science. He leads the Supertech Research Group and is Faculty Director of the MIT-Air Force AI Accelerator. His work focuses on parallel computing, performance engineering, and algorithms. Leiserson is renowned for co-authoring the foundational textbook Introduction to Algorithms , widely used in computer science education globally. He has pioneered technologies like the Cilk multithreaded programming language and contributed to supercomputing architectures such as the Connection Machine CM-5. His research bridges theoretical computer science with practical applications, emphasizing cache-oblivious algorithms and compiler optimizations. Leiserson has received multiple awards for his academic contributions and educational impact, including the ACM-IEEE Ken Kennedy Award and Margaret MacVicar Fellow distinction at MIT. Education: B.S., Yale University, 1975 Ph.D., Carnegie Mellon University, 1981 Research Interests: Leiserson’s work addresses performance engineering challenges in post-Moore’s Law computing. His group develops algorithms, software systems, and hardware strategies for scalable parallelism. Key areas include parallel programming frameworks (e.g., OpenCilk), cache-aware algorithms, and compiler optimizations. He emphasizes making parallel computing accessible to mainstream programmers through tools like Cilk and educational initiatives such as MIT’s Software Performance Engineering course. Projects & Leadership: Leiserson leads the Supertech Research Group and contributed to the Cilk Arts Inc. venture, acquired by Intel. He chairs the MIT Undergraduate Practice Opportunities Program (UPOP) and teaches courses on algorithms and discrete mathematics. His leadership workshops for faculty have educated hundreds worldwide on team management in academia. Awards & Recognition: 2014 ACM-IEEE Ken Kennedy Award IEEE Taylor L. Booth Education Award ACM Paris Kanellakis Theory and Practice Award Member of the National Academy of Engineering Labs & Teams: Active in MIT’s CSAIL, Leiserson collaborates through the Supertech Group and Theory of Computation communities. His current projects include Tapir compiler infrastructure, graph neural network applications for anti-money laundering, and deterministic parallel scheduling algorithms.
Prof. Barbara Wohlmuth is a full professor in Numerical Mathematics at the Technical University of Munich (TUM), affiliated with the TUM School of Computation, Information and Technology. She leads the International Graduate School of Science and Engineering at TUM and has held professorships at Stuttgart, Darmstadt, and Berlin universities. Her research focuses on numerical simulation of partial differential equations, multiscale solvers, and coupled multi-field problems with applications in engineering. Education: Studied mathematics at TUM and Université Joseph Fourier in Grenoble, received her doctorate from TUM in 1995, and completed habilitation in Augsburg. Visiting professorships in USA, France, and Hong Kong. Research interests include discretization techniques, predictive modeling, and interdisciplinary collaboration with engineering disciplines. Notable achievements: 2012 Gottfried Wilhelm Leibniz Prize (Germany’s highest academic honor in sciences), 2005 Sacchi-Landriani Prize. Publications emphasize advanced numerical methods in fluid dynamics, geophysics, and biomedical engineering. Active in editorial roles for international journals and scientific committees across Europe and USA. Elected member of Bavarian and European Academies of Sciences. Key contributions include: Development of robust numerical algorithms for exascale simulations Pioneering work in coupled multi-physics modeling Innovative methods for computational contact mechanics Leadership in graduate education initiatives
Dr Laura Lander is a Lecturer in Engineering at King's College London's Department of Engineering, part of the Faculty of Natural, Mathematical & Engineering Sciences. Her research focuses on sustainable energy storage systems, particularly advancing high-performance batteries through materials science and techno-economic analysis. She holds a PhD from the Collège de France and has held postdoctoral roles at the University of Tokyo and Imperial College London. Her work emphasizes battery recycling, lifecycle assessment, and circular economy frameworks. Notable contributions include developing methodologies for recycling lithium-ion batteries and optimizing battery pack designs for cost-effective disassembly. She leads the UKRI Future Leaders Fellowship-funded project 'Aluminium-Ion Batteries for a Resilient Energy Future' (2024–2028). Key collaborations span institutions globally, addressing challenges in energy storage sustainability. Her research aligns with UN Sustainable Development Goals related to affordable and clean energy (SDG7) and responsible consumption (SDG12). Office hours: Wednesdays 10am–12pm at Strand Campus. Education: PhD (Collège de France), Postdoc (University of Tokyo), Faraday Institution Researcher (Imperial College London) Awards: JSPS Postdoctoral Fellowship, UKRI Future Leaders Fellowship Research interests include battery materials discovery, life cycle assessment, and techno-economic analysis of renewable energy storage systems. She is affiliated with the London Centre for Nanotechnology and the Centre for Sustainable Business.
Professor Bertrand Jodoin holds a position in the Department of Mechanical Engineering at the University of Ottawa, where he has been since 1998. He founded the University of Ottawa Cold Deposition Laboratory and focuses on advanced material deposition processes for the aeronautics industry, including cold spray and shock wave deposition techniques. His research emphasizes nanocrystalline coatings, heat exchangers, and high-performance materials for gas turbines. Education: Ph.D. (Sherbrooke) and B.Eng. (Sherbrooke). His work bridges mechanical engineering and materials science, with recent publications addressing innovations in cold spray technology, transpiration cooling, and interdisciplinary applications like art creation using additive manufacturing. He has contributed to over 30 years of advancements in cold spray, emphasizing its potential for future technologies. Awards include the Journal of Thermal Spray Technology Best Paper Award (2022 and 2024). His research integrates computational modeling (e.g., molecular dynamics simulations) with experimental methods, addressing challenges in coating durability, thermal management, and antimicrobial surface treatments.
