Find Academic Supervisors

Magnus O. MyreenView profile

Professor

• Formal verification
• interactive theorem provers
• compilers
• +6 more

Magnus O. Myreen is a Professor in the Department of Computer Science and Engineering at Chalmers University of Technology, Sweden. He has been with Chalmers since 2014, becoming a tenured Associate Professor in 2015 and being promoted to full Professor in June 2023. Myreen has an extensive record of service to the programming languages and formal methods communities, including serving on program committees for major conferences like PLDI, POPL, ICFP, and CPP, and chairing the steering committee for the ITP conference series since November 2023. Myreen received his academic training at prestigious institutions: B.A. in Computer Science at the University of Oxford, tutored by Dr. Jeff Sanders Ph.D. on program verification in 2009 at the University of Cambridge, supervised by Prof. Mike Gordon Myreen's research focuses on program verification, interactive theorem proving, and compiler verification. He is best known for his work on the CakeML project, which is an ML-style language with a formal semantics and a growing ecosystem of proofs and tools that support construction of verified applications. As he states on his website, "My most recent work has focused on CakeML, which is an ML-style language with a formal semantics and a growing ecosystem of proofs and tools that support construction of verified applications. As far as I know, the CakeML compiler is the first verified compiler to have been bootstrapped." His research spans several key areas: Decompilation into logic — verification of machine code Proof-producing synthesis from logic Verified Lisp and ML runtimes Connecting things up: verified stacks Myreen's publication record shows a strong focus on verified compilation and theorem proving, particularly through the CakeML ecosystem. His work consistently bridges the gap between theoretical foundations and practical implementation, with numerous papers on verified compilers, program verification, and theorem proving. A significant trend in his recent work (2021-2024) has been extending CakeML's capabilities to handle more complex language features, improve performance, and verify increasingly sophisticated compilation techniques including bootstrapping and dynamic computation. Myreen has received several prestigious awards and recognitions: Winner of the BCS Distinguished Dissertation Competition 2010 for his PhD work Royal Society Research Fellow (UK) since 2012 ACM SIGPLAN Most Influential POPL Paper Award for the 2014 CakeML paper Amazon Research Award for his proposal "Compiling Dafny to CakeML" Myreen has advised several PhD students to completion, including Alejandro Gomez (Sep 2017 – Jun 2023), Oskar Abrahamsson (Aug 2017 – Dec 2022), and Andreas Loow (Sept 2016 – Sep 2021). He also collaborated with postdocs including Hira Syeda, Thomas Sewell, and Johannes Aman Pohjola. His research has been supported by various funding sources, though specific grants aren't detailed in the provided text. Notably, he received an Amazon Research Award for his work on compiling Dafny to CakeML, and his CakeML project has clearly attracted significant attention in the programming languages and formal methods communities. Myreen leads research on the CakeML project, which has grown into a substantial ecosystem for verified compilation. The project involves a team of researchers working on various aspects including compiler verification, program synthesis, and theorem proving. Myreen also collaborates with researchers at other institutions, as evidenced by his visits to EPFL (meeting Viktor Kuncak, Martin Odersky, and James Larus) and NUS (visiting Ilya Sergey's group). In October 2023, he began a ten-month sabbatical at Cambridge UK, where he worked part-time for Arm Ltd., indicating ongoing industrial collaboration.

Chandrakana NandiView profile

Assistant Professor

• Programming Languages
• Compilers
• Equality Saturation
• +5 more

Chandrakana Nandi is the Director of US R&D at Certora and an affiliate assistant professor in the Department of Computer Science & Engineering at the University of Washington's College of Engineering. She completed her PhD at the University of Washington working with Zachary Tatlock and Dan Grossman in the PLSE research group. Her research focuses on building tools for scaling automated formal verification to real-world programs, particularly for DeFi applications. She works extensively with equality saturation techniques (egg project) and has made significant contributions to computational fabrication through projects like Carpentry Compiler, Szalinski, and LambdaCAD. Her work bridges programming languages, compilers, and digital fabrication, creating novel tools that transform how we design and manufacture physical objects. Nandi's publication record shows a strong trajectory in programming language techniques applied to verification and fabrication. Her work on equality saturation has become foundational in the field, with the egg library enabling state-of-the-art results in compiler optimization and program synthesis. Recent work has expanded into formal verification of smart contracts, demonstrating the versatility of her research approach across different domains. Distinguished Paper Award at OOPSLA 2021 Sigplan Research Highlight for POPL 2021 As Director of US R&D at Certora, she leads research efforts on verification tools for languages like WASM and techniques to help users write formal specifications more easily using mutation testing. She has served in numerous organizational roles for major programming languages conferences including as Workshops Co-Chair for ICFP 2025 and Committee Member for PLDI Review Committee. Nandi has established herself as a leader in the intersection of programming languages and computational fabrication, with her work on equality saturation becoming particularly influential across multiple subfields of programming languages research.

Rachit NigamView profile

Assistant Professor

• Programming Languages
• Computer Architecture
• Hardware Acceleration
• +3 more

Rachit Nigam serves as an Assistant Professor in the Department of Electrical Engineering and Computer Science (EECS) at the Massachusetts Institute of Technology's School of Engineering. He leads the FLAME Lab, focusing on the intersection of programming languages and computer architecture. His research profile demonstrates significant involvement in major programming languages conferences including PLDI, SPLASH, and ICFP, where he has served in various committee roles from Artifact Evaluation to Student Research Competition Chair. Dr. Nigam's research centers on programming languages and hardware systems, with particular emphasis on creating compilers that transform programs into architectures. His work bridges theoretical type systems with practical hardware implementation, developing tools like Calyx (an intermediate language for hardware accelerator generators) and Dahlia (implementing time-sensitive affine types). His approach combines formal methods with practical compiler design to address challenges in predictable accelerator generation and hardware compilation. His publication record reveals a consistent trajectory in hardware-aware programming language design, with recent work focusing on unifying static and dynamic intermediate languages for accelerator generators. The publications demonstrate expertise across multiple subfields including type systems for hardware timing constraints, modular hardware design methodologies, and synthesis-aided compiler techniques for specialized architectures like DSPs. As an active member of the programming languages community, Nigam has served on numerous conference committees including PLDI, OOPSLA, and LCTES. He has chaired sessions, organized tutorials (including 'DSL-based Hardware Generation'), and contributed to community initiatives like PL Tea. His GitHub presence shows active development in projects related to hardware compilation with significant contributions to repositories like Calyx, Filament, and Dahlia. Dr. Nigam leads the FLAME Lab at MIT, which focuses on creating programming models and compiler infrastructure for hardware acceleration. His work with the Calyx compiler ecosystem represents a significant contribution to the field of hardware accelerator generation, providing tools that enable more predictable and efficient hardware compilation processes. His research has practical implications for domain-specific hardware accelerators and the broader challenge of making hardware design more accessible through programming language techniques.

• Programming Languages
• Formal Verification
• Compilers
• +8 more

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.

Nadia PolikarpovaView profile

Associate Professor

• Program Synthesis
• Program Verification
• Type Systems
• +2 more

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 PouzetView profile

Professor

• Programming Languages
• Synchronous Systems
• Reactive Systems
• +3 more

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)

