Find Academic Supervisors

Raphaël MonatView profile

Researcher

• Static program analysis
• Abstract interpretation
• Formal methods
• +5 more

Raphaël Monat is a Research Scientist in the SyCoMoRES team at Inria Lille since September 2022, with an affiliation at the University of Lille. His work focuses on formal methods and static program analysis, with particular applications to computational law and realistic software systems. He is one of the core maintainers of the Mopsa static analysis framework and has developed tools for analyzing the French tax code. Monat holds a Ph.D. in computer science from Sorbonne Université, advised by Antoine Miné, where he worked on the static analysis of Python and Python+C programs within the ERC MOPSA project. Prior to his position at Inria, he completed research internships at MPI-SWS in Saarbrücken, University of Oxford, and École Normale Supérieure in Paris. His primary research interest lies in improving software quality through automated program verification, with a focus on making static analysis applicable to realistic systems. Monat has a particular interest in computational law, especially the implementation of tax and benefit systems. He is currently developing formal methods tools for Catala, a domain-specific language for legislative texts, in collaboration with Aymeric Fromherz. His work emphasizes the practical application of theoretical concepts in abstract interpretation to real-world problems. Monat's publication record demonstrates a consistent focus on advancing static analysis techniques, particularly for Python and C programs, and applying them to computational law. His recent work shows an increasing emphasis on compositional analysis, concolic execution for legal computations, and improving the maintainability of academic static analyzers. The integration of formal methods with legislative implementations represents a distinctive thread throughout his research career. SV-Comp 2025 Silver Medal in "Software Systems" category Amazon Research Award, Fall 2024 ETAPS 2024 best tool paper award SV-Comp 2024 Gold Medal SV-Comp 2023 Bronze Medal ECOOP 2023 Distinguished Artifact Reviewer Award SOAP 2020 Best Presentation Award Monat actively mentors students, currently supervising two PhD candidates (Milla Valnet and Pierre Goutagny) and having previously guided several Master's students. He has secured significant funding for his research, including an ANR Young Researcher Grant for the RAISIN project on Resource-Aware Conservative Static Analysis starting in Fall 2024, and the Inria-AEx AVoCAT project for Automated Verification of Catala programs. Monat is a core contributor to the Mopsa static analysis platform, which has achieved notable success in the Software Verification Competition (SV-Comp). He also co-developed Mlang, a modern compiler for the French tax code that is being transitioned to production use by the French tax administration. His work bridges theoretical formal methods with practical applications in public administration.

Cristian CadarView profile

Professor

• Software Engineering
• Testing and Verification
• Computer Systems
• +4 more

Cristian Cadar is Professor of Software Reliability in the Department of Computing at the Faculty of Engineering, Imperial College London. He leads the Software Reliability Group, focusing on automatic techniques for increasing the reliability and security of software systems. His research has significant impact in both academia and industry, particularly through the development of widely-used tools. His educational background includes a PhD in Computer Science from Stanford University, and undergraduate and Master's degrees from the Massachusetts Institute of Technology. Cristian's research primarily focuses on software reliability, security, and verification. His work spans symbolic execution, fuzzing, compiler testing, and automated techniques for finding and fixing software bugs. He has pioneered practical, scalable solutions that address real-world software challenges, with particular emphasis on security-critical applications. His research integrates formal methods with practical engineering approaches to create tools that are both theoretically sound and practically useful. Analysis of his recent publications reveals a strong focus on improving fuzzing techniques, enhancing symbolic execution systems, and developing better methods for compiler and infrastructure testing. His work consistently bridges the gap between theoretical foundations and practical implementation, resulting in tools that have substantial real-world impact. EuroSys Jochen Liedtke Award HVC Award BCS Roger Needham Award ACM SIGOPS Hall of Fame Award ACM CCS Test of Time Award ERC Consolidator Grant EPSRC Early-Career Fellowship Cristian has advised numerous PhD and Master's students, contributing significantly to the next generation of software engineering researchers. His research has been supported by prestigious grants including an ERC Consolidator Grant and an EPSRC Early-Career Fellowship. He has held leadership positions in major conferences, serving as Program Co-Chair for ESEC/FSE 2022 and General Chair for ISSTA 2021, demonstrating his standing in the research community. He leads the Software Reliability Group at Imperial College London, which maintains an active research agenda in software testing and verification. The group's work on KLEE and related tools continues to influence both academic research and industrial practice in software reliability engineering.

Nikos KonofaosView profile

Professor

• Quantum Computing
• Microelectronics
• Nanoelectronics
• +3 more

