Badeka Anastasia is an Associate Professor at the Department of Chemistry, University of Ioannina, specializing in Food Chemistry and Technology. She holds a PhD in Chemistry (2001) and has 20+ years of academic experience focused on food packaging safety and analytical methods. 1995–2013: 19 research grants (EU programs, Greek agencies) 2018–2020: HPLC/DAD and mass spectrometry unit management 2020–present: Food authenticity assessment via volatile analysis Her research spans food packaging migration , preservation technologies , and chemical differentiation of agricultural products . Key projects include NEA GNOSI (2012–2015) and RESTART (2016–2020) with Cypriot collaborators. Recent publications (2023–2025) focus on spirulina-infused cheese packaging , prickly pear authentication , and olive ripening profiles . She supervises 5 PhD/MSc students and has served on 38 departmental committees, including quality assurance and Erasmus+ initiatives.
Vasilios Sakkas is an Associate Professor at the Department of Chemistry, University of Ioannina . His expertise lies in Analytical Chemistry with a focus on environmental and chemical analysis, teaching undergraduate and postgraduate courses including Analytical Chemistry I , Environmental Pollution Control Laboratory , and Chemometrics . Research Interests include: Development of advanced analytical techniques (chromatography, spectrometry) Chemometric optimization of analytical methods Environmental pollution control (pesticides, pharmaceuticals, endocrine disruptors) Photocatalytic degradation of pollutants Application of artificial neural networks in chemical analysis His work emphasizes water pollution control and microextraction methods for contaminant detection. Publications demonstrate expertise in GC-MS , LC-MS , and magnetic sorbents for analyzing environmental and food matrices.
Triantafyllos A. Albanis is a Professor and current Rector of the University of Ioannina (since 2018), with faculty appointment in the Department of Chemistry. He additionally serves as President of the Regional Council for Research and Innovation of Epirus and Director of the Institute of Environment and Sustainable Development at PEK Ioannina. His research centers on environmental chemistry and analytical methodologies for pollutant detection. Key focus areas include: development of chromatography-mass spectrometry techniques for toxic compounds in water/soil/food; assessment of micropollutant impacts; advanced remediation technologies (photocatalysis, adsorption, advanced oxidation); and green chemistry applications. His work bridges fundamental environmental processes with practical pollution control solutions. Professor Albanis maintains exceptional research productivity with 240 publications and over 12,000 citations (Scopus, 2020), reflecting significant field impact. Recent work (2017-2020) emphasizes pharmaceutical residues in water systems, pesticide monitoring in Greek rivers, and innovative photocatalytic treatment methods for emerging contaminants. Supervised 31 doctoral and 45 master's theses in Chemistry Active research program supported by institutional leadership roles International collaborations across European environmental projects Regular high-impact publications in environmental science journals His research group provides students with advanced analytical training and real-world environmental problem-solving opportunities, leveraging university laboratory resources and field study sites across Northwestern Greece.
Evaggelos Kaselouris is an Assistant Professor at the Hellenic Mediterranean University's Department of Music Technology and Acoustics and a Researcher at the Institute of Plasma Physics and Lasers (IPPL). His affiliations include prior roles as a PostDoc at IPPL (2016–2023) and a Scientific Collaborator at the Technological Educational Institute of Crete (2011–2016). He holds a PhD from the Technical University of Crete and a degree in Applied Physics and Mathematics from the National Technical University of Athens. Dr. Kaselouris's research integrates multiphysics simulations across applied physics, plasma dynamics, and vibro-acoustics. Key areas include: Laser-generated acoustic waves and their applications in material characterization and musical instrument analysis. Finite element modeling of thermo-mechanical processes in laser machining and plasma instabilities. Development of crystalline undulators for narrowband gamma-ray radiation and optically shaped gas targets for ion acceleration. His computational work employs FEM/BEM to simulate phenomena ranging from nanostructured surface modifications to violin bridge dynamics. Recent studies emphasize laser-based interferometry for instrument diagnostics and ultrafast photoacoustic transduction in thin films. He actively collaborates on European projects (e.g., TECHNO-CLS) and contributes to the ESFRI infrastructure HiPER. No awards or supervised students are documented, but his lab leverages IPPL's high-power laser systems and advanced simulation tools for experimental validation.
Jifeng Xuan is a Professor and Deputy Dean at the School of Computer Science, Wuhan University, China. He leads the CSTAR (Centre of Software Testing, Analysis and Reliability) research group and has made significant contributions to software engineering, particularly in software testing, debugging, and analysis. Dr. Xuan completed his bachelor's degree and PhD at OSCAR Lab, School of Software, Dalian University of Technology, China, under the supervision of Prof. He Jiang. He also conducted postdoctoral research at SPIRALS Team in INRIA Lille - Nord Europe, France, working with Dr. Martin Monperrus and Prof. Lionel Seinturier. His research focuses on Software Analysis and Testing , with specific interests in software testing and debugging, software data analysis, and search-based software engineering. Dr. Xuan's work bridges theoretical foundations with practical applications, addressing real-world challenges in software quality assurance. His research has led to numerous publications in top-tier software engineering venues and has influenced both academic research and industrial practices. Dr. Xuan's recent publications demonstrate a strong focus on innovative approaches to software testing, debugging, and analysis. His work spans multiple subfields including log analysis, fuzz testing, bug triage, and automated program repair. He has made significant contributions to understanding software crashes, improving bug report quality, and developing techniques for more effective software testing and analysis. 2025 ACM SIGSOFT Distinguished Paper Award 2025 IEEE TCSE Distinguished Paper Award 2024 CCF NASAC Youth Software Innovation Award 2018 ACM SIGSOFT Distinguished Paper Award 2015 Young Talent Development Program of CAST and CCF 2015 Luojia Young Scholar Program of Wuhan University 2014 Outstanding Doctoral Dissertation of CCF Dr. Xuan actively mentors PhD and master's students through his CSTAR research group at Wuhan University. He has served on numerous program committees for major software engineering conferences including ICSE, FSE, ASE, and ISSTA. His editorial service includes roles on the editorial boards of Empirical Software Engineering (EMSE), PLOS One, and Frontiers of Computer Science. Dr. Xuan has also organized several workshops and conferences, demonstrating his leadership in the software engineering community. As founder of CSTAR (Centre of Software Testing, Analysis and Reliability), Dr. Xuan leads a research team focused on advancing the state of the art in software quality assurance. The group's work spans theoretical foundations and practical applications, with strong connections to industry challenges. CSTAR has established collaborations with both domestic and international research institutions, contributing to a vibrant research ecosystem in software engineering.
Işıl Dillig is an Associate Professor of Computer Science at the University of Texas at Austin, where she leads the UToPiA research group. Her academic career spans over a decade of significant contributions to programming languages research, particularly in program analysis, verification, and synthesis. Dr. Dillig received all her academic degrees (BS, MS, and PhD) from Stanford University before joining the faculty at UT Austin. Her educational background established the foundation for her innovative research approach that bridges theoretical computer science with practical applications. Her research focuses on developing techniques to make software systems more reliable, secure, and easier to build through advanced program analysis, verification, and synthesis methods. She has pioneered approaches that combine symbolic reasoning with machine learning to tackle complex software engineering challenges across multiple domains including security, databases, and programming language theory. Her work demonstrates exceptional depth in creating practical tools that address real-world software development problems while maintaining strong theoretical foundations. Analysis of Dr. Dillig's publication record reveals a consistent trajectory of innovation in program synthesis, with recent work expanding into neurosymbolic approaches that bridge neural networks with formal methods. Her research shows strong connections between theoretical foundations and practical applications, particularly in security-critical systems, database technologies, and blockchain applications. The evolution of her work demonstrates increasing sophistication in handling complex program structures while maintaining practical usability. Dr. Dillig has received prestigious recognition for her research contributions: Sloan Fellowship NSF CAREER award As a dedicated educator and research leader, Dr. Dillig has served in significant roles including Program Chair for PLDI 2022 and Steering Committee member for PLDI. She has mentored numerous students through her UToPiA research group, guiding research in program synthesis, verification, and analysis. Her work has been supported by substantial research grants that have enabled innovative projects at the intersection of programming languages and security. Dr. Dillig leads the UToPiA (UT Austin Programming, Languages, and Analysis) research group, which focuses on developing novel techniques for program analysis, verification, and synthesis. The group maintains strong collaborations with industry partners and academic institutions worldwide, translating theoretical advances into practical tools that address real software engineering challenges.
Byron Cook is Professor of Computer Science at University College London (UCL) and Director of Automated Reasoning at Amazon Web Services. He leads Amazon's Automated Reasoning Group (ARG) and has driven the broad adoption of formal methods across AWS services. His career spans academia and industry, with significant contributions to program verification and automated reasoning. His research focuses on verification, automated reasoning, program analysis, computer/network security, programming languages, theorem proving, logic, and applications to hardware design, operating systems, and biological systems. Cook's work bridges theoretical foundations with practical applications in cloud security and system reliability, particularly through his leadership in applying formal methods to AWS infrastructure. Cook's recent publications demonstrate a strong focus on applying automated reasoning to cloud security challenges, particularly around access control policies, network reachability, and cryptographic implementations. His work shows a clear trajectory from theoretical program verification toward practical security applications in large-scale cloud environments, with emphasis on making formal methods accessible to developers through "one-click" verification tools. Scientific Awards: FREng (Fellow of the Royal Academy of Engineering) As an academic advisor, Cook has mentored numerous PhD students and interns who have gone on to significant careers in programming languages and verification research. His work at Amazon has secured substantial research funding for developing and deploying automated reasoning tools across AWS services. Cook founded and leads Amazon's Automated Reasoning Group (ARG), which develops tools like IAM Access Analyzer, Tiros, Zelkova, and T2. Previously, he managed the Programming Principles and Tools (PPT) group at Microsoft Research Cambridge, where he co-founded projects including TERMINATOR, SLAyer, and the Bio Model Analyzer (BMA).
Nate Foster is a Professor of Computer Science at Cornell University's Bowers Computing and Information Science college. He also serves as a Visiting Professor at EPFL's Data Center Systems Laboratory during the 2023-24 academic year and as a Visiting Researcher at Jane Street. His research focuses on developing languages and tools that make it easy for programmers to build secure and reliable systems, with particular emphasis on software-defined networking. Dr. Foster's educational background includes: PhD in Computer Science from the University of Pennsylvania MPhil in History and Philosophy of Science from Cambridge University BA in Computer Science from Williams College Nate Foster's research spans multiple areas within programming languages and systems. His current work focuses on the design and implementation of languages for programming software-defined networks. He has also made significant contributions to bidirectional languages (also known as "lenses"), database query languages, data provenance, type systems, mechanized proof, and formal semantics. His interdisciplinary approach combines theoretical foundations with practical systems building, seeking to bridge the gap between formal methods and real-world network programming. An analysis of Foster's recent publications reveals a strong focus on network programming languages, particularly NetKAT and P4. His work consistently applies formal methods to networking problems, with increasing emphasis on verification, equivalence checking, and symbolic execution techniques. The research trajectory shows progression from foundational language design to practical verification tools, demonstrating how theoretical programming language concepts can solve real-world networking challenges. Dr. Foster has received numerous prestigious awards for his contributions: Sloan Research Fellowship NSF CAREER Award ACM SIGPLAN Robin Milner Young Researcher Award (2023) Most Influential POPL Paper Award Tien '72 Teaching Award Google Research Award Yahoo! Academic Career Enhancement Award Cornell Engineering Research Excellence Award Morris and Dorothy Rubinoff Award ACM SIGCOMM Rising Star Award As an active member of the programming languages community, Foster has advised numerous graduate students and secured significant research funding through his NSF CAREER award and Google Research Award. He has served in leadership roles for major conferences including PLDI, POPL, and ICFP, demonstrating his commitment to mentoring the next generation of researchers through programs like PLMW@PLDI. His collaborative approach is evident in his extensive co-authorship network across academia and industry. Foster leads research in the area of programming languages for networking, with particular focus on the NetKAT framework for network verification. His work bridges the gap between formal methods and practical networking systems, creating tools that have influenced both academic research and industry practice in software-defined networking. His collaborations with institutions like EPFL and industry partners like Jane Street demonstrate the real-world impact of his research agenda.
Konstantinos Kallas serves as Assistant Professor of Computer Science at the University of California, Los Angeles (UCLA), commencing his appointment in January 2025. Previously affiliated with the University of Pennsylvania as evidenced by his 2020 PLDI contribution, his research bridges theoretical formal methods with practical systems engineering across multiple high-impact conferences including PLDI, POPL, and SPLASH. His research program centers on enhancing computational efficiency and correctness in systems software, with three flagship projects defining his trajectory: PaSh for automatic shell script parallelization, Durable Functions for stateful serverless computing semantics, and DiffStream for differential testing of stream processing. These efforts consistently target the intersection of programming language theory and real-world systems constraints, particularly in parallelism, concurrency, and cloud-native environments where correctness guarantees are challenging to implement. Analysis of his publication history since 2020 reveals a methodological pattern: developing formal semantic models to enable practical optimizations in distributed systems. His work increasingly focuses on serverless architectures and data-intensive pipelines, with recent contributions emphasizing automated verification techniques. The evolution from shell script optimization (2020-2021) to serverless state management (2021-2022) demonstrates strategic expansion into cloud computing's hardest problems. Dr. Kallas actively contributes to the academic community through program committee service for PLDI (2022, 2025), POPL (2021, 2022, 2023), and SPLASH (2020-2023), including leadership roles as Publicity Co-Chair for PLDI 2025 and 2026. His June 2024 announcement confirms recruitment for Fall 2025 students at UCLA, targeting researchers interested in systems, compilers, and programming languages who can advance his work on correctness-preserving parallelization and serverless computing.
Sang-Hoon Kim is an Associate Professor in the Department of Software and Computer Engineering and Department of Artificial Intelligence at Ajou University, South Korea. He leads the Systems Software Lab (Paldal Hall 1004-2) and maintains active collaborations with Virginia Tech as a Visiting Scholar since August 2024. His academic journey includes a Ph.D. in Computer Science from KAIST (2016) under advisors Seungryoul Maeng and Jin-Soo Kim, and a B.S. in Computer Science from KAIST (2002). His research spans operating systems, memory management, and storage systems with focus on mobile platforms, heterogeneous architectures, and SSD technologies. Key interests include memory fragmentation control , distributed thread execution , key-value storage optimization , and resource disaggregation . His work bridges theoretical innovation with practical system implementations, particularly for mobile and datacenter environments. Kim's publication portfolio shows consistent output in top-tier venues including USENIX FAST, VLDB, ICDCS, and ASPLOS. His research demonstrates evolution from mobile memory management (2015-2017) toward distributed systems and hardware-aware software (2019-present), with recent emphasis on resource-disaggregated environments and heterogeneous-ISA computing. The 2024 Best Paper Award at USENIX FAST highlights his impact in storage systems research. Best Paper Award at USENIX FAST'24 Multiple patents including US-9588912B2 for memory control He directs significant research projects funded by ETRI, NRF, and US ONR, including current work on memory-centric computing systems (2020-2023) and disaggregated non-volatile memory systems using RDMA (2018-2020). His Systems Software Lab maintains strong industry partnerships with Samsung Electronics and NHN, with prior projects improving Android memory management and developing SSD-based storage systems for large-scale internet services.
Sidi Mohamed Beillahi is a Lecturer in the Department of Computer Science at the University of Toronto's Faculty of Arts and Science. He teaches courses including Principles of Programming Languages (CSC324H1S) and Algorithms and Data Structures (ECE345H1F). Previously, he served as a Teaching Assistant at both University of Paris and Concordia University for courses ranging from Automata Theory to Hardware Functional Verification. Dr. Beillahi's research focuses on developing formal verification and programming languages techniques to ensure the correctness of software systems, particularly distributed systems, concurrent programs, blockchain, and smart contracts. His work bridges theoretical computer science with practical security applications in decentralized finance. His publication record shows a clear progression from quantum circuit verification during his Master's to blockchain and smart contract security in his doctoral and postdoctoral work. Recent publications demonstrate expertise in authenticated data structures for blockchain storage, flash loan attack analysis, and formal verification of decentralized applications. Scientific Awards: ACM SIGSOFT Distinguished Paper Award (ICSE '24) ICBC Distinguished Paper Award (ICBC '22) Dr. Beillahi has advised multiple research projects in blockchain security and verification, often collaborating with Professor Fan Long and Professor Andreas Veneris at the University of Toronto. His research has been supported by prestigious fellowships including an NSERC Postdoctoral Fellowship and a Mitacs Accelerate Fellowship.
Kunle Olukotun is a Professor of Electrical Engineering and Computer Science at Stanford University's School of Engineering, where he has been faculty since 1991. He directs the Stanford Pervasive Parallelism Lab (PPL) and co-leads the Transactional Coherence and Consistency (TCC) project. His research focuses on computer architecture, parallel programming environments, and scalable parallel systems. Key areas include chip multiprocessors (CMPs), transactional memory systems, domain-specific languages (DSLs) for heterogeneous computing, and hardware-software co-design for machine learning workloads. His work bridges theoretical foundations with practical systems implementation. Notable contributions include the Stanford Hydra research project (one of the first chip multiprocessors with thread-level speculation), founding Afara Websystems (acquired by Sun Microsystems), and developing the Niagara processor architecture. His DSL frameworks like Green-Marl and Spatial enable efficient graph analysis and hardware acceleration. His publications reveal strong trends in parallel systems evolution: from foundational CMP research (2000s) to transactional memory (2004-2010), then DSLs for heterogeneous computing (2010-2015), and currently foundation model systems (2023-2025). Subfield analysis shows consistent focus on hardware-software co-design, sparse computation, and compiler techniques across decades. ACM Fellow (2006) for contributions to multiprocessors on a chip and multi-threaded processor design Best Paper Award at IEEE International Symposium on Workload Characteristics (IISWC '10) for EigenBench Olukotun actively mentors researchers through the Stanford Pervasive Parallelism Lab (PPL), which seeks to proliferate parallelism across application domains. His projects have secured significant industry partnerships, including the acquisition of his startup Afara Websystems by Sun Microsystems. Current research focuses on compiler frameworks for foundation model systems and hardware acceleration for sparse machine learning workloads, supported by collaborations with major tech companies. He leads the Stanford Pervasive Parallelism Lab (PPL), which develops compiler and runtime systems for heterogeneous architectures. The lab's work spans DSLs, hardware acceleration, and parallel programming models, with strong industry ties to companies like NVIDIA and Google. Current initiatives include the Mosaic compiler framework and Stardust architecture for sparse tensor computation.
Nadia Polikarpova is an Associate Professor in the Computer Science and Engineering Department at the University of California, San Diego. She leads the Programming Systems group and serves as a member of IFIP Working Group 2.8 on Functional Programming since 2022. Her academic journey includes a PhD from ETH Zurich (Switzerland) under Bertrand Meyer's supervision in 2014, followed by postdoctoral work at MIT CSAIL with Armando Solar-Lezama. Her research interests center around program synthesis, program verification, and type systems, with a focus on building practical tools that enhance software security and reliability. Polikarpova's work bridges theoretical foundations with real-world applications, particularly in the emerging area of AI-assisted programming. Her recent publications demonstrate a strong trajectory in program synthesis techniques, with increasing integration of machine learning approaches. The research spans from foundational type-driven synthesis methods to practical applications for validating AI-generated code and synthesizing heap-manipulating programs. Her work frequently appears in top-tier programming languages venues including PLDI, POPL, ICFP, and OOPSLA. 2020 Sloan Fellow 2020 Intel Rising Stars Award 2020 NSF CAREER Award Distinguished paper awards at PLDI'21, ICFP'20, and POPL'19 Best paper award at FM'15 Polikarpova actively mentors PhD students and has advised numerous graduates who now work at Microsoft Research, University of Michigan, and various tech companies. She teaches core programming languages courses including CSE 130 and specialized graduate courses on program synthesis (CSE 291). Her service to the community includes program committee roles for major conferences and co-chairing the Haskell conference in 2022.
Marc Pouzet is a Professor at École Normale Supérieure (ENS) in the Department of Computer Science (DIENS), where he serves as Director of CS studies. He leads the INRIA project-team PARKAS and was a Junior Member of the Institut Universitaire de France (2007–2012). His research centers on synchronous programming languages for safety-critical embedded systems, with contributions to real-time software verification, hybrid systems modeling, and probabilistic reactive programming. Research Focus Pouzet's work bridges theory and practice in: Synchronous Languages : Design/extensions of Lustre, Lucid Synchrone, and Zelus for embedded control Formal Methods : Mechanized semantics (Coq) and verified compilers (Vélus) for correctness guarantees Hybrid Systems : Integrating ODEs with discrete logic (ProbZelus for probabilistic inference) Real-time Systems : Scheduling, latency constraints, and memory-safe compilation Awards & Leadership Inria–Académie des sciences Innovation Award (2016) Program committees: EMSOFT, PLDI, POPL, ECRTS Associate Editor: EURASIP Journal on Embedded Systems Advising & Projects Supervised 19+ PhD students on topics spanning compiler verification (Bourke, Pesin), probabilistic languages (Baudart), and hybrid systems (Pauget). Leads development of open-source tools: Zelus (synchronous language with ODEs) Vélus (verified Lustre compiler) ReactiveML (reactive extension of OCaml)
Ioannis Konstantaras is an Associate Professor at the Department of Business Administration, University of Macedonia, Thessaloniki, Greece, holding this position since July 2016. He contributes to the Master in International Business, Master in Business Administration, and Master in Business Analytics and Data Science programs. His academic qualifications include: B.Sc. in Mathematics from Aristotelian University of Thessaloniki (1999) M.Sc. in Statistics & Operations Research from University of Ioannina (2001) Ph.D. in Operations Research from University of Ioannina (2006) Konstantaras specializes in mathematical modeling and optimization of inventory systems for supply and reverse logistics chains. His research addresses production planning, deteriorating items, imperfect quality products, and recovery processes through operations research methodologies. He develops analytical models for optimizing decision-making in complex logistics environments. His publication record (2010-2014) shows concentrated research on inventory models for deteriorating items, lot-sizing in recovery systems, and pricing strategies for reverse logistics. Key contributions include extensions to Economic Order Quantity models, optimization of two-warehouse systems, and integration of inspection learning effects in quality control. He serves as Co-Editor for the International Journal of Systems Science: Operations & Logistics since January 2014 and has reviewed for numerous international journals. Konstantaras led the research program "Logistics Management: Quantitative Methods for Inventory Management" funded by the ARCHIMEDES program under EPAYAEK II. No publicly available information lists his doctoral advisees.