Koushik SenView profile

Professor

• Software Engineering
• Programming Languages
• Formal Methods
• +3 more

Koushik Sen is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. His academic career spans major contributions to software engineering and programming languages research through active participation in premier conferences including PLDI, ICSE, and ISSTA. His research focuses on Software Engineering , Programming Languages , and Formal Methods , with particular emphasis on developing software tools that enhance programmer productivity and software quality. Key research thrusts include automated test generation , symbolic execution , fuzzing techniques , and program synthesis . His work bridges theoretical foundations with practical tool development for real-world software verification challenges. Analysis of his publication record reveals consistent contributions to automated testing methodologies, with recent work integrating machine learning (particularly large language models) into traditional program analysis techniques. His research shows strong continuity in improving software reliability through innovative input generation and vulnerability detection approaches. As an active academic leader, he has served as General Chair for MAPL (2020), Program Chair for ISSTA (2017), and committee member for numerous top-tier conferences including PLDI, ICSE, and SPLASH across multiple years. His academic advising manifests through collaborative publications with students on topics like test corpus expansion (Bonsai Fuzzing), visualization synthesis (VizSmith), and smart contract auditing (ItyFuzz), though specific student names aren't listed in the source material. His research has been supported through conference participations and likely associated grants given his extensive publication record.

• Entity Resolution
• Record Linkage
• Privacy-Preserving Record Linkage
• +3 more