Nikos Konofaos is a Professor at the Department of Informatics, Aristotle University of Thessaloniki (AUTH), where he leads the SEMIF Laboratory and directs the Postgraduate Program "Interactive Systems Technologies." He holds a Physics degree from the University of Ioannina (1987) and a PhD in Electrical & Electronic Engineering from the University of Bradford (1993). Research Focus Quantum computing devices and circuits Micro- and nano-electronic devices and circuits Design and simulation of nanoscale VLSI circuits Semiconductor optoelectronic devices, sensors, and circuits He has supervised numerous undergraduate, graduate, and doctoral theses and has published over 100 papers in refereed journals and conference proceedings. His service roles span leadership positions in academic committees, conferences, and scientific societies. Scientific Awards Fulbright Foundation Scholarship Social Contribution Award from AUTH's Faculty of Social Sciences Konofaos is actively involved in education policy, serves as a founding member of the Fulbright Scholars Association of Northern Greece, and is a Senior Member of IEEE and Member of the Institute of Physics-UK. His technical expertise is complemented by fluency in English, advanced Spanish, and intermediate German proficiency.

• Engineering Economics
• Environmental Economics
• Business Risk Management
• +7 more

Konstantin Aravossis is a full-time Professor at the National Technical University of Athens (NTUA), School of Mechanical Engineering, Department of Industrial Management and Operational Research. He also serves as Secretary General for Natural Environment and Water at Greece's Ministry for Environment and Energy. Additional affiliations include Adjunct Researcher at Columbia University's Earth Engineering Center since 2015 and Visiting Professor at Imperial College London's Centre for Environmental Policy. Education: PhD in Operations Research (NTUA, 1992), MSc in Management Science (Imperial College London, 1987), and Diploma in Mechanical Engineering (Technical University of Aachen, 1986) Research Focus: Combines engineering economics with environmental planning through advanced analytical tools like risk management, life cycle analysis, and multicriteria decision-making. Key applications include hazardous material dispersion modeling, sustainable energy systems, and municipal waste strategies. His computational fluid dynamics (CFD) work with PHOENICS® software enables urban environmental hazard prediction. Publication Trends: Recent articles (2019) emphasize circular economy applications in LNG supply chains, disability inclusion in waste recycling, and climate-resilient energy transitions. Earlier work (2017-2011) covers urban development risk analysis, indoor pollution modeling, and mining site remediation techniques. His 2010 research on carbon trading remains foundational. Leadership Roles: Currently coordinates NTUA's Environmental Economics and Sustainability Unit, serves as Vice President of Imperial College Alumni Association, and contributes to university governance through multiple Senate committees and technical councils.

Aretakis NikolaosView profile

Professor

• Gas Turbine Performance Modeling
• Fault Diagnosis in Turbomachines
• Vibration Analysis
• +5 more

Aretakis Nikolaos is a Professor in the Department of Mechanical Engineering at the National Technical University of Athens (NTUA), affiliated with the School of Mechanical Engineering and the Section of Fluids. His research focuses on engine monitoring, fault diagnosis for turbomachines, and performance modeling of gas and steam turbines, with applications in aerospace, marine, and power generation systems. Education: PhD in Mechanical Engineering (2000), NTUA BSc in Mechanical Engineering (1994), NTUA His expertise spans experimental techniques in turbomachines, vibration analysis, and techno-economic power plant assessments. Recent research trends include machine learning integration for turbofan diagnostics, alternative fuel modeling, and multi-disciplinary aero-engine design optimization. Scientific Awards: 2012 Best Paper Award, Cycle Innovations Committee of IGTI/ASME 2002 Best Paper Award, Controls and Diagnostics Committee of IGTI/ASME At NTUA, he teaches undergraduate courses on jet propulsion and gas turbine diagnostics, and postgraduate courses on thermal machines. He serves as Deputy Representative in the Library Senate Committee and coordinates Erasmus programs for international students.

Tolis AthanasiosView profile

Professor

• Industrial Management
• Operational Research
• Mechanical Engineering
• +3 more

Professor Tolis Athanasios is affiliated with the National Technical University of Athens , specifically within the School of Mechanical Engineering and the Section of Industrial Management and Operational Research . His contact details include the address: Heroon Polytechniou 9, 15780 Zografou, Athens, Greece, and a telephone number: (+30) 210 772-2385. Further information about his academic work can be accessed via his personal homepage . His research interests are primarily in Industrial Management and Operational Research , focusing on the integration of mechanical engineering principles with management strategies and decision-making processes. He contributes to academic programs at the university, particularly in the context of mechanical engineering and its interdisciplinary applications. Contact details and institutional affiliations highlight his role in advancing educational and research initiatives within the university's framework.

Molinou-Providaki IoannaView profile

Associate Professor

• Physical Chemistry
• Chemistry

