Prof. Dr. Martin Kronbichler is a faculty member at the Faculty of Mathematics , Ruhr University Bochum , leading the Numerics group. His research focuses on higher-order finite element methods, multigrid techniques, and high-performance computing for complex fluid and solid mechanics problems. Key Research Areas: Higher-order finite element methods, iterative solvers, multigrid algorithms, exascale mathematical software, and computational fluid dynamics. Notable Projects: EU-funded dealii-X (exascale digital twins), BMBF PDExa (optimized PDE solvers for exascale), and DFG grants for cut-discontinuous Galerkin methods and geometric multigrid. Publications Trends: Recent works emphasize matrix-free operators for hyperelasticity, diffuse-interface models for additive manufacturing, and multigrid smoothers for higher-order elements. Scientific Awards: Recipient of the Humboldt Research Award for his contributions to numerical methods and HPC. Team: Collaborates with researchers like Dr. Shubham Kumar Goswami, Dr. Richard Schussnig, and Natalia Nebulishvili.
Chris Chipot is a Researcher and former Research Director at the CNRS, affiliated with the University of Lorraine. He holds adjunct faculty positions at the University of Illinois (Department of Physics) and the University of Chicago (Department of Biochemistry and Molecular Biology). He directs an Associate International Laboratory between CNRS and the University of Illinois at Urbana-Champaign. His expertise spans theoretical chemistry, molecular dynamics simulations, and membrane protein studies. Education: PhD in Theoretical Chemistry (1994, Henri Poincaré University, France) with a fellowship from Roussel Uclaf Institute. Habilitation (2000, University of Lorraine). Research Interests: Focuses on protein-ligand binding free energies, membrane protein dynamics, computational methods for molecular simulations, and biophysical techniques. His work integrates theoretical approaches with experimental validations, particularly in drug design and membrane biology. Publications: Recent articles highlight advancements in free-energy calculations, membrane protein dynamics, and scalable molecular dynamics software (NAMD). His research bridges computational and experimental biophysics, addressing challenges in structural biology and drug discovery. Awards: Fellowship from the Roussel Uclaf Institute during PhD studies. Advising & Grants: Leads collaborative projects via the CNRS-UIUC lab, fostering international research partnerships. His work has been supported by institutional and international grants, though specific funding details are not detailed here. Labs/Teams: Directs the CNRS-UIUC Associate International Laboratory, promoting interdisciplinary research in computational biophysics and membrane protein studies.
Mikko Valkama is a Professor at the Department of Communications Engineering , part of the Faculty of Information Technology and Communication Sciences at Tampere University . His research focuses on advanced wireless communication systems, positioning technologies, and integrated sensing and communication (ISAC). He holds an Orcid ID ( 0000-0003-0361-0800 ) and can be reached at mikko.valkama@tuni.fi . Research interests span 5G/6G networks , RF antenna design , deep learning for signal processing , and millimeter-wave systems . He leads projects on positioning algorithms (e.g., mmWave SLAM, NLOS mitigation), ISAC architectures, and hardware-efficient transmitter linearization. Notable contributions include works on DECT-2020 NR standards, phase-based localization, and RIS-assisted systems. In 2025 alone, his group published over 30 articles on topics such as: Antenna array design for Ka-band and wideband applications Machine learning for power amplifier predistortion Bistatic radio SLAM and mmWave mapping Covert transmission and physical-layer security His work bridges theoretical advancements with practical implementations, often validated through experimental setups (e.g., TUJI1 dataset for indoor localization). No scientific awards were explicitly listed in the provided texts.
James T. Enns is a Professor and Distinguished University Scholar in the Department of Psychology within the Faculty of Arts at the University of British Columbia. His research primarily focuses on the role of attention in human vision, with secondary interests in developmental psychology and human-machine interaction. Dr. Enns' research interests span perception, attention, vision, cognition, development, and human-machine interaction. His work explores how the human mind selects information, with particular emphasis on visual attention mechanisms. His laboratory research investigates the fundamental processes of visual perception and how attention modulates these processes across different contexts and developmental stages. Analysis of Dr. Enns' publication record reveals consistent engagement with visual perception, attentional mechanisms, and cognitive processing. His research demonstrates expertise in both theoretical frameworks and experimental methodologies related to visual attention, with applications spanning basic cognitive science to potential implementations in human-computer interaction systems. His work often bridges theoretical cognitive psychology with practical applications. Canadian Society for Brain, Behaviour and Cognitive Science Donald O. Hebb Distinguished Contribution Award (2013) Distinguished University Scholar, UBC (2004) Robert E. Knox Master Teaching Award (2004) Royal Society of Canada Fellow (2002) Killam Faculty Research Prize (1994) Killam Faculty Research Fellowship (1993) Society of Experimental Psychology Fellow Dr. Enns has served as Editor for the Journal of Experimental Psychology: Human Perception and Performance, and as Associate Editor for Psychological Science, Consciousness and Cognition, and Visual Cognition. His research has been supported by grants from NSERC, the Canadian Foundation for Innovation, the Australian Research Council, BC Health, and Nissan. He has authored textbooks on perception, edited research volumes on the Development of Attention, and published numerous scientific articles on vision, attention, and cognitive science. Dr. Enns is currently accepting graduate students and continues to mentor the next generation of cognitive scientists. Dr. Enns leads the UBC Vision Lab, which focuses on how the human mind selects information. The lab conducts research on visual attention, perception, and cognitive processes using a variety of experimental methodologies.
Adam Finkelstein is a Professor in the Department of Computer Science at Princeton University, where he has been a faculty member since 1997. He holds a PhD and Master's in Computer Science from the University of Washington and a dual degree in Physics and Computer Science from Swarthmore College. Finkelstein is renowned for his interdisciplinary work at the intersection of computer graphics, audio processing, and machine learning, and he co-organized the Art of Science exhibition at Princeton. Education: PhD, Computer Science, University of Washington MS, Computer Science, University of Washington BA, Physics and Computer Science, Swarthmore College His research spans audio processing (e.g., speech enhancement, voice conversion, audio metrics), computer graphics (e.g., line drawing algorithms, stylized rendering, image manipulation), and machine learning (e.g., self-supervised learning, differentiable programming). His work often bridges technical and creative domains, exemplified by collaborations at Pixar and Adobe Creative Technologies Lab. Recent publications highlight advancements in audio super-resolution and voice conversion using deep learning frameworks, as well as stylized line rendering for animated 3D models. His contributions to perceptual audio metrics and shader optimization further underscore his impact on human-centric computational systems. Scientific Awards: NSF CAREER Award Alfred P. Sloan Fellowship Fellow of the Association for Computing Machinery (ACM) Finkelstein has secured foundational grants for his research and actively mentors students, though no specific advisees are listed. He also explores collaborative tools for internet music performance, reflecting his broader interest in distributed systems and user interfaces.
Bruño Fraga is an Assistant Professor in the Department of Civil Engineering at the University of Birmingham, part of the School of Engineering. He specializes in Computational Fluid Dynamics (CFD) with a focus on turbulent and multiphase flows, particularly in applications like indoor air quality, water treatment, and airborne pathogen transport. His research group develops models such as Multiflow3D, addressing challenges in multiphase flow dynamics and environmental engineering. Education: MEng in Environmental Engineering (University of Santiago de Compostela, 1st class honors), MSc in Applied Math and Numerical Simulation (University of A Coruña), PhD in Civil Engineering (Universities of A Coruña and Chalmers). Research Interests: CFD modeling, bubble-induced turbulence, indoor air quality, water treatment technologies, and multiphase flow dynamics. Dr. Fraga leads major projects such as Fusion Forest (£1m, UKRI) and the IAQ-EMS initiative (£1m, Met Office), focusing on indoor air quality and pathogen transmission modeling. His work includes collaborations with organizations like Deltares Institute and Severn Trent, addressing wastewater treatment and environmental challenges. He is co-leader of the Fluids Research Group and the Water Technology stream at the University of Birmingham’s Water Centre. Scientific Awards: National Outstanding Graduate Prize (2011). Advising & Grants: Supervises graduate students in CFD and multiphase flow research. Oversees grants totaling over £2.1M, including fusion forest and buildair projects. Focuses on translating CFD expertise into real-world solutions for public health and environmental sustainability. Labs & Teams: Leads the Multiflow3D development team and collaborates with the Fluids Research Group and Water Technology stream.
Graham Dobereiner is an Associate Professor and Robert L. Smith Early Career Professor in the Department of Chemistry at Temple University's College of Science and Technology. He received his Ph.D. from Yale University (2011) and completed postdoctoral research at MIT (2012-2014) after earning his B.S. from Brandeis University (2007). His research group develops novel homogeneous transition metal catalysts for synthetic chemistry applications spanning fine chemicals manufacturing, petrochemical processing, and drug discovery. The work integrates organometallic chemistry principles, combining organic molecular diversity with inorganic compound reactivity. Research areas include catalytic isomerization, oxidative synthesis, ligand design, and mechanistic studies of transition metal complexes. Analysis of his recent publications demonstrates strong emphasis on reaction mechanism elucidation, catalyst design for stereoselective transformations (particularly Z-selective isomerizations), and development of novel catalytic systems for sustainable synthesis. His group employs computational and experimental approaches to advance synthetic methodology.
Bilal Farooq is an Associate Professor and Program Director for the Master of Engineering in Interdisciplinary Engineering (MEIE) at Toronto Metropolitan University, holding the Canada Research Chair in Disruptive Transportation Technologies and Services within the Department of Civil Engineering. His educational background includes a PhD from the University of Toronto (2011), MASc from Lahore University of Management Sciences (2004), and BSc from the University of Engineering and Technology (2001). Dr. Farooq's research pioneers disruptive transportation solutions through cyber-physical systems, AI/machine learning applications, behavioral modeling, and optimization techniques. His work specifically targets on-demand multimodal systems, sustainable urban transportation, urban air mobility, automated vehicles, and extended reality applications, addressing critical urban mobility challenges with human-centered approaches. Analysis of his recent publications reveals a strong trend toward quantum-enhanced computational methods, privacy-preserving federated learning frameworks, and sustainability-focused decarbonization strategies across transportation domains, with increasing emphasis on human factors and real-world implementation. Notable scientific awards include: Ontario Early Researcher Award (2018) Canada Research Chair (2017) MassMotion Academic Pedestrian Modelling Project of the Year (2016) Québec Early Researcher Award (2014) Dr. Farooq actively supervises graduate students and secures significant research funding through his Canada Research Chair position and Early Researcher Awards. He directs the Laboratory of Innovations in Transportation (LiTrans), which develops interdisciplinary solutions integrating mathematics, engineering, computer science, and economics to address emerging transportation challenges. LiTrans focuses on disruptive transportation technologies, complete streets design, cyber-physical systems, pedestrian dynamics, resilience, and climate change impacts, collaborating with industry and government partners to translate research into practical urban mobility innovations for smart cities worldwide.
Professor Cedo Maksimovic is a leading academic in the Department of Civil and Environmental Engineering at Imperial College London, Faculty of Engineering. He is a Principal Research Fellow and heads the Urban Water Research Group (UWRG), with affiliations to the Environmental and Water Resource Engineering group, Grantham Institute, Space Lab, and Urban Systems Lab. His research focuses on urban water systems , including storm drainage, urban flooding, water supply, and the interaction between urban infrastructure and the environment. He has pioneered work in applied fluid mechanics , smart water infrastructure , and flood risk management , with innovations such as the AOFD method for urban surface flood modelling and intelligent sensor networks recognized by the ICE Telford Gold Medal. His recent research, as reflected in publications, spans urban pluvial flooding , leakage detection , integrated urban water management , and blue-green infrastructure . These works emphasize computational modelling, real-time monitoring, and climate resilience in urban environments. UNESCO/IAHR Lecturer of the Year 2001 ICE Telford Gold Medal (WINES project team) Prof. Maksimovic has led major projects funded by EPSRC, EU (Climate-KIC, Interreg), UNESCO, and ERANET_CRUE. He advises postgraduate students and has created international educational initiatives like the EDUCATE programme. He also serves as Editor-in-Chief of the Urban Water Book Series and co-founded the Urban Water journal. He leads the UNESCO-endorsed IRTCUD/CUW network with centres in Banjaluka, Belgrade, Cairo, Kuala Lumpur, London, Porto Alegre, Tehran, and Trondheim, promoting global collaboration in urban water research and education.
Prof. Alexander Pretschner is a Professor of Software & Systems Engineering at the Technical University of Munich (TUM) and Founding Director of the Bavarian Research Institute for Digital Transformation (bidt). He also serves as Scientific Director of fortiss, a Bavarian research institute for software-intensive systems. His research focuses on software engineering, testing, information security, and ethical software development. Pretschner holds a PhD from TUM and has held academic positions at Karlsruhe Institute of Technology (KIT) and TU Kaiserslautern. He is a co-editor of several prestigious journals, including IEEE Transactions on Reliability and the Journal of Software Testing, Verification and Reliability. Education: PhD in Computer Science, Technical University of Munich MSc in Computer Science, University of Kansas (on Fulbright Scholarship) Diplom in Computer Science, RWTH Aachen University Research Interests: His work spans testing methodologies, secure software design, and ethical considerations in agile development. Notable contributions include frameworks for metamorphic testing, distributed data usage control, and accountability mechanisms for cyber-physical systems. Awards: IBM Faculty Award (2012, 2013) Google Focused Research Award (2011, 2012) EARTO Innovation Prize (2014) 2nd Platz Supervisory Award (2020) Advising & Grants: Pretschner has supervised numerous PhD and Master’s students, contributing to over 200 publications. He leads projects like EDAP (Ethical Deliberation in Agile Processes) and collaborates with industry partners on cybersecurity and AI ethics initiatives. Labs & Teams: His work is anchored in bidt, fortiss, and TUM’s Chair of Software & Systems Engineering, focusing on societal impacts of digitalization and trustworthy AI systems.
Stephen A. Vavasis is a Professor in the Department of Combinatorics and Optimization at the University of Waterloo, part of the Faculty of Mathematics. He holds a PhD in Computer Science from Stanford University (1989) and has held academic positions at Cornell University (1989–2006) before joining Waterloo. His research focuses on continuous optimization, data science, first-order methods, scientific computing, and computational mechanics. Current teaching includes courses on convex optimization and portfolio optimization methods. He has served as Associate Dean of Computing (2017–2020) and Interim Director of Data Science graduate programs. His work is supported by NSERC grants. Notable awards include the Hertz Fellowship, Churchill Scholarship, and Guggenheim Fellowship. Vavasis's research emphasizes applications of optimization to clustering, machine learning, and fracture mechanics. His publications span convex optimization frameworks, algorithmic analysis of gradient methods, and numerical methods in mechanics. Recent work explores unifying analyses of first-order optimization algorithms and robust optimization techniques for high-dimensional data problems.
Mike Kirby is a Professor at the Kahlert School of Computing, University of Utah. He also holds adjunct professorships in the Department of Bioengineering and the Department of Mathematics. His current roles include leadership in scientific computing and informatics initiatives, including former directorships of the Utah Informatics Initiative (2019-2023) and the Multi-Scale Multidisciplinary Modeling of Electronic Materials (MSME) Collaborative Research Alliance (2016-2022). He has extensive experience in strategic research initiatives, including serving as Assistant Vice President for Research (2024-2025). Education: Dr. Kirby earned a PhD in Applied Mathematics (2002) and MS in Computer Science (2001) from Brown University, and a BS in Applied Mathematics and Computer Science from Florida State University (1997). Research Interests: Focus on large-scale scientific computing, physics-informed machine learning, computational science and engineering, high-order numerical methods, and visualization. His work bridges applied mathematics and computer science to address real-world engineering challenges. Publications: Over 150 peer-reviewed articles, including high-impact contributions in journals like Journal of Computational Physics and SIAM Journal on Scientific Computing . Recent work emphasizes machine learning for differential equations, topology optimization under uncertainty, and multi-fidelity modeling. Awards: Recognized for leadership in computational science and informatics, including contributions to University of Utah’s Clery Compliance Program. Advising & Grants: Supervised over 50 graduate students and postdocs. Secured funding from NSF, DOE, and industry partnerships, totaling millions in research grants. Active in interdisciplinary collaborations across engineering, materials science, and medicine. Labs/Teams: Scientific Computing and Imaging (SCI) Institute, Utah Informatics Initiative, and the Center for Multiscale Modeling of Electronic Materials (MSME).
Hanna Halaburda is an Associate Professor of Technology, Operations, and Statistics at the Leonard N. Stern School of Business, New York University, where she joined in 2019. Her research lies at the intersection of economics, technology, and digital platforms, with a strong focus on blockchain, cryptocurrencies, and platform competition. She has published extensively in top academic journals and co-authored the seminal book Beyond Bitcoin: The Economics of Digital Currencies . PhD in Economics, Northwestern University MA in Economics, Warsaw School of Economics MA in Philosophy, Warsaw University Her research interests center on the economic implications of digital transformation. She investigates how blockchain technology reshapes trust, governance, and competition in digital markets. Her work explores token design, consensus mechanisms, smart contracts, and the strategic use of decentralization in platforms. She also studies platform competition under network effects, consumer choice, and omnichannel marketing. A recurring theme is how digital technologies alter traditional economic forces and business models. The most recent articles show a strong trend toward analyzing the governance, security, and economic design of blockchain systems. Her work combines rigorous theoretical modeling with empirical insights, often applying game theory and industrial organization frameworks. Topics include permissioned vs. permissionless blockchains, the role of cryptographic tokens in coordination, and the macroeconomic implications of digital currencies. She also contributes to debates on Web3, AI, and the future of digital platforms. Scientific awards and recognitions include: ISR Best Paper Published in 2022 Runner-Up Lead article in RAND Journal of Economics Best Paper Award at Tokenomics 2023 Best Paper Award at WISE 2023 Best Paper Finalist at WISE 2022 and WISE 2021 Hanna Halaburda has advised and collaborated with numerous researchers and institutions. Her co-authors include leading scholars from Harvard, NYU, and international universities. She has received research recognition through best paper awards and invitations to contribute to high-impact journals and policy discussions. Her work has been supported by academic and policy institutions, including the Bank of Canada, where she previously served as a senior economist. She frequently publishes in both academic and practitioner outlets, including Harvard Business Review and Nature Human Behavior , indicating strong translational impact. She is actively involved in research teams focused on digital assets, blockchain governance, and platform economics. While no formal lab is mentioned, her extensive list of working papers and collaborations suggests leadership in a dynamic research group at NYU Stern. Her recent work on DAOs, public crypto mining firms, and CBDCs indicates ongoing, forward-looking research programs with real-world policy and business implications.
Cezary Kaliszyk is a Professor in Theoretical Computer Science at the University of Melbourne, previously affiliated with the University of Innsbruck. He is actively involved in research and leadership in formal methods, automated reasoning, and machine learning for theorem proving. Research Interests: Automated Reasoning and Interactive Theorem Proving Formalized Mathematics and Proof Automation Machine Learning for Logic and Theorem Proving Integration of AI with Proof Assistants (Coq, Isabelle) Dependent Type Theory and Higher-Order Logic His recent publications (2023–2025) span topics in dependently-typed logic, learning for proof guidance, formalization of surreal numbers, and blockchain-based formal methods. The works consistently bridge formal logic with machine learning, emphasizing automation, explainability, and cross-system integration. Scientific Leadership and Projects: Principal Investigator, ERC project FormalWeb3 Lead Developer, CoqHammer , Tactician , ProofWeb WG5 Leader, COST Action EuroProofNet (until 2024) Contributor to HOL(y)Hammer , Isabelle Enigma He supervises multiple PhD students and has mentored several graduates in formal methods and AI. He teaches courses in theoretical computer science, logic, and machine learning. There are no listed awards in the provided data, but his extensive publication record and project leadership indicate significant recognition in the field. Labs and Research Groups: He leads a research group focused on formal methods and learning-based reasoning, collaborating internationally on projects involving proof automation, formal libraries, and semantic technologies.
Sotirios Liaskos is an Associate Professor in the School of Information Technology at the Faculty of Science, York University. He is a leading researcher in requirements engineering and conceptual modeling, with a focus on goal models, empirical evaluation, and model-driven engineering. Research Interests: Requirements Engineering Goal and Conceptual Modeling Empirical Software Engineering Model-Driven Design and Automation Uncertainty and Decision-Theoretic Reasoning in Models Applications in Blockchain and Reinforcement Learning His recent work emphasizes the empirical validation of modeling constructs, the integration of decision theory into goal models, and the automated generation of secure workflows and AI training environments. He has led and co-authored numerous experimental studies on model comprehensibility and semantic quality. Publication Trends: His publications consistently appear in top venues like ER, RE, and iStar. The last five years show a strong trend toward empirical evaluation of modeling languages, decision-theoretic goal models, and applications of goal modeling in emerging domains such as blockchain and reinforcement learning simulation design. Scientific Contributions: Developed frameworks for empirical evaluation of modeling language ontologies (Peira framework). Advanced decision-theoretic approaches to goal modeling under uncertainty. Pioneered model-driven methods for generating blockchain simulators and reinforcement learning environments. Conducted foundational empirical studies on the comprehensibility of contribution links and visualization alternatives in goal models. Advising and Collaboration: He has advised several researchers including Ibrahim Jaouhar, Wisal Tambosi, Mehrnaz Zhian, and Saba Zarbaf. He maintains a highly collaborative research profile with frequent co-authorship with John Mylopoulos, Shakil M. Khan, and other international researchers. He has served as a co-editor for multiple iStar workshop proceedings, indicating leadership in the goal-oriented requirements engineering community. Labs and Teams: While no specific lab name is mentioned, his work is closely associated with research groups focused on requirements engineering and conceptual modeling, likely within York University’s software engineering research cluster. His collaborations span institutions in Canada, Europe, and beyond.
