Panagiotis Petrakis is a Researcher at the Technical University of Crete (TUC), affiliated with the School of Production Engineering and Management and the Structure of Matter and Laser Physics laboratory. He holds a B.Sc. in Physics from the University of East Anglia (1982) and an M.Sc. from the University of Kent (1986). He is currently completing his doctoral thesis on optoelectronic diagnostic systems for agricultural products. Since 1990, he has been part of TUC's Teaching Staff, delivering laboratory instruction in Physics I and II. Concurrently, he taught “Optoelectronics and Lasers” at the Technical University of Chania (1988–2012). His research focuses on spectroscopic techniques, interferometry, optical absorption measurement methods, and ozone technology applications. He participates in research programs at his laboratory and has served on academic governance bodies like the TUC Senate and the General Assembly of the General Department. No scientific awards or advisory grants are explicitly mentioned. His work integrates experimental physics with agricultural diagnostics and optical engineering.
Amalia Kotsaki serves as Associate Professor at the Department of Architecture, School of Architecture, Technical University of Crete (TUC), holding this position since 2007. She concurrently directs the Postgraduate Program (since 2020) and represents TUC in the UNITWIN-UNESCO international university network, demonstrating sustained institutional leadership. Education: School of Architecture, National Technical University of Athens (Graduated) PhD (2005) Research Interests: Her scholarship critically examines Neohellenic architecture through lenses of urban space, political power structures, and legal frameworks. Specializing in Modern and Contemporary Greek architectural history, she investigates how architecture reflects societal transformations, particularly in post-unification Crete and Athens' housing justice movements. Her work bridges academic theory with public engagement through major exhibitions. Scientific Awards: Prize of Letters and Fine Arts from Athens Academy (2000) for distinguished young architect (under 40 years old) Research Leadership and Grants: Professor Kotsaki has spearheaded significant projects including the European Erasmus+ InHerit program (2016-2019), Pyrgos Hleia historical complex development (2010), and scientific coordination of international congresses like "City, Democracy, Architecture" (2018). She served as scientific counselor for the "Ernst Ziller, architect" exhibition at Athens National Gallery (2010), demonstrating expertise in architectural heritage curation. Laboratory: She founded and directs the Neohellenic Architecture, City and Culture Lab (2020), establishing a dedicated research hub for interdisciplinary studies on Greek architectural culture and urban evolution.
Dr. Manolis N. Kritikos serves as Professor of Operations Research and Information Systems at the Department of Management Science and Technology, School of Business, Athens University of Economics and Business (AUEB). He holds concurrent leadership roles as Director of the Management Science Laboratory (MSL), Deputy President of his department, and President of AUEB's student club, while teaching undergraduate and graduate courses across multiple Greek institutions including National and Kapodistrian University of Athens and University of West Attica. His academic foundation includes: B.Sc. in Mathematics from the University of Athens M.Sc. in Computer Science and Operations Research from the University of Athens Ph.D. in Computer Science and Management Science from AUEB (funded by AUEB and EDAMBA with Rotterdam Business School as host) Research centers on combinatorial optimization, mathematical programming, and AI/ML applications for operational problems, developing algorithmic frameworks for supply chain, transportation, and production economics. His work bridges theoretical computer science with industrial performance measurement systems. Prestigious recognition includes: Elsevier's Certificate of Outstanding Contribution in Reviewing for Expert Systems With Applications (2017) Review Certificates from European Journal of Operational Research, International Journal of Production Economics, and four additional top-tier journals As Associate Editor for the Journal of Statistics and Management Systems, he has reviewed for over 20 journals while authoring a computer science textbook and editing Greek editions of Pearson/Manchester University Press works. His service extends to Secretary General of MASSEE (2015-2021), executive roles in the Hellenic Mathematical Society, consultancy for Greece's Ministry of Development, and oversight of 60+ government IT tenders. The Management Science Laboratory under his direction drives interdisciplinary optimization research with industry partners.
Panagiotis F. Diamantis serves as Professor of Financial Management at the Department of Business Organization and Management, School of Business Administration, Athens University of Economics and Business (AUEB) since November 2007, concurrently holding the position of Department President since 2004. Previously, he taught as Lecturer and Assistant Professor under Presidential Decree 407/80 at the University of Crete (1992-2005) and University of Thessaly (1994-1996). His academic credentials include: BA in Economics from Athens University of Economics and Business (1986) Master of Economics from University of Birmingham (1987) PhD in Economics from University of Birmingham (1990) Research spans critical finance domains with emphasis on International Money and Capital Markets and Applied Econometrics , driving innovations in Portfolio Analysis and Investment Analysis . His work bridges theoretical econometric models with practical financial management frameworks, particularly in global market contexts. Scientific Awards: None documented in source materials. Professor Diamantis maintains active research engagement through European and Greek programs, serving as journal reviewer for Economics and Financial Management publications. His advisory portfolio includes supervising graduate research though specific student names remain unlisted in available records.
Rachid Guerraoui is a Moroccan-Swiss computer scientist and Full Professor in the School of Computer and Communication Sciences at EPFL. He is renowned for his significant contributions to distributed and concurrent computing, holding the prestigious Chair in Distributed Computing at the Collège de France (2018-19). As an ACM Fellow (2012) and recipient of the Dahl-Nygaard Senior Prize (2024), his work has shaped both theoretical foundations and practical implementations in distributed systems. Guerraoui earned simultaneous Master's degrees in Computer Engineering from École supérieure d'informatique électronique automatique (ESIEA) and in Computer Science from Pierre and Marie Curie University in 1989. He completed his PhD at Université d'Orsay in 1992 under the supervision of Christian Fluhr, with a dissertation titled "Programmation Répartie par Objets: Études et Propositions." Following postdoctoral research at EPFL, he joined the computer science faculty in 1999 after working at HP Labs and MIT. Guerraoui's research spans distributed computing, concurrent systems, transactional memory, and asynchronous algorithms. His work on establishing theoretical foundations of Transactional Memory, including the concept of opacity, has been highly influential. He has also made significant contributions to scalable information dissemination methods, asynchronous distributed computations, and the mathematical abstraction of indulgence. His research bridges theoretical rigor with practical implementations, as evidenced by systems like SwissTM and STMBench7. His publication record shows a clear evolution from theoretical foundations to practical implementations and broader applications. Early work focused on fundamental problems like consensus and renaming, while more recent publications address machine learning applications and public understanding of AI. The consistent thread throughout his career is a focus on making distributed systems more reliable, efficient, and accessible. Guerraoui has received numerous prestigious awards including: ACM Fellow (2012) ERC Advanced Grant Award (2013) Google Focused Award (2014) Middleware Best Paper Award (2014) Middleware 10-Years Best Paper Award Chair in Distributed Computing, Collège de France (2018-19) Dahl-Nygaard Senior Prize (2024) As an academic advisor, Guerraoui has mentored students including El Mahdi El Mahmdi, with whom he co-created the Wandida project - a collection of educational videos on computer science. His research has been supported by significant grants from the European Research Council and Google. Beyond research, Guerraoui actively participates in public discourse, particularly regarding computer science education and technology policy. Guerraoui leads the Distributed Computing Laboratory (DCL) at EPFL, which focuses on advancing the state of the art in distributed systems. The lab's work spans theoretical foundations, practical implementations, and educational outreach, reflecting Guerraoui's holistic approach to computer science research and education.
Katerina Kotzia is an Associate Professor of Architectural Design at the School of Architecture, University of Ioannina (2018-present) with a concurrent appointment teaching Exhibition Design and Curation in the Postgraduate Program of the Department of Visual Arts & Art Sciences, School of Fine Arts (2019-present). She is a founding member of K&K Architects (2000-present) and previously served as principal researcher in urban design programs at Aristotle University of Thessaloniki (2000-2010). Her academic credentials include: Architect Engineer from Aristotle University of Thessaloniki (1997) Master of Arts in Design Studies from Central Saint Martin's College of Art and Design (2000), awarded with an Onassis Foundation scholarship Professor Kotzia's research spans Architectural Design, Urban Design, Exhibition Design, and Curation, characterized by interdisciplinary approaches to spatial representation. Her international recognition includes co-curating Greece's participation at the 2006 Venice Architecture Biennale. She actively contributes to architectural discourse through curated workshops like 'Original Copies' (2012) and service on competition juries, reflecting deep engagement with both theoretical and practical dimensions of architecture.
Elvira Albert is a Professor in the Department of Computer Systems and Programming at the School of Computer Science, Complutense University of Madrid, Spain. She leads the COSTA research group, which specializes in formal methods for program optimization and verification, with a strong focus on blockchain technologies and smart contracts. She holds a Ph.D. in Computer Science. Her research encompasses program verification, static analysis, and compiler construction, particularly applied to blockchain ecosystems. The COSTA group has developed influential tools including circom (for arithmetic circuit compilation), CIVER (for circuit verification), EthIR (EVM decompiler), and superoptimizers such as GASOL and SuperStack. Recent publications (2019-2024) demonstrate her expertise in smart contract safety (e.g., SAFEVM), concurrency testing, and bytecode superoptimization using constraint solvers. Her work consistently bridges theoretical formal methods with practical tool development for the blockchain industry. Albert has secured substantial funding from the Ethereum Foundation for multiple projects (GASOL, GREEN, SOPA, FORVES series, ZK-ARCKIT, GREY). She serves as an area editor for Theory and Practice of Logic Programming (TPLP) since 2019. The COSTA group, under her leadership, maintains an active research agenda in blockchain verification, zero-knowledge proofs, and formally verified compilers. Current projects include ZK-ARCKIT for arithmetic circuit analysis and FORYU for formal semantics of Yul.
Hamid Bagheri is an Associate Professor in the School of Computing at the University of Nebraska-Lincoln and a faculty associate of the Institute for Software Research (ISR) at the University of California, Irvine. He co-directs the ESQuaReD Lab and serves on the review boards of IEEE Transactions on Software Engineering and ACM Transactions on Software Engineering and Methodology. His research focuses at the intersection of software engineering, security, and formal methods, with particular expertise in Security of Mobile Devices and IoT Systems Scaling Formal Verification with Machine Learning Software Analysis and Testing Dependable Cyber-Physical Systems Automated Program Repair and Fault Localization His publication record spans top-tier venues including ICSE, ASE, ISSTA, ESEC/FSE, and IEEE/ACM Transactions, with recent work focusing on efficient analysis of Alloy specifications, IoT security, and ML-enhanced formal verification. His research has been recognized with multiple Distinguished Paper Awards. Among his notable awards are: EPSCoR FIRST Award NSF CISE Career Research Initiation Initiative Award SoC Student Choice Outstanding Teaching Award (2023-2024) CSE Outstanding Teaching Award (2020-2021) NSF EPSCoR First Award (2017) Prof. Bagheri has successfully advised multiple PhD students including Mohannad Alhanahnah (now tenure-track faculty at Chalmers University) and Clay Stevens (now tenure-track faculty at Iowa State University). He has received substantial research funding including NSF SHF Research Grants and has been actively involved in conference organization as PC member and track chair across numerous major software engineering venues.
Chao Peng is a Principal Research Scientist at ByteDance where he leads the Trae Research team (ByteDance Software Engineering Lab), conducting cutting-edge research on AI agents for software engineering. He also serves as a Part-time Postgraduate Student Mentor at Fudan University's School of Computer Science, bridging industry research with academic mentorship. PhD in Informatics (2021), University of Edinburgh, UK MSc in High Performance Computing and Data Science (2017), University of Edinburgh, UK BEng in Computer Science and Technology (2016), Xuzhou University of Technology, China Dr. Peng's research focuses on the intersection of software testing, program analysis, and large language models. His work explores how AI agents can revolutionize software engineering practices, with particular emphasis on automated bug detection, code generation, and testing frameworks. He has pioneered approaches for evaluating LLM performance in software engineering contexts and developing agent-based systems that enhance developer productivity while maintaining code quality and security. His recent publications demonstrate a clear trend toward integrating large language models with traditional software engineering practices. The research spans code generation evaluation, security vulnerability detection, automated bug reproduction, and issue localization. These works collectively advance the field of AI-assisted software development by addressing practical challenges in reliability, security, and efficiency of AI-generated code. Distinguished Reviewer for FSE'25 School of Informatics Scholarship (fully-funded PhD scholarship) Outstanding Graduate Scholarship at Xuzhou University of Technology Multiple China National Scholarships Honours Spot Bonus at ByteDance Certificate of Achievement for HPCAC Student Cluster Competition Dr. Peng actively mentors students through his role at Fudan University and previously at the University of Edinburgh, where he served as sub-supervisor for MSc projects and teaching assistant for software testing courses. His research has attracted significant industry attention, leading to multiple collaborations between ByteDance and academic institutions. He frequently serves on program committees for major software engineering conferences including ASE, FSE, and ICSE, demonstrating his leadership in the field. As leader of the Trae Research team at ByteDance Software Engineering Lab, Dr. Peng oversees research on AI agents for software engineering, including the application and evaluation of AI agents and training LLMs for agent-based systems. The lab's work focuses on practical systems that predict, detect, diagnose, and fix bugs across various software systems, with particular emphasis on real-world applications and measurable impact on developer productivity.
Amal Ahmed is a Professor and Associate Dean for Graduate Programs at Khoury College of Computer Sciences, Northeastern University, where she leads research in programming languages and secure compilation. She received her PhD in Computer Science from Princeton University and has established herself as a leading researcher in compiler correctness, language interoperability, and type systems. Her research focuses on correct and secure compilation across the software-hardware stack and safe language interoperability, including design of sound foreign-function interfaces (FFIs) and richly typed compiler intermediate languages. She makes extensive use of semantics and type systems for reasoning about imperative and probabilistic programming languages, multi-language systems, security, concurrency, and provenance. Her work has significantly advanced the understanding of gradual typing, compiler verification, and compositional language interoperability. Dr. Ahmed's publications reveal a research trajectory focused on building solid semantic foundations for language interoperability and secure compilation. Her recent work spans topics from probabilistic separation logic to WebAssembly interoperability, with consistent emphasis on formal verification and semantic techniques. She has developed frameworks for reasoning about multi-language systems that preserve security properties across language boundaries. NSF CAREER Award recipient Editorial Board: Journal of Functional Programming (2017–present) Editorial Board: Mathematical Structures in Computer Science (2016–present) Member: IFIP Working Group 2.8 (Functional Programming, 2014–present) As an educator and mentor, Dr. Ahmed has advised numerous PhD students, postdocs, and undergraduates, many of whom have gone on to successful academic and industry careers. She has organized the Programming Languages Mentoring Workshop and regularly teaches advanced courses in programming languages. She serves on the steering committees of major conferences including POPL, SPLASH, and PLMW, and has chaired program committees for ESOP and POPL.
Mohamed Faouzi Atig is a Professor in Computer Systems at Uppsala University's Department of Information Technology since July 2021, following a progression from Assistant Professor (2014-2018) to Associate Professor (2018-2021). His academic career began with a post-doctoral position at Uppsala University (2010-2012) after earning his PhD from University of Paris Diderot-Paris 7 in 2010, followed by a docent degree (habilitation equivalent) from Uppsala University in 2017. His research focuses on formal verification of concurrent and infinite-state systems, with particular expertise in model checking , weak memory models (including x86-TSO, Release-Acquire), and automata theory applied to string constraints. His work bridges theoretical foundations with practical verification techniques for modern hardware and programming language semantics. Analysis of his publication record reveals a sustained focus on verification challenges in concurrent systems, evolving from foundational work on memory models (2015) to sophisticated techniques for string constraints (2017) and persistent memory (2024-2025). His research demonstrates consistent contributions to top venues like PLDI and POPL, with increasing complexity in handling real-world memory models while maintaining theoretical rigor. At Uppsala University, he has served on program committees for major conferences including POPL, VMCAI, and SPLASH, demonstrating active engagement with the programming languages research community.
Elias Castegren is a researcher at KTH Royal Institute of Technology specializing in programming languages and software engineering, with emphasis on concurrent systems and mutation testing methodologies. His core research interests include: Programming Languages Software Engineering Concurrent Programming Mutation Testing Program Analysis Formal Methods Castegren actively contributes to premier academic venues, serving on the Artifact Evaluation Committee for PLDI 2020 to ensure research reproducibility and authoring significant work on concurrent mutation testing presented at POCL 2024. His publication demonstrates expertise in addressing non-determinism challenges in concurrent program testing. No scientific awards or student supervision activities are documented in available records.
Adam Chlipala is a Professor at the Massachusetts Institute of Technology working at the intersection of programming languages, formal methods, and computer systems. His research focuses on building practical verified systems with end-to-end machine-checked proofs, particularly using the Coq proof assistant. His educational background includes a Computer Science undergraduate degree from Carnegie Mellon University (2003) and a PhD in Computer Science from the University of California, Berkeley (2007). Following a postdoctoral position at Harvard University through 2011, he joined MIT as faculty. Chlipala's research spans multiple domains with strong emphasis on dependent types , verified compilation , and hardware-software co-verification . His work consistently bridges theoretical foundations with practical implementation, as evidenced by his development of the Ur/Web programming language and his focus on creating clean-slate hardware-software stacks with formal guarantees. Key research thrusts include cryptographic constant-time verification, side-channel security, and verified tensor compilation. His recent publications (2020-2025) reveal a clear trajectory toward increasingly complex verified systems, with growing emphasis on hardware-software integration, cryptographic implementations, and performance-critical applications. The work consistently leverages Coq for machine-checked proofs while addressing real-world constraints like timing channels and hardware interfaces. Chlipala is the author of the influential textbook Certified Programming with Dependent Types , which serves as a primary educational resource for Coq at numerous institutions worldwide. His professional activities include significant service to the PL community through program committees for major conferences including PLDI, POPL, ICFP, and CPP. He leads research initiatives connecting hardware and software verification, most notably through the DeepSpec project which aims to build fully verified computing stacks. His current work focuses on practical applications of dependent types for business applications through Ur/Web and verified cryptographic implementations.
Minki Cho is a Research Fellow in the Department of Computer Science and Engineering at Seoul National University, South Korea. Having completed their Ph.D. in August 2023 with a thesis titled "Simplifying Reasoning under Weak Memory Concurrency," they continue active research while maintaining institutional affiliation. Cho's educational background includes: Sep. 2017 - Aug. 2023: Ph.D. Computer Science and Engineering, Seoul National University Mar. 2014 - Feb. 2017: B.S. Computer Science and Engineering, B.S. Philosophy of Mathematics and Logics (double major), Seoul National University Mar. 2011 - Feb. 2014: Seoul Science High School Cho's research focuses on Verified Compilation , Relaxed Memory Concurrency , and Program Logic , bridging theoretical foundations with practical applications in programming language design and verification. Their work addresses fundamental challenges in weak memory models, compiler optimizations, and formal verification frameworks, with particular emphasis on developing rigorous semantic models that enable practical compiler optimizations while maintaining program correctness. Cho's publication record demonstrates consistent contributions to top-tier venues including PLDI, POPL, and OOPSLA from 2020-2025, showing evolution from foundational work on relaxed memory concurrency toward more comprehensive verification frameworks supporting complex language features like integer-pointer casting and liveness properties. Recognition for Cho's work includes: PhD Dissertation Award, Department of Computer Science and Engineering, Seoul National University (2023) Gold medal in University Students Contest of Mathematics, Korean Mathematical Society (2014) Prior to completing their Ph.D., Cho gained teaching experience as a TA for: Computational Civilization (2020 Spring) Programming Languages (2019 Fall) Principles and Practices of Software Development (2019 Spring/2018 Spring) Principles of Programming (2018 Fall)
Derek Dreyer serves as Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS) and holds the position of Honorarprofessor (Honorary Professor) of Computer Science at Saarland University's Saarland Informatics Campus. With a PhD from Carnegie Mellon University, he has established himself as a leading researcher at the intersection of programming language theory and practical software verification. Dreyer's research focuses on developing formal methods that bridge theoretical foundations with real-world systems programming challenges. His work has significantly advanced the theoretical understanding of programming languages, particularly in the areas of type systems, separation logic, and concurrency. He is renowned for his contributions to the formal verification of the Rust programming language, including the influential RustBelt project. His recent publications demonstrate a consistent focus on making formal verification practical for industrial-strength codebases. The research trajectory shows increasing sophistication in handling complex systems properties while maintaining theoretical rigor. His work spans from foundational logical frameworks to applied verification techniques for specific language features and system components. As an academic leader, Dreyer has served as Program Chair for major conferences including POPL and ICFP, and has mentored numerous students and postdocs. He is known for his insightful commentary on academic life, including a widely-read blog post addressing impostor syndrome in research careers. Dreyer leads a vibrant research group at MPI-SWS that collaborates extensively with both academic and industrial partners. His team's work has influenced both theoretical developments in programming languages and practical verification tools used in industry.
