Ali José Mashtizadeh is an Associate Professor at the Cheriton School of Computer Science, University of Waterloo. His research focuses on operating systems, distributed systems, and storage, with expertise in system reliability, network optimization, and concurrent programming. Education: Ph.D., Computer Science, Stanford University (2017) M.S., Computer Science, Stanford University (2017) M.Eng., Electrical Engineering and Computer Science, MIT (2007) B.S., Electrical Engineering, MIT (2006) His research centers on designing scalable and reliable systems, with recent publications exploring TCP network frameworks, in-memory data persistence, and microsecond-scale scheduling. Key themes include optimizing tail latency, neutralization-based memory reclamation, and fault-tolerant distributed services. His articles consistently demonstrate innovations in low-latency networking, operating system architecture, and cloud infrastructure, with recent emphasis on serverless benchmarks and processor customization. No scientific awards or advising relationships are detailed in the provided materials.
Christoph Kirsch is a Professor and Chair of the Department of Computer Science at the University of Salzburg. He also serves as Chair of the Programming Research Laboratory at the Faculty of Information Technology, CTU Prague. His research focuses on systems, concurrency, memory management, and formal methods, with notable contributions including the Selfie educational software project and work on symbolic execution. He is a prolific author with over 50 publications in top venues like LCTES and EMSOFT. Education: Ph.D. in Computer Science (details not specified). His teaching includes courses on elementary computer science concepts and curricula development. He advises students such as Anna Bolotina and has graduated over a dozen PhD students. Research highlights include the Selfie system (self-referential C compiler and emulator), work on concurrency primitives like Scal and Timestamped Stack, and contributions to real-time systems (Logical Execution Time, Variable-Bandwidth Servers). His recent focus includes teaching digital thinking and evaluating eval in R programs. He has organized conferences like MPLR’24 and served on program committees for EuroSys and RTNS. His book Elementary Computer Science emphasizes foundational concepts for broad audiences.
Henri Hansen is a University Lecturer at Tampere University's Computing Sciences Department within the Faculty of Information Technology and Communication Sciences. His research focuses on concurrency theory, partial order reduction, stubborn sets, Petri nets, and formal methods. He holds a Doctor of Science (Technology) and Master of Science in Technology from Tampere University. Key research interests include optimizing state space exploration through techniques like stubborn sets, analyzing financial networks (e.g., stock market dynamics), and applying formal methods to industrial systems. His work bridges theoretical foundations with practical applications in software verification and blockchain systems. Recent publications emphasize network analysis in financial markets and Bitcoin systems, alongside advancements in partial order reduction algorithms. Hansen has received three notable awards for his contributions to stubborn set theory and coverability algorithms.
Dr. Juan S. Gnecco serves as Assistant Professor in the Department of Biomedical Engineering at Tufts University School of Engineering, holding concurrent appointments as Graduate Biomedical Sciences Member in Genetics, Molecular and Cellular Biology and Associate Principal Investigator at Tufts Medical Center's Mother Infant Research Institute. His laboratory bridges tissue engineering and reproductive biology to address women's health inequities through innovative engineering approaches. Dr. Gnecco's research focuses on three interconnected domains: Tissue engineering and organoid systems for modeling the human endometrium using synthetic hydrogels that replace Matrigel, enabling fully defined studies of hormone-mediated processes Tissue clearing and 3D pathology techniques to visualize endometriotic lesion architecture in unprecedented detail Disease modeling of endometriosis as an estrogen-dependent, progesterone-resistant condition affecting over 10% of women, characterized by debilitating pelvic pain and infertility His work has established critical tools for deciphering immune-endocrine mechanisms in reproductive physiology and disease pathogenesis. Dr. Gnecco's publication record demonstrates consistent advancement in modeling the female reproductive tract, with recent work emphasizing biophysical microenvironment effects on endometrial cell behavior, synthetic matrix development for organoid culture, and molecular characterization of endometriosis. His research trajectory shows deepening focus on translational applications of engineering approaches to endometriosis pathology. Recognition includes: Multiple Gates Foundation funding rounds (2018-present) for phenotypic screening models of the female reproductive tract Rising Star in Engineering and Health by Columbia University (2020) Invited presentations at Society for Reproductive Investigation and Gates Foundation Consortium Editorial board membership for Frontiers in Reproductive Health As Principal Investigator of the Laboratory of Reproductive Engineering, Dr. Gnecco leads interdisciplinary efforts to identify novel therapeutic targets for endometriotic diseases through physiomimetic model systems. His educational background includes a PhD in Cellular and Molecular Pathology from Vanderbilt University Medical Center (2018) and BS in Biotechnology from Rutgers University.
Gabriel Ciobanu is a Professor at Alexandru Ioan Cuza University of Iasi, Romania, and a Senior Researcher at the Romanian Academy, Iasi. He has held various academic positions internationally including as a Visiting Professor at Newcastle University (UK) from 2010-2015 and as a Research Fellow/Professor at the National University of Singapore (2000-2004). His educational background includes PhD studies at A.I.Cuza University and Edinburgh University (1990-1994) under the mentorship of Robin Milner, and his undergraduate studies in the Faculty of Mathematics and Computer Science at A.I.Cuza University of Iasi (1977-1982). Professor Ciobanu's research focuses on Membrane Computing and Natural Computing , Distributed Systems Models including process calculi with emphasis on semantics, behavioral equivalences, logics, and verification. He has made significant contributions to bridging membrane computing and process calculi, and to the Foundations of Mathematics and Computer Science through his work on Finitely Supported Mathematics. His research has applications in theoretical computer science, formal methods, and computational biology. His publication record shows a consistent research trajectory focusing on theoretical computer science with applications to natural computing, membrane systems, process calculi, and finitely supported structures. Recent work (2023-2025) continues to explore these areas with increasing focus on multi-agent systems, continuation semantics, and applications to medical systems and reaction systems. Scientific Awards and Recognition 2013 Grigore Moisil Award, Romanian Academy (as co-author of "Mobility in Process Calculi and Natural Computing", Springer) 2010-2013 Member of the National Research Council (CNCS) in Romania 2008-2010 Royal Society of London Joint International Project (Newcastle University, School of Computing) 2004 Octav Mayer Award for Scientific Achievements, Romanian Academy of Sciences, Iasi branch 2000 Grigore Moisil Award of the Romanian Academy of Sciences for results in Theoretical Computer Science 1995-1996 Japan Society for the Promotion of Science Fellowship (Tohoku University and Kyoto University) 1994 DAAD Research Fellowship (Institute of Computer Science, University of Kiel) 1991-1992 Royal Society of London and Romanian Academy Fellowship (University of Edinburgh) Professor Ciobanu has supervised 8 PhD students and numerous master's students. He has served as Editor-in-Chief of the Scientific Annals of Computer Science since 2006 and has been a guest editor for special issues of several international journals. He has collaborated with researchers from numerous countries including UK, France, Netherlands, Spain, Italy, Russia, China, Singapore, and India. He has been involved in various research projects and has spent research periods at prestigious institutions worldwide including Edinburgh University, Universite de Paris XI, CWI and VU Amsterdam, Tohoku and Kyoto University, National University of Singapore, and Newcastle University.
Professor Heinrich Schmidt is an Adjunct Professor in the School of Science at RMIT University, Australia. His research focuses on Software Engineering, Distributed Systems, and Cyber-Physical Systems. He specializes in areas such as formal verification, safety-critical systems, and cloud computing. His work emphasizes practical applications in industrial automation, IoT, and HPC environments. Key research interests include spatio-temporal analysis, fault tolerance, and adaptive systems design. He has supervised projects on IoT data contextualization, software fault characterization, and spatial modeling in PRISM. Over 98 publications highlight his contributions to formal methods, distributed systems, and industrial software solutions. Professor Schmidt collaborates on projects like Chiminey (cloud/HPC integration) and VxLab (industrial visualization). His teaching covers parallel systems, trusted components, and model-based monitoring. No specific awards are listed, but his extensive publication record underscores his academic impact.
Dr. Gun A. Lee serves as a Senior Research Fellow at the Empathic Computing Lab within the School of Information Technology and Mathematical Sciences at the University of South Australia. He concurrently holds an Adjunct Senior Fellow position at the HIT Lab NZ, University of Canterbury. His academic journey spans multiple institutions with significant contributions to extended reality research. Dr. Lee's educational foundation includes: Ph.D. in Computer Science and Engineering from POSTECH (2002-2009) M.S. in Computer Science and Engineering from POSTECH (2000-2002) B.S. in Computer Science from Kyungpook National University (1996-2000) His research centers on extended reality technologies and their applications. Dr. Lee's work explores Virtual Reality (VR), Augmented Reality (AR), and Mixed Reality (MR) systems with emphasis on creating immersive experiences for learning, training, and collaboration. His concept of 'Immersive Authoring' represents a significant contribution to the field, enabling content creation while immersed in the experience itself. In Human-Computer Interaction, he develops novel interaction techniques that leverage natural human behaviors and multimodal inputs, particularly focusing on eye tracking, gesture recognition, and spatial awareness. Analysis of Dr. Lee's recent publications reveals a clear trajectory from foundational AR frameworks to sophisticated collaborative mixed reality systems. His work increasingly integrates social and emotional dimensions into remote collaboration, with projects like SharedSphere demonstrating practical applications of live 360-degree mixed reality. The research consistently bridges theoretical HCI principles with real-world applications across education, professional training, and entertainment domains. As a Research Degree Supervisor, Dr. Lee mentors graduate students in extended reality and human-computer interaction. His teaching portfolio includes the 'Human Interface Technology - Design and Evaluation' course at the HIT Lab NZ, where he specialized in evaluation methodologies for interactive systems across multiple semesters from 2014-2016. He has also conducted specialized workshops including 'The Glass Class' on Google Glass development. At the Empathic Computing Lab, Dr. Lee leads research initiatives focused on creating technologies that enhance human connection. His project portfolio spans from fundamental interaction research like 'Interaction with Augmented Mirrors' to applied mobile AR applications including CityViewAR, AntarcticAR, and GeoBoids. His work on the Mobile AR Framework represents significant infrastructure development for the field, while projects like VPS (VR-based Paint Spray Training Simulator) demonstrate practical industrial applications of his research.
Thanasis Papaioannou is a Senior Researcher at the STEcon lab at Athens University of Economics and Business (AUEB), where he has been since 2006. He concurrently teaches Python Programming and Android Programming at the University of Thessaly and Data Management in IoT at the Technological Educational Institute of Thessaly. His research focuses on smart grid demand-side management, IoT data management, gamification for energy conservation, and privacy mechanisms in distributed systems. Education: He holds a B.Sc. (1998), M.Sc. (2000) in Computer Science from the University of Crete, and a Ph.D. (2006) in Informatics from AUEB. He has held postdoctoral roles at EPFL (2008-2013) and positions at CERTH (2013-2016). Research Interests: His work spans IoT-enabled gamification for energy efficiency, decentralized management frameworks, and blockchain applications for trustworthy systems. Notable contributions include frameworks like ONTOCHAIN and CHArGED, addressing challenges in energy conservation and distributed trust. Publications: Over 65 papers in high-impact venues including IEEE Transactions on Smart Grid and ACM e-Energy. Recent work emphasizes blockchain-semantic convergence, decentralized IoT governance, and energy market coordination under uncertainty. Professional Impact: Project manager in 17 national/EU projects, with over 1200 citations. Advises on energy systems and decentralized technologies, emphasizing user-centric design and behavioral interventions.
Professor Phil Trinder is a Professor of Computing Science at the University of Glasgow's School of Computing Science. He leads the Glasgow Parallelism Group (GPG) and is a member of the Glasgow Systems Section (GLASS) and the Scottish Programming Languages Seminar (SPLS). His research focuses on parallel and distributed programming models, functional programming, and applications in computational algebra. Trinder holds a DPhil from Oxford University and has over 100 publications. He has led 12 major research projects as Principal Investigator and coordinated EU projects. Collaborations include Ericsson, Maplesoft, Microsoft, and Motorola. His work emphasizes scalable distributed systems, actor-based platforms, and reliable computation. Notable contributions include the SymGridPar framework for computational algebra and research on Erlang scalability. He also explores IoT architectures and tierless programming languages. Key projects include improving Erlang's network scalability and developing frameworks for exact combinatorial search (YewPar). He has supervised numerous researchers and contributed to high-performance systems like HPC-GAP.
Dr. Maximilian Engel is an Assistant Professor (UD1, tenured) at the Korteweg-de Vries Institute for Mathematics (KdV Institute), University of Amsterdam. He concurrently leads the MATH+ Research Group on 'Random and Multiscale Dynamical Systems' at Freie Universität Berlin's Department of Mathematics and Computer Science. His research focuses on stochastic dynamics, metastability, synchronization phenomena, and applications in complex systems and machine learning theory. **Research Interests:** His work spans transient random dynamics, multi-agent systems, biochemical oscillators, and the theoretical underpinnings of deep learning. He actively collaborates on projects funded by NWO Vidi (e.g., 'Transient Random Dynamics'), MATH+, and Germany's DFG SPP 2298. **Grants & Leadership:** Principal Investigator (PI) for multiple projects including 'Metastability in Multi-Agent Systems' and 'Scaling Cascades in Complex Systems.' He oversees postdoc and PhD positions in his Vidi project. Engages in editorial roles for Physica D: Nonlinear Phenomena and organizes events like the One World Dynamics Seminar Series and SIAM Conference sessions. **Affiliations & Activities:** Maintains dual roles at UvA and FU Berlin, participates in international workshops (e.g., SIAM Conference 2025, Summer School on Random Dynamical Systems), and contributes to Dutch-German academic networks like NDNS+ and MATH+.
Maulana Ariefai serves as a Research Fellow at the Department of Cellular, Computational, and Integrative Biology (CIBIO) within the University of Trento, Italy, where he concurrently pursues his PhD in the Biomolecular Sciences Doctoral Program (DM226/2021). His research spans interdisciplinary domains including Biomolecular Sciences, Cellular Biology, Computational Biology, and Integrative Biology, reflecting CIBIO's mission to merge experimental and computational methodologies for biological discovery. This work emphasizes systems-level understanding through quantitative and molecular approaches.
Paolo Garza is an Associate Professor in the Department of Control and Computer Science (DAUIN) at the Polytechnic University of Turin, where he also serves as Coordinator of the College of Computer, Film and Mechatronics Engineering. He is a member of the DBDM research group and the SmartData@PoliTO laboratory, and actively contributes to academic governance through roles in teaching coordination and PhD program committees. Education: Bachelor’s in Computer Engineering, Polytechnic University of Turin (2001) PhD in Computer and Systems Engineering, Polytechnic University of Turin (2005) His research centers on data science, big data analytics, data mining, and machine learning , with applications in emergency management, real-time communications, Earth observation, and cybersecurity. He has led and participated in numerous national and commercial research projects, including AI4CTI and NODES (PNRR), and has collaborated with industry partners like Cisco Systems. His work bridges theoretical algorithm development and practical deployment in critical systems. The recent publications reflect a strong trend toward multimodal AI, crisis informatics, and intelligent networking . Articles span computer vision for environmental monitoring (e.g., burned area detection, canopy estimation), ML for real-time communication quality, multimodal document understanding, and crisis response systems. His team leverages deep learning, transformers, and vision-language models across diverse domains. Scientific Service: Associate Editor, Knowledge and Information Systems (2024–) Associate Editor, Expert Systems with Applications (2022–) General Co-Chair, IEEE AICT Conferences (2022, 2023) He mentors several PhD students and leads funded research initiatives focused on AI for sustainable industry and cyber threat intelligence. His teaching includes graduate courses on big data processing, distributed architectures, and data science lab methods. He has also directed commercial training programs and research contracts in machine learning and cybersecurity. Research Labs & Teams: DBDM - Database and Data Mining Group (DAUIN) SmartData@PoliTO - Big Data and Data Science Laboratory LAB 5 - Research Laboratory (DAUIN)
David Chisnall is a researcher affiliated with the University of Cambridge and active in systems programming, compiler design, and cross-language interoperability. He contributes to conferences like POPL, PLDI, ISMM, and SPLASH, with particular focus on secure compilation and memory management.
Magnus Madsen is an Associate Professor at Aarhus University, Department of Computer Science. He leads the development of the Flix programming language, a declarative tool integrating logic, functional, and imperative features with Java interoperability. His work spans type and effect systems, program analysis, and JavaScript bug-finding tools, particularly for asynchronous applications. Academic Affiliation: Aarhus University (Denmark) Leadership: Flix Programming Language Magnus's research focuses on programming language design, type systems, and static/dynamic analysis. This includes Datalog constraints, polymorphic effects, and nullability frameworks. His contributions to JavaScript analysis address asynchrony and concurrency challenges. Key trends in his work include declarative program analysis, effect system design, and Datalog-based frameworks like IFDS/IDE. Recent papers explore rank-polymorphic function inference, purity reflection, and stratification in logic programming. Scientific awards include: Sapere Aude grant (2023) Dahl-Nygaard Junior Prize (2022) STEM Grant (2022) Amazon Research Award (2021) DFF Project One (2020) ECOOP 2023 Distinguished Paper ICSE 2016 Distinguished Paper Current PhD students advised: Jonathan Lindegaard Starup, Matthew Lutze, Andreas Stenbæk Larsen (co-advised with Aslan Askarov), Caroline Palma Berger (co-advised with Clemens Nylandsted Klokmose).
Quentin Stiévenart is a researcher at Université du Québec à Montréal, focusing on abstract interpretation, concurrency, and static analysis. His work spans programming language design, software verification, and tool development for WebAssembly and functional languages like Racket and Scheme. Active in organizing and reviewing for conferences including SPLASH, ICFP, ECOOP, and SAS Developed tools such as Wassail for WebAssembly static analysis and RacketLogger for educational purposes Contributions include theoretical work on effect-driven flow analysis and practical advancements in concolic execution abstraction His research addresses challenges in concurrency verification, cyclic reinforcement in incremental analysis, and security-focused taint tracking across multiple language paradigms.
