concurrent computing Professors and Supervisors in Greece

Clément Pit-ClaudelView profile

Assistant Professor

National and Kapodistrian University of AthensGreece

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.

Official University Profile

Marc PouzetView profile

Professor

National and Kapodistrian University of AthensGreece

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)

Official University Profile

Ilya SergeyView profile

Associate Professor

National and Kapodistrian University of AthensGreece

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.

Official University Profile

Venetis KanakarisView profile

Lecturer

Democritus University of ThraceGreece

Dr. Venetis Kanakaris serves as Laboratory Professor at the Department of Economics, Democritus University of Thrace, and Adjunct Lecturer at the Department of Computer Science, International Hellenic University. He concurrently holds the position of Director of Studies at the Life Long Learning Center of Democritus University of Thrace since 2019, demonstrating dual expertise in technical engineering and educational administration. His academic credentials include: B.Eng. in Electronic Engineering (Lamia Technical University, Greece) B.Eng. in Electrical Engineering (Kavala Technical University, Greece, 2004) M.Sc. in Telecommunications and Technologies (Technical University of Gabrovo, Bulgaria, 2006) PhD (University of Portsmouth, UK, 2012) M.Ed. (Open University of Greece, 2013) Dr. Kanakaris' research uniquely bridges engineering and socioeconomic domains through: Advanced wireless communication protocols for energy-constrained environments Blockchain applications in agricultural supply chains OSINT methodologies for data intelligence LORA network infrastructure development Innovative lifelong learning frameworks for adult education His publication record spans peer-reviewed journals and international conferences, emphasizing practical implementations of technical solutions in real-world economic contexts. While specific grant details remain undisclosed, his leadership in the Life Long Learning Center indicates active program development funding. The department lists MaGBISE and EMEF Laboratories as research units, though direct lab affiliations aren't specified for Dr. Kanakaris. His work consistently connects engineering innovation with socioeconomic impact, particularly in agricultural technology and educational accessibility.

Official University Profile

Kepaptsoglou KonstantinosView profile

Professor

National Technical University of AthensGreece

Konstantinos Kepaptsoglou is a Professor at the National Technical University of Athens (NTUA) in the Department of Infrastructure and Rural Development Projects. He concurrently holds a professorship at the School of Technical Education for Engineer Officers (STEAMX) since 2007 and previously served as a Scientific Associate at NTUA (2010-2012). He earned his Civil Engineering degree from NTUA (1999), an MSc from Purdue University (2000), and a PhD from NTUA (2009). His research spans transportation systems design , urban transport management, emergency logistics, operations research, and railway engineering. Key interests include optimization of infrastructure under crisis conditions, economic evaluation of transport networks, and developing algorithms for public transit efficiency. His work integrates computational methods with practical infrastructure challenges. Publications consistently focus on optimization models for transportation systems, featuring genetic algorithms, network design frameworks, and decision support tools. Recent articles emphasize disaster response planning, emergency medical services, and public transit operations, reflecting applied research with direct policy implications. Awards: State-of-the-Art in Civil Engineering Award (ASCE, 2011) He teaches core courses including Transportation Systems, Railway Engineering, and Mass Transportation Operations at NTUA. Professional affiliations include the American Society of Civil Engineers, Technical Chamber of Greece, and Hellenic Society of Operations Research.

Official University Profile

Georgios DrakakisView profile

Professor

The American College of GreeceGreece

Dr. Georgios Drakakis serves as Professor of Information Technology at the American College of Greece (Deree) since 2018, concurrently holding the position of Chief Executive Officer at Purposeful, an in silico drug repurposing company. He is a Research Area Leader within the Research, Technology & Innovation Network (RTIN) focusing on cheminformatics and bioinformatics. His educational background includes: PhD in Cheminformatics from University of Cambridge (2011-2015) MSc in Advanced Biological Sciences (Bioinformatics) from University of Liverpool (2009-2010) MSc in Computer Science from Trinity College Dublin (2008-2009) BSc in Computer Science from Aristotle University of Thessaloniki (2003-2007) Dr. Drakakis' research centers on applying machine learning and artificial intelligence to drug discovery, repurposing, and computational toxicology. His work bridges cheminformatics, bioinformatics, and data science to develop predictive models for compound mechanism of action, cytotoxicity, and polypharmacological effects. Recent efforts include computational approaches for identifying drug candidates against emerging pathogens like SARS-CoV-2. His publication record features 13 journal articles and 2 book chapters in high-impact venues including ACS Chemical Biology and Journal of Chemical Information and Modeling, with consistent focus on translational computational methods. Notable recognition includes: Engineering and Physical Sciences Research Council Doctoral Prize As an educator, he teaches Machine Vision and Semantic Web for the MSc in Data Science program, and Data Mining for the BSc in Information Technology program. His leadership in RTIN's Cheminformatics & Bioinformatics Research Area demonstrates commitment to advancing computational approaches in pharmaceutical sciences. His dual role as academic and CEO reflects strong industry-academia integration in his career trajectory.

Official University Profile

Konstantinos MariasView profile

Professor

Hellenic Mediterranean UniversityGreece

Konstantinos Marias is a Professor in the Department of Electrical and Computer Engineering at Hellenic Mediterranean University in Greece and serves as Chair of the University's Ethics Committee. He is concurrently the head and founder of the Computational Biomedicine Laboratory at the Institute of Computer Science, Foundation for Research & Technology Hellas (ICS-FORTH). His research spans medical image processing and analysis, biomedical informatics, image-based modeling, and Radiomics applications with deep learning in medical imaging. He has coordinated two major European Commission projects on cancer modeling (ContraCancrum and TUMOR) and contributed to multiple EC-funded ICT development initiatives. As an IEEE member for 18 years, he has held significant organizational roles in premier conferences including EMBC, BIBE, and IST across scientific committees, organizing bodies, and program chairs. His Computational Biomedicine Laboratory at FORTH-ICS drives innovation in biomedical computational methods, supported by his extensive publication record of over 350 papers.

Official University Profile

Michael KalogerakisView profile

Associate Professor

Hellenic Mediterranean UniversityGreece

Michael Kalogerakis serves as an Associate Professor in the Department of Electrical and Computer Engineering, School of Engineering, at the Hellenic Mediterranean University (HMU). He concurrently holds research positions at HMU's Laboratory of Artificial Intelligence and Systems Engineering and Institute of Energy, Environment and Climate Change, and collaborates with IACM/FORTH's Wave Propagation Group. His academic background includes: B.Sc. in Mathematics, University of Crete M.Sc. and Ph.D. in Mathematics and Computer Science, Clarkson University, USA (dissertation 'Linear Solvers on Multiprocessor Machines' archived by U.S. DOE) Research focuses on usability engineering , human-machine interaction , agile development , and wave propagation , with applied outcomes like the Hellenic Navy's underwater acoustic detection system for frigates/submarines. His work bridges theoretical computational methods and defense applications. Over 25 years, he participated in major programs (DAMOCLES-IP, ESPRIT, FP6, MAST, Archimedes), authored class notes for Patras/Crete/HMU courses, and supervised student projects in computational mathematics and software engineering. He actively contributes to HMU's Laboratory of Artificial Intelligence and Systems Engineering, the Institute of Energy/Environment/Climate Change, and IACM/FORTH's Wave Propagation Group, driving interdisciplinary research in energy systems and computational mathematics.

Official University Profile