Dimitrios Karapiperis serves as an Academic Scholar at the School of Science and Technology, International Hellenic University (IHU), specializing in Entity Resolution and Privacy-Preserving Record Linkage. Previously, he held a post-doctoral position at the Hellenic Open University. He earned his PhD from the Hellenic Open University and his MSc from the University of York (UK). His doctoral thesis was featured in the IEEE Intelligent Informatics Bulletin of August 2017, highlighting its significance in the field. Dr. Karapiperis' research centers on developing advanced algorithms for entity resolution, including similarity measures, data structures, and scalable distributed solutions using randomization techniques. His work extends to privacy-preserving methods for record linkage with applications in electronic health records, cryptocurrency analysis, and social media sentiment. He has made significant contributions to efficient record linkage in data streams and spatio-temporal data through innovative blocking techniques and approximation schemes. His recent publications (2020-2022) reveal a consistent focus on scalable and privacy-aware record linkage, with increasing applications in financial technology and affective computing. Collaborations with prominent researchers like V.S. Verykios have resulted in numerous publications in top venues including IEEE Big Data and IEEE TIFS, demonstrating expertise in both theoretical foundations and practical implementations. Scientific Recognition Doctoral thesis featured in IEEE Intelligent Informatics Bulletin (2017) Research Projects University of York: Development of Java servlets for converting VisioXML into GSML within the High Integrity Systems Engineering research group University of Macedonia: Standardization of distance learning systems University of Macedonia: Establishment of a data bank for the fur sector in Kastoria University of Macedonia: System for organizing business processes of the Ministry of Macedonia and Thrace Dr. Karapiperis has collaborated with research teams across multiple institutions, contributing to diverse projects from healthcare data integration to government business process optimization, while maintaining active research in scalable entity resolution methodologies.

• Machine Learning
• Data Analytics
• Social Media Analysis
• +5 more

Dr. Paraskevas Koukaras is an Academic Scholar at the International Hellenic University (IHU) and a Postdoctoral Research Associate at the Information Technologies Institute (ITI) of the Centre for Research and Technology - Hellas (CERTH), affiliated with the School of Science and Technology at IHU. His educational background includes: IT Engineer from the Department of Informatics, Alexander Technological Educational Institute of Thessaloniki (ATEI) PhD in Interdisciplinary data science methods using machine learning for enhanced knowledge acquisition from the School of Science and Technology, International Hellenic University (IHU) Dr. Koukaras' research spans social media analytics, energy systems, and machine learning. His work focuses on energy load forecasting and optimization, data analytics, information modeling, and graph mining in heterogeneous networks. He applies these techniques to address challenges in public health, financial markets, and building energy efficiency through prescriptive analytics. His recent publications (2020-2023) demonstrate a strong focus on applying machine learning to real-world problems, particularly in social media analysis for public health during the COVID-19 pandemic, energy forecasting, and fake news detection. His work consistently employs multi-model approaches leveraging both traditional and deep learning techniques across healthcare, finance, and energy domains. Dr. Koukaras has participated in major European research projects including eDREAM (H2020), DRIMPAC (H2020), PRECEPT, SmartWins, easySRI, and SMACCs, focusing on demand response technologies and energy ecosystems. He contributes to academic training through teaching courses in data science and computing despite no formal advisees being listed. He operates within interdisciplinary research teams at ITI/CERTH and IHU's School of Science and Technology, collaborating on AI applications for energy efficiency, healthcare support, and social media analytics in residential and industrial contexts.

Ioannis KonstantarasView profile

Associate Professor

• Operations Research
• Inventory Control
• Reverse Logistics
• +4 more

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.

Angelo SifalerasView profile

Professor

• Mathematical Programming
• Network Optimization
• Heuristic Methods
• +2 more

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.

Apostolos AmpatzoglouView profile

Associate Professor

• Technical Debt
• Reverse Engineering
• Software Maintainability
• +5 more