Ioanna Molinou-Providaki is an Associate Professor in the Department of Chemistry at the National and Kapodistrian University of Athens. Her academic focus lies in Physical Chemistry, contributing to the department's research and educational programs. Research Interests: Specializing in Physical Chemistry, her work addresses core challenges in chemical dynamics, thermodynamics, and computational modeling of molecular systems. The department's broader research areas include Analytical, Organic, Inorganic, and Environmental Chemistry.

Kostas TzioumisView profile

Associate Professor

• Finance
• Economics
• Real Estate Economics
• +3 more

Kostas Tzioumis serves as Associate Professor of Finance at ALBA Graduate Business School, a position he has held since 2018. Prior to this appointment, he worked as a bank examiner at the U.S. Office of the Comptroller of the Currency (OCC), and held professional roles at the World Bank and the London School of Economics (LSE). His academic credentials include: PhD in Industrial Relations, London School of Economics (2000-2005) MSc in Industrial Relations and Personnel Management, London School of Economics (1999-2000) MSc in Accounting and Finance, London School of Economics (1996-1997) BSc in Business Administration, Athens University of Economics & Business (1992-1996) Dr. Tzioumis' research program bridges finance, economics, and statistics with empirical investigations spanning real estate markets, corporate governance mechanisms, labor economics, and financial inclusion policies. His methodological approach emphasizes rigorous statistical analysis of complex financial phenomena, particularly in mortgage markets and personnel economics. His publication record demonstrates consistent output in premier journals including the Journal of Financial Economics, Real Estate Economics, and Journal of Banking and Finance. Key research trajectories include mortgage default dynamics, valuation bias in real estate appraisal, security policy impacts on tourism economics, and incentive structures in financial decision-making.

• Labor Economics
• Employment Policies
• Education Systems
• +9 more

Stamboulis Miltiadis serves as Associate Professor in the Department of Educational & Social Policy at the University of Macedonia, actively contributing to the Postgraduate Program in "Educational Sciences: Adult Education, Special Education". His expertise bridges economic theory with educational policy implementation. Academic credentials include: Bachelor's Degree in Economics, School of Law and Economics, Aristotle University of Thessaloniki (1982) Master's Degree in Human Resources Economics, University of Paris I – Panthéon – Sorbonne (1983) Doctorate in Human Resources Economics, University of Paris I – Panthéon – Sorbonne (1986) His research critically examines labor market dynamics through educational lenses, investigating how employment policies interact with social inequalities and technological evolution. Key foci include vocational training program design, sustainable entrepreneurship models, and total quality management frameworks adapted to rapidly changing socioeconomic environments. He analyzes how new technologies reshape human resource skills and organizational leadership practices within evolving labor ecosystems. Teaching responsibilities encompass New Technologies in the Economy and Human Resource Skills, Educational Economics and Total Quality Management, Economics of Labor and Education, Vocational Education and Training Systems, and Adult Education Program Design.

• Computational Mathematics
• Numerical Analysis
• Interval Analysis
• +6 more

Dimitris Sotiropoulos is an Assistant Professor at the Department of Electrical and Computer Engineering, University of Peloponnese, specializing in Engineering Mathematics . He holds a B.Sc. in Mathematics (1995) and a Ph.D. (2005) in Mathematical Programming and Numerical Analysis. Over 20 years of higher education teaching Author/co-author of 36+ scientific articles Supervised 20+ postgraduate theses Research Interests focus on computational mathematics, global optimization algorithms, and machine learning. Specific areas include interval analysis for automatic result verification, large-scale optimization, nonlinear equation solving, and artificial neural network training. His scientific work spans sustainability assessments for aerospace components, uncertainty quantification in composite materials, and stress modeling in human-computer interaction. Articles highlight applications of interval analysis to optimization problems and neural network training improvements via BFGS methods. Teaching roles include lectures at Ionian University's Department of Informatics and University of Peloponnese's Department of Computer Science and Technology. He also serves on Hellenic Open University's Supervisory Board since 2009, mentoring postgraduate students in computational mathematics.

• Vegetable Production
• Plant Physiology
• Postharvest Technology
• +3 more

Dr. Ioannis Karapanos is an Assistant Professor at the Department of Crop Science, Agricultural University of Athens, specializing in vegetable production and postharvest technology. He has contributed extensively to research on plant physiology, seed quality, and sustainable horticultural practices through over 40 national conference proceedings and multiple international publications. Teaching: Instructs undergraduate and postgraduate courses including 'Principles of Vegetable Production' and 'Postharvest Handling of Fruits and Vegetables' since 1996. Served as part-time lecturer at the Technological Educational Institute of Kalamata (2008-2010) and Agricultural University of Athens (2010-2012). Research: Focuses on greenhouse crop physiology, postharvest handling, and environmental stress responses in solanaceous vegetables. Led national projects funded by Compo Hellas and Medilco Hellas. Collaborations: Participated in EU programs Legume Futures (FP7) and Eurolegume, and COST Action FA1204 on vegetable grafting. His work spans factors influencing tomato pollen germination, nitrogen application effects on leafy vegetables, and sustainable cultivation techniques using organic amendments. He has supervised 1 PhD, 4 MSc, and over 25 undergraduate theses while co-authoring a textbook on postharvest handling of fruits and vegetables (2015).

