Ondřej Pavela is a researcher at the Faculty of Information Technology, Brno University of Technology, specializing in programming language tools and software verification. His work bridges theoretical computer science with practical static analysis applications. His research focuses on concurrency analysis and static program verification , with core expertise in: Deadlock and atomicity violation detection Performance analysis of concurrent systems Static analyzer plugin development Bug detection in multi-threaded programs At PLDI 2020, he presented novel plugins for the Infer static analyzer framework, demonstrating significant contributions to automated software verification. His work addresses critical challenges in concurrent program reliability through innovative tooling approaches. He actively participates in the programming languages research community through conference contributions like PLDI, focusing on practical implementations that enhance static analysis capabilities for real-world software systems.
Fernando Magno Quintão Pereira is an Associate Professor at the Federal University of Minas Gerais (UFMG), Brazil, specializing in compiler design and program analysis. His academic journey began with a Ph.D. from UCLA in 2008 under Jens Palsberg's supervision, establishing his foundation in compiler research. His research focuses on compilers , with core expertise in code generation , compiler optimizations , and static program analyses . Recent work explores quantum compilation, binary analysis, and security-aware compilation techniques. His publications reveal consistent contributions to major conferences including PLDI, CGO, and SPLASH, with emphasis on practical optimization frameworks and theoretical compiler advancements. Analysis of his 15 most recent publications (2020-2026) shows dominant themes in binary optimization (e.g., AnghaBench), security-aware compilation (e.g., Memory-Safe Elimination of Side Channels), and emerging architecture support (e.g., Quantum Computing Compilation). His work bridges theoretical compiler principles with real-world systems challenges. He actively contributes to the academic community through: Program committees for PLDI (2020-2025), CGO (2021-2026), and SPLASH conferences Leadership roles including CGO Finance Chair (2026) and PLDI Diversity & Inclusion Co-Chair (2023-2024) Organizing JENSFEST 2024 and serving on multiple conference steering committees Pereira maintains an active research group evidenced by continuous publication output and conference leadership, with his personal website ( homepages.dcc.ufmg.br/~fernando/ ) serving as a hub for his academic activities.
Erez Petrank is a Professor of Computer Science at the Technion - Israel Institute of Technology, where he holds the Andrew and Erna Viterbi Chair. His academic career spans decades with significant contributions to systems research, particularly in memory management and concurrent programming. He has maintained continuous academic service through leadership roles in major conferences including SPAA'24, ISMM 2023, and PPOPP 2021. His research focuses on concurrent computing, programming languages, and systems with special emphasis on memory management. Additional interests include parallelism, cryptography, data structures, approximation algorithms, and distributed computing. Petrank's work bridges theoretical foundations with practical systems implementation, particularly evident in his persistent memory research and garbage collection innovations. Petrank's publication record shows consistent contributions to ACM SIGPLAN conferences over two decades, with recent work focusing on non-volatile memory systems, lock-free data structures, and memory reclamation techniques. His research demonstrates a clear trajectory from foundational memory management concepts toward modern persistent memory architectures, reflecting adaptability to evolving hardware paradigms while maintaining theoretical rigor. H-index: 41 (Google Scholar) Erdos number: 2 62 co-authors across diverse research collaborations Petrank has mentored numerous researchers through his academic position and conference leadership roles, serving on program committees for major venues including PLDI, PPoPP, and ISMM. His professional service includes executive committee membership in ACM SIGPLAN (2009-2012) and steering committee roles for multiple conferences. He maintains active research collaborations with institutions worldwide, as evidenced by his extensive co-author list spanning theoretical computer science to practical systems implementation. His academic lineage traces back through Oded Goldreich, Shimon Even, and Hao Wang to intellectual giants including Isaac Newton and Galileo Galilei, reflecting deep roots in theoretical computer science and mathematics.
Clément Pit-Claudel is an assistant professor at École Polytechnique Fédérale de Lausanne (EPFL) in the School of Computer and Communication Sciences, Department of Computer Science. He leads the SYSTEMF lab which he founded in January 2023. Prior to joining EPFL, he was a PhD candidate at MIT with Adam Chlipala and subsequently worked as a senior applied scientist at Amazon AWS. His academic journey began at École Polytechnique in France, followed by doctoral studies at MIT. Dr. Pit-Claudel's research focuses on programming languages, compilers, and formal verification, with broader interests spanning systems engineering, hardware design languages, security, performance engineering, databases, and type theory. His work centers around three main axes: extensible compilation (teaching compilers domain-specific optimization tricks), hardware design languages and verification, and tooling for proof assistants. He has developed several influential systems including Elk (a linear-time engine for JavaScript regexes), Warblre (a Coq translation of JS regex specification), Fiat (a library for correct-by-construction refinement), Narcissus (for verified binary encoders/decoders), F2F (a program extraction framework), Rupicola (a compiler-construction toolkit), Kôika (a rule-based hardware design language), Cuttlesim (a fast hardware simulator), and Alectryon (a literate programming system for Coq). His publications span top venues including PLDI, POPL, ICFP, ASPLOS, and SLE, with recent work focusing on verified JavaScript regular expressions, foundational integration verification of cryptographic servers, and relational compilation techniques. His research aims to build small, fast, and completely verified components for critical systems through a combination of machine-checked proofs, hardware-software co-design, low-level compiler engineering, and new tools for interactive theorem proving. His notable awards include the Distinguished Artifact award at SLE 2020 for 'Untangling Mechanized Proofs,' the William A. Martin Memorial Thesis Award from MIT in 2016, and the Frederick C. Hennie III Teaching Award from MIT in 2016. He has served on program committees for numerous conferences including PLDI, POPL, ICFP, and SPLASH, and has organized workshops such as the Coq Workshop and Proof Systems. As an educator, he teaches 'Software Construction' (undergraduate level, ~400 students) and 'Interactive Theorem Proving' (graduate level) at EPFL. His teaching philosophy emphasizes hands-on learning, continuous assessment through oral examinations, and designing assignments that lead students to build concrete artifacts they can be proud of. His approach is informed by hundreds of hours of in-class instruction in Europe and the US, resulting in stellar student reviews and multiple teaching awards.
Baishakhi Ray is an Associate Professor of Computer Science at Columbia University's School of Engineering and Applied Science. Her work focuses on the intersection of AI, Software Engineering, and Security. She received her Ph.D. from the University of Texas, Austin and has established herself as a leading researcher in software engineering with AI applications. Dr. Ray's educational background includes a Ph.D. from the University of Texas, Austin. Her academic journey has led to a prominent position at Columbia University where she continues to advance research in software engineering. Dr. Ray's research spans several critical areas at the intersection of software engineering and artificial intelligence. Her work explores how machine learning techniques can improve software development processes, enhance security practices, and address challenges in program analysis. She has made significant contributions to understanding how large language models can be effectively applied to code generation, vulnerability detection, and software testing. Her research has practical implications for improving software reliability and security in real-world applications, particularly in safety-critical domains like autonomous systems. Analysis of Dr. Ray's recent publications reveals a clear trajectory toward leveraging AI for practical software engineering challenges. Her work has evolved from foundational program analysis techniques to cutting-edge applications of large language models in code understanding and generation. A notable trend is her focus on making AI-assisted software development more reliable, secure, and energy-efficient. Her research increasingly addresses the practical limitations of current AI approaches while developing novel methodologies to overcome them. IEEE TCSE Rising Star Award NSF CAREER Award IBM Faculty Award VMWare Faculty Award ICSME Most Influential Paper Award (2023) FSE'17 Distinguished Paper ASE'22 Distinguished Paper ISSTA'23 Distinguished Paper CACM Research Highlights Dr. Ray actively mentors graduate students and has built a productive research group focused on AI-driven software engineering solutions. Her research has been supported by prestigious grants including the NSF CAREER award. She has successfully guided numerous students through their research projects, with several of her advisees making significant contributions to publications in top-tier conferences. Dr. Ray also serves as an Amazon Visiting Academic, bridging academia and industry to address real-world software engineering challenges. Through her leadership in various research projects and collaborations, Dr. Ray has established a dynamic research environment that combines theoretical rigor with practical applications. Her work often involves interdisciplinary collaboration across computer science subfields, particularly connecting software engineering with security and AI research communities.
Ilya Sergey is an Associate Professor at the National University of Singapore (NUS) School of Computing, with previous faculty appointments at University College London (2015-2018). His academic career spans multiple prestigious institutions including IMDEA Software Institute (postdoctoral position) and KU Leuven (PhD). His educational background includes a PhD in Computer Science from KU Leuven (2012), an MSc in Mathematics and Computer Science from Saint Petersburg State University (2008), and professional experience as a software engineer at JetBrains prior to academia. Sergey's research focuses on the intersection of programming language theory and practical software verification, with particular emphasis on concurrent systems , smart contracts , and program synthesis . His work bridges theoretical foundations in type theory and separation logic with practical applications in blockchain technology and Rust programming. He has developed novel techniques for verifying heap-manipulating programs, analyzing commutativity in distributed transactions, and synthesizing correct-by-construction code. Analysis of his recent publications reveals a clear trajectory toward practical verification of blockchain systems and concurrent data structures, with increasing focus on Rust programming language applications. His work demonstrates consistent innovation in mechanized reasoning techniques while maintaining relevance to real-world software challenges, particularly in the domains of smart contracts and distributed systems. Sergey maintains an active research group at NUS, as evidenced by his social media references to lab traditions and student collaborations. He frequently participates in major programming languages conferences as both author and committee member, serving in leadership roles including General Chair for ICFP 2025. His research lab follows distinctive traditions, including location-based Mattermost status updates when traveling. Sergey is deeply engaged with the programming languages community through conference organization, mentoring activities, and outreach initiatives such as nature walks for conference attendees.
Angelo Sifaleras is a Full Professor at the Department of Applied Informatics, School of Information Sciences, University of Macedonia (Thessaloniki, Greece). He also serves as an Adjunct Professor of Quantitative Methods at the Hellenic Open University. His academic credentials include a Ph.D. in Applied Informatics (University of Macedonia, 2007) and a B.Sc. in Mathematics (Aristotle University of Thessaloniki, 1999). Research Focus: Professor Sifaleras specializes in Mathematical Programming , Network Optimization , and Heuristic Methods . His work integrates computational optimization with real-world logistics, supply chains, and sustainable systems. Key research themes include metaheuristic algorithms for vehicle routing, pollution-aware logistics, and parallel computing solutions for network analysis. Publication Trends: His 15 most recent articles emphasize hybrid metaheuristics (e.g., combining reinforcement learning with Variable Neighborhood Search), sustainable supply chain modeling, and high-performance computing applications. Dominant domains include operations research, environmental optimization, and educational algorithm visualization. Teaching & Service: He instructs courses in Combinatorial Optimization, Linear Algebra, and Heuristic Methods, employing tools like CPLEX, Gurobi, and SageMath. As an editor for Operations Research Forum and the Yugoslav Journal of Operations Research , he supports academic discourse in optimization. A Senior ACM member, he contributes to conferences like ICVNS and ITS.
Panagiotis Papadimitriou serves as an Associate Professor at the Department of Applied Informatics, University of Macedonia in Thessaloniki, where he leads the NetCloud research group. Previously, he held positions as Assistant Professor at Leibniz University Hanover's Institute of Communications Technology and as a Post-Doctoral Researcher at Lancaster University (UK) and Telecom SudParis (France), with additional research experience at the University of Cambridge. His research spans Internet architectures and technologies with emphasis on Network Function Virtualization (NFV), Software-Defined Networking (SDN), Time-Sensitive Networking (TSN), Internet-of-Things (IoT), and Edge Computing. His work includes ML-assisted NFV orchestration (SFC-graph embedding, transformation, and multi-domain partitioning), network slicing orchestration, programmable dataplanes with P4, deterministic networks, datacenter network fabrics, and edge computing. Notable research outcomes include distributed network processing architectures (MIDAS, DistNSE), multi-provider service mapping mechanisms (Nestor), open-source NFV orchestration platforms (TeNOR), and orchestration platforms for cross-slice communication (MESON). His recent publications show a strong focus on In-Band Network Telemetry, Service Function Chain optimization, Time-Sensitive Networking implementations, and cross-slice communication systems, demonstrating his leadership in network virtualization and edge computing research areas. His work consistently addresses practical implementation challenges while advancing theoretical foundations in network management. Scientific Recognition: Senior Member of IEEE Associate Editor of IEEE Transactions on Network and Service Management Counselor of the IEEE Student Branch at University of Macedonia As Principal Investigator of the Horizon Europe NEPHELE project and previous EU-funded projects (NECOS, T-NOVA, CONFINE), he has secured over 1M euro in research funding. He actively contributes to the academic community through conference organization roles including IEEE ICC NGNI 2025, IEEE ICIN 2024, and IFIP/IEEE CNSM 2022 as General Co-Chair. The NetCloud research group he leads maintains a dedicated edge computing facility used for both research and teaching, and is known for its commitment to open-source software and community service through academic network resources. His educational background includes a Ph.D. in Electrical and Computer Engineering from Democritus University of Thrace (2008), an M.Sc. in Information Technology from University of Nottingham (2001), and a B.Sc. in Computer Science from University of Crete (2000).
Katerina Oikonomopoulou is an Assistant Professor in the Department of Philology at the University of Patras, where she has taught ancient Greek and Latin language and literature since 2014. Her expertise spans Classical, Byzantine, and Modern Greek Literature programs, with specialization in imperial-period literary and scientific traditions. Her academic foundation includes Classical Philology studies at Aristotle University of Thessaloniki, followed by MA and PhD degrees from the University of Oxford. Prior to Patras, she contributed to research programs on ancient science and medicine at the University of St Andrews and Humboldt University of Berlin. Dr. Oikonomopoulou's research centers on Greek and Latin literature of the 1st-3rd centuries AD, particularly encyclopedic literature , biography , and the symposium tradition from Plato through Plutarch and Athenaeus. She examines how these genres negotiate Classical heritage and contemporary contexts, with special focus on Peripatetic scientific influence (Aristotle, Theophrastus) and representations of medical knowledge. Her methodology integrates literary analysis with intellectual history to explore knowledge transmission in imperial reading communities. Analysis of her recent publications reveals consistent engagement with Plutarchan studies, Athenaeus, and encyclopedic works, highlighting intersections between literature, science, and cultural memory. Recurring themes include knowledge organization, epistemic communities, and the reception of scientific discourse in Roman imperial contexts. She has supervised numerous undergraduate and postgraduate theses, serving as main supervisor for one completed and four ongoing doctoral dissertations. From 2018-2022, she directed the University of Patras-funded project Codification and transformations of scientific knowledge in Greek and Latin encyclopedic works of the imperial era , investigating scientific discourse and reading communities under Roman imperial frameworks.
Dr. Nikolaos Bakas serves as an Assistant Professor in the Information Technology Department at the School of Liberal Arts and Sciences, The American College of Greece, Deree. His academic profile centers on bridging theoretical mathematics with practical machine learning implementations through rigorous algorithmic development. His research program focuses on fundamental mathematical modeling of machine learning systems , with specialized expertise in Numerical Methods and High-Performance Computing (HPC) . Key contributions include stochastic optimization algorithms (notably the ITSO framework), gradient-free neural network training techniques, and computational mechanics applications. This interdisciplinary work connects theoretical mathematics with engineering solutions in structural analysis and environmental risk assessment. Analysis of his 2019-2023 publications reveals a clear trajectory toward practical HPC implementations of machine learning frameworks, with increasing emphasis on domain-specific applications. His research consistently addresses computational efficiency challenges while maintaining mathematical rigor, particularly in stochastic search methods and partition-based approximation systems. As Principal Investigator for multiple industry and academic projects, Dr. Bakas demonstrates active research leadership with direct organizational consulting experience. His project portfolio indicates strong translation of theoretical research into real-world AI and HPC adoption, though specific grant details remain undisclosed.
Dr. Konstantinos Vavousis serves as Associate Professor and Department Chair of the Department of Information Technology, Cybersecurity, and Computer Science at The American College of Greece's School of Liberal Arts and Sciences. He maintains dual research associate appointments at the University of Piraeus (Department of Business Administration) and European University of Cyprus (Department of Computer Science and Engineering). His research program centers on Artificial Intelligence applications in cybersecurity, machine learning for threat detection, and GDPR compliance frameworks. Current investigations include wireless network security for smart cities (LoRaWAN), social engineering countermeasures, and secure infrastructure development for national institutions like the National Library of Greece. This work directly informs his leadership of the MSc in Cybersecurity program and Cyber Club activities. Dr. Vavousis actively secures research funding through major projects: OCEANIDS (climate data harmonization), GRACE (law enforcement tools against child exploitation), and THEIA (EU crisis management systems). As Cyber Club advisor, he mentors students in Capture The Flag competitions while coordinating thesis projects that address real-world security challenges for Greek government entities and critical infrastructure. His professional impact extends through EthiHak - the pioneering ethical hacking contest he initiated (2016-2019) - and certifications as Ethical Hacker and ISO 27001 Lead Auditor. With 17+ years of industry experience spanning pharmaceuticals, energy, finance, and government sectors, he integrates practical case studies into courses like Ethical Hacking & Penetration Testing and Intrusion Detection.
