Hyesoon Kim is a Professor at the Georgia Institute of Technology , affiliated with the College of Computing and leading the HPArch research group . She co-directs the Center for Research into Novel Computing Hierarchies (CRNCH) . Her research focuses on Computer Architecture , GPU , Compilers and Runtime Systems , and Hardware Security , particularly for heterogeneous systems. Contact : hyesoon@cc.gatech.edu Location : 266 Ferst Drive, KACB 2344, Atlanta, GA Research Trends Her recent work spans RISC-V extensions for security, CUDA optimization on softcore GPUs, memory safety techniques, and energy-efficient deep learning architectures. Articles emphasize heterogeneous computing , GPU performance scaling, and IoT -oriented neural network methods. Open Source Projects She leads development of Macsim (heterogeneous architecture simulator) and Vortex (open-source GPU platform).
Daniel W. Bliss is a Professor in the School of Electrical, Computer and Energy Engineering at Arizona State University and Director of ASU's Center for Wireless Information Systems and Computational Architectures (WISCA). With over $50 million in research funding as principal investigator from organizations including DARPA, ONR, Google, and Airbus, his work bridges theoretical foundations with practical implementations across multiple domains of wireless systems. Dr. Bliss received his educational foundation with a B.S.E.E. from Arizona State University (1989), followed by M.S. and Ph.D. degrees in Physics from the University of California-San Diego (1995, 1997). His academic journey includes significant industry experience at General Dynamics (1989-1993) and MIT Lincoln Laboratory (1997-2012) before joining ASU. His research program focuses on advanced wireless systems spanning radar, communications, precision positioning, computational architectures, and medical monitoring applications. Bliss employs information theory, estimation theory, and signal processing to develop novel system concepts with disruptive capabilities. Current research emphasizes RF convergence, integrated sensing and communications, and anticipatory medical analytics using wireless technologies, with particular focus on extracting physiological data from radar signals. Analysis of recent publications reveals a strong trend toward integrated sensing and communications systems, particularly utilizing mmWave and radar technologies for medical monitoring applications. His work increasingly bridges traditional communications and radar domains while expanding into physiological monitoring, demonstrating a clear trajectory toward convergence of wireless technologies for healthcare applications and remote vital sign detection. Dr. Bliss has received significant recognition for his contributions: Fellow of the IEEE (2015) 2021 IEEE Warren D. White Award for Excellence in Radar Engineering 2016-2017 Top 5% Teaching Award at ASU 2017 ASU Fulton Engineering Exemplar Faculty As a dedicated mentor, Dr. Bliss has supervised numerous graduate students through successful dissertation and thesis defenses across both PhD and Master's programs. His research portfolio includes substantial funding from diverse sources with over $50 million secured as principal investigator. Current projects include the $17M DARPA DASH project focused on advanced software-reconfigurable heterogeneous SoCs for next-generation RF systems, and multiple initiatives in contactless vital sign monitoring using radar technologies. Dr. Bliss leads the BLISS Lab and serves as director of WISCA, fostering interdisciplinary research in wireless systems. His team includes researchers working on distributed coherent systems, MIMO radar, RF convergence, and medical monitoring applications, with recent successes including the Making Waves team that tied for first place in the Air Force Spark Tank challenge. He has founded two startup companies: DASH Tech Integrated Circuits Company and the Big Little Sensor Company, focusing on high-performance embedded processing and small-scale radar physiological monitoring, respectively.
Tushar Krishna is an Associate Professor in the School of Electrical and Computer Engineering at Georgia Institute of Technology, with a courtesy appointment in the School of Computer Science. He earned his PhD in Electrical Engineering and Computer Science from MIT in 2014, an MSE in Electrical Engineering from Princeton University in 2009, and a B.Tech in Electrical Engineering from IIT Delhi in 2007. His research spans computer architecture, interconnection networks, networks-on-chip (NoC), and AI/ML accelerator systems, with a focus on optimizing data movement in modern computing platforms. His work is funded by NSF, DARPA, IARPA, SRC, Department of Energy, Intel, Google, Meta, Qualcomm, and TSMC. His papers have been cited over 17,000 times, with three receiving IEEE Micro's Top Picks recognition, one earning an honorable mention, and four winning best paper awards. Dr. Krishna leads the Synergy Lab at Georgia Tech and has developed several influential tools including ASTRA-sim for distributed AI/ML training, MAESTRO and SCALE-sim for accelerator design space exploration, and Garnet2.0 for NoC simulation. His recent work focuses on large language model acceleration, distributed training systems, and neuro-symbolic AI architectures. He has received numerous teaching and research awards including induction into the HPCA Hall of Fame (2022), the Class of 1940 Teaching Effectiveness Award (2018), and the Roger P. Webb Outstanding Mid-career Faculty Award (2024). HPCA Hall of Fame Inductee (2022) Roger P. Webb Outstanding Mid-career Faculty Award (2024) Richard M. Bass/Eta Kappa Nu Outstanding Junior Teacher Award (2023) Roger P. Webb Outstanding Junior Faculty Award (2021) Class of 1940 Course Survey Teaching Effectiveness Award (2018) Dr. Krishna currently serves as Associate Director for the Center for Research into Novel Computing Hierarchies (CRNCH) and co-chair of the Chakra Execution Traces and Benchmarks Working Group. He has held the ON Semiconductor (Endowed) Junior Professorship at Georgia Tech (2019-2021) and has been a visiting professor at MIT EECS, Harvard University CS, and a researcher at Intel's VSSAD group.
Panos Ipeirotis is a Professor at the Leonard N. Stern School of Business at New York University, affiliated with the Department of Technology, Operations, and Statistics. He also serves as the George A. Kellner Faculty Fellow and is associated with the Center for Data Science and Computer Science departments at NYU. PhD in Computer Science (Columbia University, 2004) MSc in Computer Science (Columbia University, 2001) BSc in Computer Engineering & Informatics (University of Patras, 1999) His research spans crowdsourcing, machine learning, human-AI collaboration, online labor markets, and social media analytics. He pioneered human-machine loop systems that combine human and machine intelligence to achieve superior outcomes. His work has applications in data quality assurance, visual media search (e.g., Google Project Glass), and economic valuation of user-generated content. Recent publications focus on algorithmic fairness in hiring systems, occupational segregation analysis, and theoretical advancements in crowdsourcing consensus mechanisms. Earlier work includes foundational studies on data quality in crowdsourcing platforms, economic impacts of product reviews, and query optimization for text-centric tasks. 2015 Lagrange Prize in Complex Systems NSF CAREER Award SIGKDD Test of Time Award (2020) Multiple Best Paper awards (WWW 2011, KDD 2008, SIGMOD 2006) He has received significant grants, including a $1.5 million Google Research Grant (2013) for integrating crowdsourcing with machine learning algorithms. His work bridges computer science, economics, and social psychology, with implications for policy-making and business strategy.
Kenneth P. Birman is the N. Rama Rao Professor of Computer Science at Cornell University, where he has had a long and impactful career in distributed systems, cloud computing, and AI/ML infrastructure. He is known for foundational contributions to reliable and scalable distributed systems, and for leading high-impact projects such as Cascade, Vortex, and Derecho. He is also the author of a widely used textbook on reliable distributed systems and has founded multiple companies based on his research. Education: Ph.D. in Computer Science, University of California, Berkeley M.S. in Computer Science, University of California, Berkeley B.A. in Computer Science, Columbia University Research Interests: Professor Birman's research focuses on building reliable, secure, and scalable distributed systems . His current emphasis is on AI and ML infrastructure , particularly in reducing latency and improving performance through hardware acceleration, RDMA-based communication, and edge computing. He explores how to eliminate data movement bottlenecks in AI pipelines and how to support real-time, mission-critical applications in domains like healthcare, smart grids, and industrial IoT. His work spans systems programming, cloud computing, fault tolerance, and formal verification . He has designed systems that have been deployed in high-stakes environments such as the New York Stock Exchange, the Swiss Exchange, and the French Air Traffic Control system. Scientific Awards: ACM Fellow (1999) IEEE Fellow (2014) IEEE Tsutomu Kanai Award for innovations in distributed computing Teaching and Mentorship: Professor Birman teaches two courses in the fall semester: CS4414: Systems Programming and CS5416: Cloud and ML Systems Programming . He has advised numerous Ph.D. and M.S. students, including Alicia Yang, Tiancheng Yuan, Yifan Wang, Weijia Song, Edward Tremel, Sagar Jha, Jonathan Behrens, and Mae Milano. He has announced that Fall 2025 will be his last semester teaching, and he is no longer recruiting new students, though he will continue supervising current ones. Labs and Projects: He leads the Derecho Project and the Cascade/Vortex Project , both focused on high-performance distributed systems. These projects are collaborative efforts with students and industry partners, and the software is released under open-source licenses. He also maintains strong ties with Cornell's systems group and collaborates with faculty across CS, ECE, IS, and the Cornell Tech NYC campus.
Hans Beck serves as Professor of Greek History at the University of Münster (Westfälische Wilhelms-Universität) since 2018, with an additional appointment as Adjunct Professor in the Faculty of Arts at McGill University. His academic career includes previous positions as Professor of Ancient History and Director of Classical Studies at McGill University (2005-2018), Heisenberg Fellow at Goethe-Universität Frankfurt (2004-2005), and Research Assistant at the University of Cologne (1997-2004). Beck earned his academic training through doctoral studies at the Universities of Erlangen, Canterbury, and Cambridge (1989-1996), followed by a fellowship at the Center for Hellenic Studies in Washington, DC (2001-2002). His educational background reflects a strong international foundation in classical studies. His research spans multiple interconnected fields within ancient history, with particular emphasis on the history and culture of ancient Greece, historical geography of Greece, environmental studies of the ancient Greek world, political culture of the Roman Republic, and ancient historiography. Beck's work consistently explores themes of localism, federalism, and political structures across ancient societies, with notable contributions to understanding Greek city-states, regional identities, and comparative political systems. His approach often bridges geographical, historical, and cultural perspectives to examine how ancient communities organized themselves politically and maintained regional identities within larger frameworks. Analyzing his recent publications reveals a sustained focus on local political structures within broader contexts, particularly examining how Greek city-states maintained autonomy while participating in federal leagues. His work increasingly incorporates comparative approaches, connecting Greek political structures with those of Rome and even ancient China, reflecting his editorial work on cross-cultural studies. Beck demonstrates particular expertise in analyzing how physical landscapes shaped political organization and how religious practices reinforced regional identities. Fellow of the Royal Society of Canada (2018) Anneliese Maier Research Award from Alexander von Humboldt Foundation (2014) Heisenberg Fellowship from Deutsche Forschungsgemeinschaft (2004) Doctoral scholarship from German Academic Exchange Service (1995) Doctoral scholarship from Hanns Seidel Foundation (1994) Beck has supervised numerous doctoral students including Jordan Christopher (2022), Chandra Giroux (2021), Wentian Fu (2020), Rebecca Robinson (2017), Alex McAuley (2015), and François Gauthier (2015), covering diverse topics from ancient Qin and Macedon to cult practices in ancient empires. His academic leadership extends to directing research projects B3-49 'Belonging in/to Lakonia' and B3-40 'Localism and Religion in Ancient Greece' within the Excellence Cluster focusing on 'Religious Diversity and Legal-Political Unity.' As head of the project 'Belonging in/to Lakonia' and 'Localism and Religion in Ancient Greece,' Beck leads interdisciplinary research teams examining archaeological and historical evidence from the Sanctuary of Apollo at Amyklai and its surroundings. His work integrates textual analysis with material culture studies, creating comprehensive approaches to understanding ancient regional identities and religious practices. Beck's leadership in these projects demonstrates his commitment to bridging traditional disciplinary boundaries in classical studies.
Sarita V Adve is the Richard T. Cheng Professor of Computer Science at the University of Illinois at Urbana-Champaign, where she conducts research spanning hardware, programming languages, operating systems, and applications with a focus on domain-specific systems. Her work bridges theoretical foundations and practical implementations, particularly in extended reality and heterogeneous computing. Her educational background includes a Ph.D. and M.S. in Computer Science from the University of Wisconsin-Madison (1993, 1989) and a B.Tech in Electrical Engineering from the Indian Institute of Technology Bombay (1987). Prior to joining Illinois, she served on the faculty at Rice University from 1993 to 1999. Adve's research centers on generalizable and scalable specialization for domain-specific systems, with current emphasis on extended reality (XR) systems including virtual, augmented, and mixed reality. She chairs the ILLIXR consortium to democratize XR research and developed the first fully open-source XR system (ILLIXR). Her foundational contributions include memory consistency models for C++ and Java programming languages, the Spandex coherence framework for heterogeneous systems, and software-driven approaches for hardware reliability. Her work spans hardware reliability (SWAT and RAMP projects), power management (GRACE system), and instruction-level parallelism. Recent publications reveal a strong focus on energy-efficient XR systems, hardware-software co-design for AI workloads, and resilience analysis. Her team explores rendering offload, visual-inertial odometry optimization, and compositional error injection frameworks, often targeting tradeoffs between energy, latency, and accuracy in mobile and edge environments. Fellow of the American Academy of Arts and Sciences Fellow of the ACM and IEEE ACM/IEEE-CS Ken Kennedy Award Anita Borg Institute Woman of Vision in Innovation Award ACM SIGARCH Maurice Wilkes Award Alfred P. Sloan Research Fellowship UIUC University Scholar University of Illinois Campus Award for Excellence in Graduate Student Mentoring Adve actively mentors students and has received multiple teaching awards. She co-founded the CARES movement to address discrimination in CS research events and chairs CS@Illinois CARES. Her service includes leadership roles in ACM SIGARCH (2015-2019), DARPA/ISAT study group, ACM Council, and Computing Research Association. She has secured significant funding including DARPA initiatives and Google Faculty Research Awards. She leads the ILLIXR consortium and has established collaborative research programs such as the $8.3M DARPA Joint University Microelectronics Program. Her lab focuses on open-source XR development, heterogeneous system architectures, and reliability-aware designs, with strong industry and government partnerships.
Renate Sachse is a Researcher at the Chair of Structural Analysis, Technical University of Munich (TUM), where she has worked since May 2024. Previously, she held postdoctoral positions at Harvard University's Bertoldi Lab (2024) and TUM's Chair of Computational Mechanics (2021-2024), following academic staff roles at the University of Stuttgart (2015-2020). Her interdisciplinary work bridges civil engineering, biomechanics, and computational modeling. Her educational foundation includes a Master's in Civil Engineering from the University of Stuttgart (2014; thesis: 'Isogeometric contact analysis of thin-walled structures') and a Bachelor's from the same institution (2011; thesis: 'A Primary School Pavilion for Magagula in South Africa - Structural Analysis'). She also completed ERASMUS studies at ESTP Paris and internships at Foster + Partners and Werner Sobek AG. Dr. Sachse's research centers on biomechanics and biomimetics, with pioneering work on plant-inspired structures. She investigates snapping mechanisms in carnivorous plants (Venus flytrap, waterwheel plant) to develop bio-inspired adaptive systems, soft robotics, and metamaterials. Her expertise spans motion design for large-deformation structures, isogeometric analysis, and hygroscopic actuation in 4D-printed materials, emphasizing computational modeling of contact mechanics and structural stability. Analysis of her 15 most recent publications reveals a dominant focus on biomechanics (60% of articles), particularly plant movement mechanics translated into engineering solutions. Her work consistently integrates computational structural analysis with biological principles, showing increasing emphasis on motion design (25% of recent output) and additive manufacturing applications (15%). Key trends include translating snap-buckling phenomena into robotics and developing material design spaces for responsive structures. Her distinguished awards include the Bertha Benz Prize (2022), Klaus Tschira Boost Fund Fellowship (2022-2024), and University of Stuttgart Publication Award (2022). Additional recognition comprises GAMM Juniors Fellowship (2020-2022), AVK Innovation Award (2017), and Emil Mörsch Study Prize (2014). She has secured independent funding through the Klaus Tschira Boost Fund for high-risk interdisciplinary projects and participates in collaborative initiatives including CoDA, MistralWind, WINSENT, and FlexWing. While teaching advanced courses at TUM (Advanced Finite Element Methods, Theory of Plates), her mentorship focuses on computational mechanics and biomimetic design principles. Currently based at TUM's Chair of Structural Analysis under Prof. Bletzinger, she maintains active collaboration with Harvard University's Bertoldi Lab in developing next-generation adaptive structures.
Prof. Gabriela Hug is a Full Professor at ETH Zurich's Department of Information Technology and Electrical Engineering, serving as Deputy Head of the Department and Deputy Head of the Power Systems and High Voltage Lab. She leads the Energy Science Center (ESC) and holds adjunct roles at Carnegie Mellon University. Her research focuses on modeling, control, and optimization of electric power systems for sustainable energy transitions. Education: PhD in Information Technology and Electrical Engineering, ETH Zurich (2004–2008) MSc in Information Technology and Electrical Engineering, ETH Zurich (1999–2004) Research Interests: Her work addresses challenges in smart grid integration, renewable energy systems, and advanced control strategies. Key areas include vehicle-to-grid technologies, distribution network optimization, and energy storage system planning. She emphasizes data-driven approaches and collaborative frameworks for grid resilience and flexibility. Key Achievements: Recipient of the 2019 ALEA Award (ETH Zurich) NSF Career Award (2013) IEEE Outstanding Young Engineer Award (2013) Leadership & Roles: Co-Director, NCCR Automation (Swiss National Centre of Competence in Research) Board Chair, Energy Science Center (ESC) Adjunct Faculty, Carnegie Mellon University Labs & Teams: Power Systems Laboratory (ETH Zurich) Energy Science Center (multi-disciplinary research hub)
Dr. K. Max Zhang is a Professor in the Sibley School of Mechanical and Aerospace Engineering at Cornell University. He is the director of the Energy and the Environment Research Laboratory (EERL) and a fellow at the Atkinson Center for a Sustainable Future. His research is deeply interdisciplinary, focusing on sustainable energy systems, air quality, and environmental justice, with significant impacts on policy and community development in New York and beyond. Ph.D., Mechanical Engineering, University of California-Davis, 2004 B.S., Thermal Engineering, Tianjin University, 1998 B.A., English Language, Tianjin University, 1998 Dr. Zhang’s research centers on the integration of energy and environmental systems. He investigates air pollution dynamics using advanced numerical models like CTAG, with applications in near-source pollution, indoor air quality, and environmental justice. His work on renewable energy systems includes designing sustainable solar farms and managing distributed energy resources such as heat pumps to enhance grid flexibility. He also leads a pioneering initiative to create the first statewide public IoT network in the U.S., enabling hyperlocal weather forecasting and microclimate monitoring. His recent publications reflect a strong trend toward agrivoltaics, peer-to-peer energy markets, and IoT-based environmental monitoring. These works demonstrate a consistent focus on data-driven modeling, community-scale energy solutions, and the integration of social considerations into technical systems. The keywords across his articles highlight expertise in sustainability, machine learning, air quality, and energy transition. Cornell Town-Gown Achievement Award (2022) Engaged Scholar Prize, Cornell University (2017) People's Choice Sign of Sustainability Award, Sustainable Tompkins (2016) Scientific and Technological Achievement Award, Environmental Protection Agency (2015) Fellow of the American Society of Mechanical Engineers Dr. Zhang is actively involved in mentoring students and securing research grants from agencies such as the National Science Foundation (NSF) and the New York State Energy Research and Development Authority (NYSERDA). His projects often involve interdisciplinary collaboration across eight Cornell colleges and 16 academic departments. He has led initiatives such as the Cornell Atkinson Academic Venture Fund projects and the development of a county-level energy roadmap for Tompkins County. He also teaches courses in engineering thermodynamics, future energy systems, and air quality, emphasizing experiential and community-based learning. Dr. Zhang leads the Energy and the Environment Research Laboratory (EERL) and collaborates with the Atkinson Center for a Sustainable Future. His lab functions as a hub for innovation in sustainable communities, combining advanced modeling with real-world applications. Through partnerships with community organizations, government agencies, and industry, his team develops science-driven solutions to urban and rural sustainability challenges.
Amy Bruckman is a Regents’ Professor and Senior Associate Chair in the School of Interactive Computing at Georgia Institute of Technology. As a Fellow of The ACM and member of the SIGCHI Academy , she contributes to social computing research focusing on online collaboration, cross-cultural understanding, and content moderation. Her 2022 book "Should You Believe Wikipedia? Online Communities and the Construction of Knowledge" explores digital knowledge creation. Education: Ph.D. from MIT Media Lab (1997), B.A. in Physics from Harvard (1987) Research Affiliations: GVU Center, IRI People and Technology Her work addresses social computing challenges including: AI ethics in human-AI interaction Algorithmic bias in content moderation Epistemic justice in online communities Comparative platform analysis (Reddit, Discord, TikTok) Grassroots technology movements Recent publications examine: AI support tools for online counseling Community-driven research frameworks Racial bias mitigation in toxic language detection Designing teachable social media experiences Human trafficking intervention ethics Scientific recognition includes: ACM Fellowship SIGCHI Academy membership She has contributed to: Georgia Tech's Computing Education initiatives Research ethics frameworks for Human-Computer Interaction
Yannis Paschalidis is a Distinguished Professor at Boston University with appointments in Electrical and Computer Engineering, Systems Engineering, Biomedical Engineering, and Computing & Data Sciences. He serves as Director of the Rafik B. Hariri Institute for Computing and Computational Science & Engineering. He holds a PhD (1996) and MS (1993) in Electrical Engineering and Computer Science from MIT, and a Diploma (1991) from the National Technical University of Athens. His interdisciplinary research spans optimization, control systems, machine learning, and data science with applications in healthcare, autonomous systems, and networks. Key focus areas include developing algorithms for autonomous navigation, healthcare analytics for clinical decision support, energy demand optimization, and computational biology for protein interaction modeling. Recent publications demonstrate strong focus on AI robustness (adversarial defenses, distributional robustness), healthcare applications (cognitive impairment detection, epidemic control), and sustainable systems (power networks, ecological forecasting). Methodological innovations center on reinforcement learning, distributionally robust optimization, and geometric analysis of classical algorithms. CAREER Award (NSF) IEEE Fellow (2014) IFAC Fellow (2022) IBM/IEEE Smarter Planet Award IEEE Computer Society Crowd Sourcing Prize IMIA Best Paper Award Charles DeLisi Award (2020) Distinguished Professor of Engineering As primary advisor to 35 PhD graduates, he leads the Network Optimization & Control (NOC) Lab. His research is funded by NSF, NIH, DoD, ARPA-E, and industry partners, including major grants on Neuro-Autonomy (ONR MURI), pandemic preparedness (ARPA-E NewRAMP), and healthcare AI (NIH QuBBD). He directs the Network Optimization & Control Lab focusing on optimization, learning, and control for autonomous systems, healthcare, and networks. The lab develops fundamental methodologies with applications in robotics, computational medicine, and infrastructure systems.
Dr. Khurram Aziz is a Senior Instructor in the Faculty of Computer Science at Dalhousie University , Halifax, Canada. He is actively engaged in teaching and research, with a focus on optical networks, data center interconnects, and network performance modeling. Education: PhD in Electrical Engineering, Vienna University of Technology, Austria (2008) MSc in Electrical Engineering, National University of Singapore (2003) BSc (Hons) in Electrical Engineering, University of Engineering and Technology, Lahore, Pakistan (1998) His research interests include optical packet and burst switched networks , optical interconnects for data centers , analytical modeling and simulation , and network routing and switching . He has contributed extensively to the design and performance evaluation of scalable optical switches and hybrid switching systems. The recent publications reflect a strong trend in data center optical networks , focusing on performance, blocking probability, signal degradation, and architectural classification. His work bridges theoretical modeling with practical simulation frameworks, such as CloudNetSim++ in OMNeT++, contributing to cloud and high-capacity network research. Dr. Aziz has no listed scientific awards in the provided text. He teaches several core computer science courses including CSCI 2141: Intro to Database Systems , CSCI 3171: Network Computing , CSCI 3132: Object Orientation and Generic Programming , and CSCI 3120: Operating Systems . There is no mention of graduate student supervision or external research grants. He has co-authored book chapters in major handbooks on data centers and switched systems. Dr. Aziz has not listed any formal lab or research team affiliations in the provided content.
Mika Järvinen serves as Associate Professor in the Department of Energy and Mechanical Engineering at Aalto University, leveraging fundamental sciences—physics, thermodynamics, chemistry, and numerical modeling—to address cross-sector energy challenges. His research spans sustainable bioenergy and inter-linked circular economy systems integrating energy, materials, and environmental considerations across biomass, pulp/paper, metallurgy, and waste-to-energy industries. His expertise centers on sustainable bioenergy and circular economy frameworks, utilizing numerical modeling to optimize combustion engineering and metallurgical processes. By maintaining diverse industrial engagement, he ensures research continuity during economic fluctuations while advancing black liquor spraying technologies and energy-material-environment synergies. This approach enables flexible, physics-based solutions for complex industrial energy conversion problems. Professor Järvinen's 2025 publications reveal a cohesive focus on renewable energy systems operating within planetary boundaries, spanning carbon capture (calcium looping), low-temperature heat engines, and comprehensive textbook development. His work integrates solar, wind, bioenergy, and storage technologies into holistic frameworks that balance technical innovation with ecological constraints, emphasizing system-level sustainability over isolated component optimization. His scientific recognition includes: Best Dissertation Award (2002) from Helsinki University of Technology's Department of Machine Technology for research on black liquor droplet conversion Resonate Award (2015) from Caltech University's Resnick Institute As lead of the Energy Conversion and Systems research group, he directs projects bridging fundamental modeling with industrial applications while developing educational resources for next-generation energy engineers. His laboratory work emphasizes experimental validation of numerical models across combustion, metallurgical, and biomass conversion processes.
Rajeev Alur is the Zisman Family Professor in the Department of Computer and Information Science at the University of Pennsylvania, leading the School of Engineering and Applied Science. He is the Founding Director of the ASSET Center for Trustworthy AI and a member of the PRECISE Center. His research focuses on formal methods for system design, integrating AI, cyber-physical systems, and machine learning with logical reasoning to ensure safety in autonomous systems. Alur has held leadership roles in major NSF projects like ExCAPE and has directed the Embedded and Multi-Scale Systems (EMBS) program. His research interests span formal verification, temporal logics, programming abstractions, and synthesis techniques. Notable contributions include the development of Nested Words (visibly pushdown languages), streaming string transducers, and tools like AutomataTutor for education. He has advised over 60 PhD students and postdocs, many of whom now hold academic and industry leadership positions. Alur’s awards include the 2024 Knuth Prize and the 2016 Alonzo Church Award. His work on Verisig and compositional verification of neural networks has advanced safety-critical AI applications. He teaches foundational courses like CIS 2620 and develops educational tools, emphasizing both theoretical rigor and practical impact. Key projects include the ASSET Center’s focus on trustworthy AI, integration of logical specifications in reinforcement learning, and formal verification of closed-loop systems with neural components. His publications span over 350 papers, with recent work addressing neurosymbolic learning, security in large language models, and efficient neural network verification.