Apostolos Ampatzoglou serves as Associate Professor in the Department of Applied Informatics at the University of Macedonia, where he leads research in software engineering with particular emphasis on technical debt management and software quality. Previously, he held an Assistant Professor position at the University of Groningen (2013-2016) and maintains active collaborations across European research initiatives. His academic credentials include a PhD in Software Engineering from Aristotle University of Thessaloniki (2013), MSc in Computer Systems from the University of Macedonia (2005), and BSc in Informatics from the Technological Education Institute of Thessaloniki (2003). Dr. Ampatzoglou's research program centers on technical debt quantification, reverse engineering, and software maintainability. He pioneered financial models for technical debt management and developed metrics for assessing ripple effects in software systems. His work bridges theoretical foundations with industrial applications through projects like SDK4ED and SmartCLIDE, focusing on energy-efficient development and cloud service engineering. Current investigations explore machine learning applications for vulnerability prediction and technical debt prioritization. His extensive publication record reveals strong trends in applying AI to software quality assurance, with recent work emphasizing transformer models for vulnerability detection and explainable AI for technical debt identification. He actively investigates energy-aware development practices and service-oriented architecture patterns in cloud environments. Notable recognitions include: Top-7 reviewer for Journal of Systems and Software (2022) Best paper awards at IGSCC'21, ICSR'18, and EASE'17 18th most active Consolidated Researcher in Software Engineering (2013-2020) 3rd most active Early Stage Researcher (2010-2017) Multiple personal research grants from National Scholarships Association He has successfully supervised PhD candidates including Dr. Areti Ampatzoglou (Best PhD Thesis Award, University of Groningen) and Dr. Elvira-Maria Arvanitou (VERSEN Institute award). His research is funded through major European projects such as SDK4ED, SmartCLIDE, and SKILLAB, with recent grants exceeding €2M in total funding. Current work focuses on FAIR data implementation and skills gap analysis in European labor markets. As leader of the Software Engineering Lab at the University of Macedonia, he directs a 15+ member team working on technical debt management tools, cloud development environments, and XR applications for warehouse management. The lab maintains strong industry partnerships with technology clusters in Thessaloniki and participates in the Eclipse Foundation ecosystem.

• Scientific Computing
• Parallel Computing
• Numerical linear algebra
• +3 more

Konstantinos Giannoutakis serves as an Assistant Professor in the Department of Applied Informatics at the University of Macedonia, where he actively contributes to teaching and research in computational methods and applied informatics. His role encompasses both academic instruction and scholarly publication within the university's technical faculties. His educational foundation includes: B.Sc. in Mathematics from the University of the Aegean M.Sc. in Computational Science from the University of Athens Ph.D. in Electrical and Computer Engineering from Democritus University of Thrace Dr. Giannoutakis' research centers on advanced computational techniques, with significant focus on Scientific Computing and Parallel Computing architectures. His work in Numerical linear algebra develops optimized approaches for sparse linear systems, while his expertise in Finite difference and finite element methods supports complex scientific simulations. The Algorithms evaluation component of his research ensures computational efficiency across diverse mathematical applications. He instructs key undergraduate courses including Algorithm Analysis (CSC401), Discrete Mathematics (AIC203), and Mathematical Analysis (AIC104), demonstrating commitment to foundational computer science education. His substantial publication portfolio comprises 27 books, 37 scientific journal articles, and 34 conference papers, though specific recent works were not detailed in the source material. No scientific awards, research grants, advised students, or laboratory affiliations were documented in the available information.

• Quantitative Methods in Business Analytics
• Markov chains and stochastic modeling
• Machine Learning and Prescriptive analytics in Operations
• +4 more

Georgiou Andreas is a Professor in the Department of Business Administration at the University of Macedonia, directing the Master in Business Administration program and serving as academic staff for the Master in Information Systems and Master in Business Analytics and Data Science programs. He earned his B.Sc. in Mathematics (1984) and Doctorate in Operations Research (1989) from Aristotle University of Thessaloniki. His research spans Quantitative Methods in Business Analytics, stochastic modeling, Machine Learning for Operations, Healthcare Simulation, and Multiple Criteria Optimization including AHP and DEA efficiency evaluation. He applies these techniques to solve complex business problems in operations management, marketing, and healthcare decision-making. Professor Georgiou teaches graduate courses including Operations Research, Decision Analysis and Optimization, Simulation Techniques in Business Analytics, and Quantitative Analysis for Business Decisions across multiple programs. With an extensive publication record of 13 books, 36 journal articles, 50 conference papers, and 41 other scholarly works, he actively mentors students in the graduate programs he directs.

Kepaptsoglou KonstantinosView profile

Professor

• Transportation Systems Design
• Urban Transport Systems
• Emergency Conditions in Transportation
• +5 more

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.