Kangjing Huang is a researcher at Purdue University specializing in programming languages and software engineering. Their work bridges theoretical foundations with practical tool development in program synthesis. Research focuses on program synthesis methodologies , particularly reconciling enumerative and deductive approaches. Key contributions include: Developing library-based synthesis techniques for practical code generation Creating frameworks for efficient search space navigation Integrating formal verification with synthesis pipelines Publication trends show consistent advancement in automated programming systems from 2020-2022, with growing emphasis on real-world applicability through library integration. Awards and teaching activities are not documented in available sources. Huang actively contributes to the programming languages research ecosystem through publications at premier venues including PLDI and SAS, with work centered on making program synthesis more scalable and practical for developer workflows.
Christos Kotselidis is an Associate Professor at the University of Manchester's School of Computer Science and serves as Chief Engineer at Pierer Innovation (previously mentioned as KTM Innovation). He leads the TornadoVM project, a groundbreaking Java Virtual Machine for heterogeneous hardware acceleration. His work bridges academia and industry, focusing on hardware/software co-design for virtual machines and embedded systems. His research spans chip design, micro-architecture, compilers, virtual machines, and garbage collection. Dr. Kotselidis has pioneered work in heterogeneous computing, particularly in accelerating Java applications on GPUs, FPGAs, and RISC-V architectures. His team's recent development of GPULlama3.java demonstrates the practical application of his research in bringing LLM inference to pure Java with GPU acceleration. His publications show a consistent focus on bridging hardware capabilities with managed runtime systems. The research trajectory reveals increasing sophistication in handling memory hierarchies, parallelism, and cross-architecture execution. His work has significant implications for high-performance computing, AI acceleration, and sustainable computing practices. Dr. Kotselidis actively contributes to the academic community as a program committee member for conferences like ISMM and as an organizer for workshops including VMIL and MoreVMs. He's also involved in EU-funded projects like AERO and DARE, which focus on European processor initiatives and software ecosystems. As project lead for TornadoVM, he mentors a research team at Manchester including Michalis Papadimitriou, Mary Xekalaki, and Thanos Stratikopoulos. His lab (Beehive Lab) develops open-source tools that are widely used in both academic and industrial settings for heterogeneous computing.
Peter O'Hearn is a Professor of Computer Science at University College London and Research Scientist at Meta AI (FAIR), renowned for co-developing separation logic which bridges theoretical computer science and industrial-scale program analysis. His dual affiliation exemplifies the synergy between academic research and practical tool development that characterizes his career. His research interests focus on program verification , separation logic , static analysis , and his recent groundbreaking work on incorrectness logic as a complementary approach to traditional verification. O'Hearn pioneered the concept of local reasoning which enables modular verification of large codebases by focusing only on relevant memory regions, forming the theoretical foundation for Facebook Infer. His publications reveal a consistent trajectory from foundational theory to industrial application, with recent work emphasizing Scalable verification for million-line codebases Compositional reasoning for concurrent systems Practical deployment of formal methods in developer workflows Bug-oriented reasoning through incorrectness logic His research consistently addresses the tension between theoretical soundness and practical applicability in program analysis. Notable scientific awards include: 2021 IEEE Cybersecurity Award for Practice 2016 Gödel Prize for separation logic 2016 CAV Award for outstanding contributions POPL 2019 Most Influential Paper Award Fellow of the Royal Society (FRS) Fellow of the Royal Academy of Engineering (FREng) O'Hearn has made substantial contributions to industrial practice through Facebook Infer, which analyzes millions of lines of code daily across Meta's codebase. His work on continuous reasoning integrates formal verification into developer workflows, while his recent focus on incorrectness logic addresses the critical need for effective bug detection in large systems. He maintains active leadership in the programming languages community through conference organization and keynotes.
Pavlos Petoumenos is a Lecturer (Assistant Professor) in the Department of Computer Science at the University of Manchester and a Research Fellow of the Royal Academy of Engineering. He leads research within the Advanced Processor Technology (APT) group, focusing on compiler optimization and energy-efficient computing. Previously, he worked as a Research Associate and Senior Researcher at the University of Edinburgh under Hugh Leather. His research centers on compilers, runtime systems, and development tools designed to help programmers write fast, energy-efficient programs with minimal effort. With electronic systems consuming 10% of global electricity (projected to reach 20% by 2030), his work addresses the critical challenge of bridging the complexity gap between programmers and modern energy-efficient hardware. Key research areas include compiler optimization, machine learning applications in compilation, code size reduction, and quantum-classical programming integration. His recent publications reveal strong trends in applying machine learning to compiler optimization, particularly through active learning techniques and deep learning models. The research spans multiple domains including function merging, branch fusion, loop transformations, and energy profiling, with significant contributions to quantum programming language design. His work consistently targets real-world applications in multicore processors and interactive mobile environments. Award highlights include: Best Paper Award at CGO 2019 Distinguished Paper Award at ISSTA 2018 Best Paper Award at PACT 2017 Best Paper Award at CGO 2017 Best Paper Award at IISWC 2014 Royal Academy of Engineering Research Fellowship Petoumenos actively contributes to the research community through mentoring PhD students, organizing the biennial International Workshop on Code Optimisation for Multi and Many-Cores (COSMIC), and co-hosting the Compucast podcast where he serves as chief editor. His collaborations span multiple institutions including the University of Edinburgh, University of Lancaster, and University of St Andrews. He has secured significant research impact through tools like BenchPress and F3M that address practical challenges in compiler design and optimization. He leads the Advanced Processor Technology group and contributes to the Compucast podcast, which features interviews with computer science researchers, academic and industry news, and technical discussions. The podcast represents a collaboration between multiple UK universities and serves as an important outreach platform for computer science research.
Fabrice Rastello is a leading researcher at Inria, France, where he serves as the leader of the CORSE (Compiler Optimization and Runtime SystEms) research team. His expertise spans automatic parallelization and compiler back-end optimization, with significant contributions to Static Single Assignment (SSA) form theory and register allocation techniques. Affiliated with University Grenoble Alpes - Inria - CNRS - Grenoble INP - LIG, he maintains an active research profile with continuous publications in top-tier conferences including PLDI, CGO, and PPoPP. His research interests focus on combining theoretical foundations with practical applications in compiler design. Key areas include automatic parallelization techniques (building on his PhD work on tiling as a loop transformation), compiler back-end optimization, and the emerging field of hybrid compilation that bridges static compilation with runtime techniques. He has made significant contributions to register allocation for JIT compilation in the context of SSA properties, advising three PhD students on related topics. Analysis of his recent publications reveals a strong trend toward data movement optimization, with numerous papers on I/O complexity bounds, cache modeling, and microarchitectural performance analysis. His work spans both theoretical computer science and practical applications, including contributions to healthcare technology during the pandemic with the eSpiro ventilator project. He has also explored intersections between compiler techniques and machine learning, particularly in using ML for performance modeling. Fabrice Rastello serves on program committees for major conferences in the field, including PLDI, CGO, and CC, demonstrating his standing in the research community. His 2022 book 'SSA-based Compiler Design' as editor further establishes his authority in compiler theory and practice. His recent work shows continued innovation in compiler techniques, with publications in 2024 demonstrating ongoing research activity across multiple domains including cache modeling, program analysis, and machine learning applications.
Abhik Roychoudhury is a Provost's Chair Professor of Computer Science at the National University of Singapore (NUS), where he has been working since 2001. He serves as the Editor-in-Chief of ACM Transactions on Software Engineering and Methodology (TOSEM) and chairs the FSE Steering Committee. Professor Roychoudhury leads the TSUNAMi center, a five-year research effort funded by the National Research Foundation in trust-worthy software, and is the Lead Principal Investigator of the Singapore Cyber-security Consortium. Professor Roychoudhury received his Ph.D. in Computer Science from the State University of New York at Stony Brook in 2000. His academic journey has been primarily at NUS, where he has built a distinguished career in software engineering research. His research focuses on software testing and analysis, software security, and trust-worthy software construction. Professor Roychoudhury's research group has developed scalable techniques for testing, debugging, and repair of programs using systematic semantic analysis. His work on automatic program repair has been particularly influential, contributing to the vision of self-healing software. Current research directions include integrating large language models with traditional program analysis techniques for autonomous software engineering, as exemplified by the AutoCodeRover project. Professor Roychoudhury's recent publications demonstrate a strong focus on automated program repair, with increasing integration of large language models and AI techniques. His work spans both theoretical foundations and practical applications, with numerous contributions to top software engineering conferences. The research shows a clear trajectory toward more autonomous software engineering systems that can understand code intent, generate repairs, and verify their correctness. IEEE TCSE New Directions Award (2022) ICSE 2023 Most Influential Paper Award ACM Distinguished Speaker (2013-2019) Fellow of the ACM Professor Roychoudhury has successfully mentored numerous Ph.D. students who have gone on to academic positions at prestigious institutions worldwide, including University College London, Max-Planck Institute, and University of Melbourne. His research is supported by significant grants, including a five-year program on Automated Program Repair at NUS funded by the National Research Foundation, and collaborations with industry partners through the Singapore Cyber-security Consortium. The TSUNAMi center represents a major research initiative with substantial funding for trust-worthy software research. Professor Roychoudhury leads an active research group focused on software analysis and repair. The group has developed several notable systems including AutoCodeRover, an autonomous software engineer that can resolve GitHub issues with minimal LLM cost. The group collaborates extensively with industry, as evidenced by the recent acquisition of AutoCodeRover by Sonar. Current research directions include next-generation fuzzing of stateful systems and the integration of AI techniques with formal methods for more reliable software.
Athanasios Chasalevris is an Assistant Professor at the School of Mechanical Engineering, National Technical University of Athens (NTUA), with research expertise in rotordynamics, tribology, and nonlinear machine dynamics. His work focuses on vibration control in turbomachinery, controllable bearings, and fault diagnostics in rotating systems. Doctor of Philosophy in Rotordynamics (University of Patras, 2009) Diploma in Mechanical & Aeronautical Engineering (University of Patras, 2004) Research interests include: Linear/Nonlinear Rotordynamics of Turbines and Turbochargers Controllable Bearings (Oil/Gas/Magnetic) for Vibration Suppression Tribology: Hydrodynamic/Aerodynamic Bearing Performance Cracked Rotors and Fracture Mechanics Nonlinear Dynamics and Bifurcation Analysis His recent work emphasizes the development of adjustable bearings for turbine systems, nonlinear stability assessment, and diagnostics of bearing wear and rotor cracks. Collaborations include institutions in Germany, the US, Iran, and Austria. Scientific Awards: General Electric Co. 'Beyond and Ahead' Award (2017) Alexander Von Humboldt Fellowship (2010) Technical Chamber of Greece (TEE) Award for Excellence (2004) Athanasios supervises PhD and Master’s students, requiring expertise in dynamics, vibration theory, and programming (Matlab/Python). He teaches courses in dynamics of rotating machines, machine elements, and kinematics of mechanisms.
Polyvios Pratikakis is Associate Professor in the Computer Science Department at University of Crete and Visiting Researcher at FORTH-ICS. Research develops tools for parallel/distributed software execution, focusing on programming languages, runtimes, and static analysis for modern hardware. Current projects include EuroEXA (programming models for exascale applications) and ETAK (earthquake simulation deployment in cloud environments). Past projects include ASAP (big data workflows), Myrmics/BDDT/PARTEE (task-parallel runtimes), and GreenVM (JVM for non-cache-coherent architectures). Additional research examines software fault tolerance and static analysis for parallel programs. Teaching includes undergraduate/graduate courses on Parallel Programming, Type Systems, Multicore Programming, and Computer Science fundamentals. Supervises multiple MSc/PhD students in compiler design, runtime systems, and social network analytics. Service includes program committees (EuroPar, CF), HiPEAC organization, and faculty committees at University of Crete.
Diomidis Spinellis is a Professor at the Department of Management Science and Technology, Athens University of Economics and Business. He is a leading researcher in software engineering, IT security, and cloud systems engineering, with over 300 publications and 10,000 citations. He has authored award-winning books including Code Reading , Code Quality: The Open Source Perspective , and Effective Debugging: 66 Specific Ways to Debug Software and Systems (2016). As a Senior Member of ACM and IEEE, he served as Editor-in-Chief of IEEE Software (2015–2018) and contributed to open-source tools like CScout, UMLGraph, and dgsh. Award-winning author in software engineering Developer of critical open-source tools Editorial leadership in IEEE Software Contributor to macOS and BSD Unix His research spans code quality, software evolution, security, and developer productivity. Articles highlight Unix modernization, AI-assisted coding, dependency analysis, and incident management. He has served on the IEEE Computer Society Board of Governors and holds degrees from Imperial College London (MEng, PhD). Scientific contributions include open-source datasets (e.g., VulinOSS, Alexandria3k) and innovative tools for software analysis. His work bridges academic research and industrial practice, with case studies on Eclipse, Android APIs, and ING’s incident management.
Panos Rondogiannis is a Professor in the Department of Informatics and Telecommunications at the National and Kapodistrian University of Athens, focusing on Theoretical Informatics. His research spans logic programming semantics, fixpoint theory, and non-monotonic reasoning with contributions to higher-order constructs and formal frameworks for preference representation. His research interests include logic programming semantics, fixpoint theory, non-monotonic reasoning, and the application of higher-order constructs in programming. He explores many-valued logics for preference representation and has contributed to game-theoretic and categorical approaches in formal semantics. Rondogiannis’s recent work (2020–2024) addresses recursive functions in TensorFlow, non-monotonic fixpoint theories, and stable model semantics for higher-order logic programs. Earlier contributions (2017–2019) include advancements in approximation fixpoint theory, extensional semantics for logic programs, and the expressive power of higher-order datalog systems. No scientific awards mentioned. No advising or grant information provided in the available texts. No specific labs or collaborative teams are detailed in the provided information.
Daphne Pantoussa is a Civil Engineer with MSc and PhD degrees, affiliated with the Laboratory of Structural Analysis and Design at the University of Thessaly in Volos, Greece. She has extensive experience in structural engineering with a focus on fire and seismic safety of structures. She earned her Diploma in Civil Engineering from the University of Thessaly (1999-2003), followed by a Postgraduate Diploma in Civil Engineering specializing in "Applied Engineering and Systems Simulation" (2004-2006). She later obtained a Postgraduate Diploma in Mechanical Engineering focusing on "Modern Design and Analysis Methods in Industry" (2013-2015), and completed her PhD in Civil Engineering at the University of Thessaly (2009-2013). Dr. Pantoussa's research primarily focuses on structural behavior under extreme conditions, particularly fire and seismic events. Her work examines the performance of steel structures in fire situations following earthquakes, thermal buckling of steel tanks, and the fire resistance of composite structures. She has developed advanced numerical models to simulate structural behavior under fire conditions and has contributed to standards development for fire resistance calculations. Her research trends demonstrate a strong emphasis on multi-hazard analysis, particularly the combined effects of fire and seismic events on structural systems. She has made significant contributions to understanding the behavior of steel structures under fire conditions, with particular attention to post-tensioned systems and composite slabs. Her work bridges computational mechanics with practical engineering applications, providing valuable insights for structural design under extreme conditions. Dr. Pantoussa has received notable recognition for her research, including: Marie Skłodowska-Curie Research Individual Fellowships (IF) (2017-2019) for the project "Resilient steel frame against fire and seismic hazards" Funding through the Operational Program "EDUCATION AND LIFELONG LEARNING" for doctoral research (2010-2013) She has been actively involved in teaching at the University of Thessaly, offering courses in Statics I and II, Mechanics of Materials, and specialized postgraduate courses on shell structures and fire-resistant design of metal structures. Her research has been supported by various European programs including COST actions TU0904 and C26, and she has collaborated with industry partners such as ELASTRON Group and EXEL Group on practical engineering applications. Dr. Pantoussa is a member of the Laboratory of Structural Analysis and Design at the University of Thessaly, where she works alongside Dr. Euripides Mystakidis and other researchers. Her work contributes to the laboratory's focus on structural safety under extreme loading conditions, particularly fire and seismic events.
Eleni-Orsalia Sklavounou serves as a Lecturer at the Department of Industrial Design and Production Engineering within the School of Engineering at the University of West Attica (UNIWA) since November 2018. Her academic appointment focuses specifically on Industrial Processes for Renewable Energy Forms and Green Technology. She holds a degree in Mechanical Engineering from the National Technical University of Athens (NTUA) with additional qualifications in production engineering. She further obtained a Master's degree in Information Technology with Management from the University of the West of Scotland. Currently, she is pursuing her PhD with research focused on the "Framework of Uncertainty Management in Mega Projects" since October 2018. Her research interests encompass project management methodologies, modern transport and storage technologies, systems modelling, system dynamics, and sustainable energy solutions. Her work particularly emphasizes industrial applications of renewable energy forms and green technology implementation in engineering contexts. Dr. Sklavounou teaches several undergraduate courses including Mechanical Drawing (1004), Technical Engineering-Statics (2002), Supply Chain Management (4003), and Transportation Systems Management (9008). At the postgraduate level, she instructs courses on Automation in Industrial Production/Mechatronics and the MSc in Automation program. With extensive professional experience both in academia and industry, she has worked as a freelancer managing technical offices and has been involved in numerous electromechanical projects ranging from small to large scale installations. Her industry experience includes preparation and supervision of drafting studies, project construction, feasibility studies, production process analysis, environmental impact management, and energy saving systems implementation across various industrial settings.
Sapountzakis Evangelos serves as a Professor in the Department of Structural Engineering within the School of Civil Engineering at the National Technical University of Athens (NTUA). His academic work is centered at the Statics and Aseismic Research Laboratory, where he conducts research on advanced structural dynamics and earthquake engineering solutions. His institutional affiliation places him within Greece's premier technical university, known for its strong engineering programs and research contributions to civil infrastructure. Professor Sapountzakis' research interests focus on innovative approaches to structural protection against seismic events and vibrations. His work particularly emphasizes the development and application of negative stiffness mechanisms, vibration absorbers, and the KDamper technology for various structural systems. His research spans multiple structural types including multi-story buildings, bridges, and wind turbine towers, addressing both theoretical modeling and practical implementation challenges in earthquake engineering. Analysis of Professor Sapountzakis' recent publications reveals a consistent research trajectory focused on seismic protection systems, with particular emphasis on the Extended KDamper technology. His work combines numerical modeling, optimization techniques, and experimental validation to develop practical solutions for structural vibration control. The publications demonstrate increasing sophistication in handling complex structural dynamics problems, including soil-structure interaction, nonlinear responses, and multi-objective optimization approaches for enhanced structural performance during seismic events. Professor Sapountzakis maintains active research collaborations focused on structural dynamics and earthquake engineering. His work appears to involve both theoretical development and practical implementation of vibration control systems, with evidence of experimental testing alongside numerical simulations. While specific grant information isn't detailed in the available text, his extensive publication record suggests sustained research funding and active participation in the structural engineering research community. Professor Sapountzakis is affiliated with the Statics and Aseismic Research Laboratory at NTUA, which serves as the primary facility for his experimental work on vibration control systems and seismic protection devices. This laboratory appears to support both theoretical research through computational modeling and practical validation through physical testing of structural components and systems, particularly focusing on the development and refinement of the KDamper technology for various structural applications.
Alex Groce is an Associate Professor at the School of Informatics, Computing, and Cyber Systems (SICCS) at Northern Arizona University. He joined NAU in 2017 after serving as faculty at Oregon State University where he was promoted to Associate Professor in 2015. Previously, he was a core member of NASA's Jet Propulsion Laboratory's Laboratory for Reliable Software and taught software testing at Caltech. Educational background includes: Ph.D. in Computer Science from Carnegie Mellon University (2005) B.S. in Computer Science and Multidisciplinary Studies from North Carolina State University (1999) His research focuses on software engineering with emphasis on testing techniques for complex systems. Primary interests include: Development of testing tools like TSTL (Python testing) DeepState (C/C++ unit testing with symbolic execution) Mutation testing frameworks including universalmutator and MuttFuzz Security/reliability of embedded and systems software Dr. Groce leads significant open-source projects and serves on program committees for top conferences including ISSTA, ICSE, ASE, and FSE.
Cezara Drăgoi serves as a Researcher (Chargé de Recherche) at INRIA with dual affiliation at École Normale Supérieure's Department of Computer Science and CNRS. She maintains active roles in major programming language conferences including PLDI, POPL, and SPLASH where she contributes to program committees and steering groups, demonstrating her standing in the formal methods community. Her research program focuses on automated formal verification through abstraction techniques, specifically targeting data structures across the spectrum from sequential implementations to distributed systems. Drăgoi develops logic-based frameworks that enable Hoare-style reasoning about content and consistency properties, with particular expertise in identifying suitable fragments of first-order and separation logic for static analysis. Her work bridges theoretical foundations with practical verification challenges in both single-threaded and concurrent environments. Publication trends reveal a clear evolution from foundational work on shape analysis for sequential data structures toward increasingly complex distributed systems verification. This progression culminated in her development of PSync - a domain-specific language for fault-tolerant distributed algorithms with integrated verification capabilities - demonstrating her ability to create practical abstractions that make verification tractable for real-world systems. Steering Committee Member, Static Analysis Symposium (SAS 2025) Program Committee Co-Chair, VMCAI 2023 Multiple program committee roles at PLDI (2017, 2020), POPL (2016-2023), ECOOP (2019), and SPLASH (2020-2024) Session chair for SAS 2021 and VMCAI 2019 Drăgoi actively mentors emerging researchers through internship and PhD opportunities in specialized areas including Byzantine consensus verification (SABC project) and refinement techniques for fault-tolerant asynchronous code (RFTA project). She has developed two influential verification tools: CELIA (a Frama-C plugin for C program verification handling both data and structural properties) and PSync (a language with verification engine for distributed algorithms). Her teaching includes graduate-level courses on abstract interpretation at Université Paris Diderot. She leads verification research within the INRIA/ENS collaboration, focusing on making static analysis tractable for complex distributed systems through innovative synchronous programming abstractions. Current work targets verification challenges in consensus algorithms and communication-closed protocols, with emphasis on bridging theoretical soundness with practical applicability.