Yannis SmaragdakisView profile

Professor

• Programming Languages
• Software Engineering
• Static Program Analysis
• +5 more

Yannis Smaragdakis is a Professor at the Department of Informatics, University of Athens, with a 35%-time appointment and concurrent affiliation at Dedaub (a blockchain security company). His research spans programming languages, software engineering, static analysis, and distributed systems, with a current focus on Ethereum smart contract security and declarative program analysis. Notable contributions: Doop framework for Datalog-based program analysis, Gigahorse decompiler, Elipmoc for Ethereum contracts, and foundational work on points-to analysis Key research themes: Static analysis (soundness, precision, scalability), memory management algorithms (EELRU), declarative languages, and concurrency models Recent work emphasizes security analysis of blockchain programs, earning distinctions like the SIGPLAN Research Highlight (2019) and Distinguished Paper Awards . He has advised numerous Ph.D. students and received funding from the ERC and HFRI .

Lambros KoutasView profile

Associate Professor

• Reinforced Concrete Structures
• Composite Materials Reinforcement
• Seismic Design of Structures
• +4 more

Lambros Koutas serves as an Associate Professor in the Department of Civil Engineering at the University of Thessaly, where he is a core member of the Laboratory of Reinforced Concrete Technology and Constructions within the Structural Engineering Department. Appointed as Assistant Professor in 2018, he achieved permanent status in 2022 and was promoted to Associate Professor in 2024. His educational background includes a Diploma in Civil Engineering (2008), Postgraduate Diploma in Seismic Design of Structures (2010), and PhD in Civil Engineering (2015), all from the University of Patras. Prior to his current role, he completed 3.5 years of postdoctoral research at the University of Nottingham and University of Sheffield. Research focuses on experimental behavior of concrete structures, seismic retrofitting using composite materials, and structural modeling. He directs Horizon 2020 research programs and contributes to international standards through fib Task Group 5.1 (FRP Reinforcement) and RILEM MCC Technical Committee (Textile Reinforced Concrete). With over 50 publications in international journals and conferences, his work emphasizes practical applications in earthquake-prone infrastructure. He serves on the editorial board of ASCE's Journal of Composites for Construction and has reviewed 270+ articles across 32 journals. Undergraduate Courses: Evaluation and Strengthening of Reinforced Concrete Structures, Reinforced Concrete I, Reinforced Concrete II Postgraduate Courses: Pre-earthquake and post-earthquake interventions in existing structures His laboratory supports experimental testing of concrete, steel, and composite structural systems, advancing both educational and industrial research in structural resilience.

Christos DritselisView profile

Assistant Professor

• Fluid Mechanics
• Experimental Hydraulics
• Energy Systems
• +7 more

Christos Dritselis is an Assistant Professor at the Department of Civil Engineering , University of Thessaly . His academic career spans over 10 years of postdoctoral research experience, with a focus on Fluid Mechanics and related applied fields. Specialization: Experimental Hydraulics (2024) Academic Background: Diploma in Mechanical Engineering (2001), M.Sc. in Energy Systems, Industrial Processes, and Antipollution Technology (2002), PhD in Engineering (2007) from University of Thessaly Research interests include: fluid mechanics of energy systems , mathematical modeling of flow phenomena , experimental and computational fluid dynamics (CFD) , and hydrodynamic turbulence . He has contributed to 17 research programs and published over 50 peer-reviewed works. As an educator, he teaches Fluid Mechanics , Experimental Hydraulics , and Hydraulics to undergraduate students, with office hours on Tuesdays and Thursdays from 10:00–12:00.

Nikolaos KartalisView profile

Professor

• Accounting
• Financial Accounting
• International Accounting Standards
• +3 more

Nikolaos Kartalis serves as Professor in the Department of International and European Economic Studies at the University of Western Macedonia. His academic profile centers on accounting, financial systems, and economic law within European and international contexts. His research focuses on Accounting , International Accounting Standards , and Financial Accounting , with connections to economic policy and tax frameworks. The department participates in postgraduate programs including Tax and Economic Law of Businesses, Green Leadership, and Oil/Gas Management. Professor Kartalis teaches General Accounting Principles and holds a Doctorate in Accounting from the University of Sheffield. His academic journey includes postgraduate studies in Project Analysis at the University of York and undergraduate economics training at the University of Macedonia.