Find Academic Supervisors

Pavel PanchekhaView profile

Assistant Professor

• Programming Languages
• Program Synthesis
• Verification
• +4 more

Pavel Panchekha is an Assistant Professor in the School of Computing at the University of Utah, where he holds the Warnock Chair for Junior Faculty. His research spans programming languages, web browsers, and numerical analysis, with a focus on developing programming language techniques to address challenges across computer science. Dr. Panchekha received his educational training at prestigious institutions: PhD in Computer Science from the Paul G. Allen School for Computer Science and Engineering at the University of Washington, advised by Michael D. Ernst and Zachary Tatlock BS in Mathematics from MIT Panchekha's research program has two major thrusts. First, he works on web browser internals , with projects including fuzzing layout invalidation, multi-tenant garbage collection, and optimizing 2D graphics. He is also authoring a textbook on web browsers that informs much of this research. Second, he focuses on automatic numerical analysis , with projects such as automatic accuracy improvement, synthesis via term rewriting, scalable static accuracy analysis, and math library implementation. He leads the FPBench and Herbie projects, which are major deployments of his research. His scholarly output demonstrates consistent contributions across programming languages, verification, and numerical methods. Recent work shows a growing emphasis on bidirectional typing systems, layout invalidation in browsers, and robust floating-point error analysis. His publications reveal a trajectory from foundational work on floating-point accuracy (notably the Herbie tool that won a Distinguished Paper Award at PLDI 2015) toward more comprehensive systems for program synthesis, verification, and browser optimization. Panchekha has received significant recognition for his research contributions: NSF Fellowship ARCS Foundation Fellowship Adobe Research Fellowship Wissner-Slivka Foundation Fellowship 2015 PLDI Distinguished Paper Award for work on the Herbie numerical analysis and repair tool As an advisor, Panchekha mentors a substantial group of students across multiple levels. He currently advises six students: Marisa Kirisame (PhD), Bhargav Kulkarni (PhD), Yumeng He (PhD), Artem Yadrov (MS), Jesus Ponce (BS), and Jonas Regehr (BS). Previously, he has advised over twenty students including PhD candidates like Ian Briggs and numerous MS and BS students. His advising spans theoretical topics in programming languages and practical applications in web browsers and numerical computing. Panchekha leads research groups focused on programming languages applications to web browsers and numerical analysis. His work on the Herbie tool for floating-point accuracy improvement has become influential in the programming languages community, and his more recent work on browser internals is shaping how researchers understand and optimize modern web rendering engines. He is currently developing a textbook on web browsers that aims to synthesize knowledge about browser architecture and implementation.

David NaumannView profile

Professor

• formal methods
• software security
• relational verification
• +7 more

David Naumann is Professor and Department Chair of Computer Science at Stevens Institute of Technology. His leadership in the department and active research program positions him as a key figure in programming languages and formal methods research. Naumann's research focuses on formal methods and software security, with particular emphasis on relational and hyperproperty verification , fine-grained confidentiality/integrity policies , and program analysis and verification . His work bridges theoretical foundations with practical applications in security-critical systems. He has developed novel program logics and verification techniques that enable precise reasoning about information flow and security properties. His recent publications (2022-2025) reveal a strong trend toward modular relational verification techniques with applications to pointer programs, distributed systems, and concurrent applications. The research spans theoretical foundations (algebraic structures for alignment) to practical tools (WhyRel prototype), demonstrating both depth and breadth in addressing verification challenges. Naumann has served as program committee co-chair for IEEE Computer Security Foundations Symposium (2021-2022) and has been active on committees for POPL, CCS, CSF, ECOOP, and other top venues. His editorial service includes ACM Transactions on Programming Languages and Systems, Formal Aspects of Computing, and Journal of Object Technology. He leads the Cypress research group at Stevens Institute of Technology and has secured significant funding from NSF, Microsoft Research, and Siemens. His mentoring extends to numerous PhD students who have gone on to successful careers in academia and industry.

• Antenna Design
• Evolutionary Algorithms
• Wireless Communications
• +7 more

Sotirios K. Goudos is a Professor at the Department of Physics, Aristotle University of Thessaloniki (AUTH), Greece, and Director of the ELEDIA@AUTH lab within the ELEDIA Research Center Network. His research focuses on antenna design, evolutionary algorithms, wireless communications, machine learning, and IoT applications. He holds a B.Sc. in Physics (1991), M.Sc. in Electronics (1994), Ph.D. in Physics (2001), and additional qualifications in Information Systems and Electrical Engineering. Prof. Goudos is a Senior Member of IEEE and serves as Editor-in-Chief of the Telecom open access journal (MDPI) and Associate Editor for IEEE Transactions on Antennas and Propagation, IEEE Access, and IEEE Open Journal of the Communication Society. He has organized multiple special issues in journals like EURASIP Journal on Wireless Communications and Networking and has authored/edited books on antennas and AI in networks. His awards include multiple IEEE Access Outstanding Associate Editor recognitions (2019–2023) and inclusion in Stanford University's top 2% scientists list (2020–2024). He teaches courses on telecommunications, Java programming, and microwave systems, and has supervised over two dozen master's students since 2009. His work spans antenna optimization, AI-driven communications, and IoT security, with contributions to 5G/6G, RIS systems, and smart agriculture. Prof. Goudos actively contributes to IEEE Greece Section leadership roles, including Secretary (2022) and Vice-Chair (2023–2024). His labs and teams focus on ELEDIA's research in electromagnetics, optimization, and AI applications.

Paschalis AntonisView profile

Professor

• Computer Engineering
• Digital Signal Processing
• Space Systems
• +5 more

Paschalis Antonis is a Professor at the Department of Informatics and Telecommunications, National and Kapodistrian University of Athens. His research focuses on hardware architectures for space systems, embedded systems, and image compression standards such as CCSDS. He specializes in FPGA implementations, radiation-hardened electronics, and biomarker development for immunogenic responses to cancer therapies. Research Interests: High-performance FPGA-based hardware accelerators Space-grade embedded systems and data compression CCSDS standard implementations for aerospace applications Molecular biomarkers for immunotherapy response prediction Recent Trends: His work emphasizes resilient systems against radiation effects (e.g., SEUs in FPGAs), high-throughput image compression cores for space missions, and interdisciplinary research linking computational hardware with medical diagnostics via prothymosin α analysis. Grants & Labs: Leads the ASPIICS coronagraph project for ESA's Proba-3 mission, involving advanced optical instrumentation and formation flying systems. Collaborates on COTS FPGA utilization in extreme environments.

Christos OuzounisView profile

Professor

• Bioinformatics
• Digital Biology
• Biological Computation
• +5 more

Christos Ouzounis is a Professor of Bioinformatics at the Department of Informatics, Aristotle University of Thessaloniki , with a career spanning institutions including the European Bioinformatics Institute , King's College London , and University of Toronto . His work bridges Computational Biology , Digital Biology , and Metagenomics , focusing on large-scale data analysis, machine learning applications, and functional annotation of proteins. Education : BSc in Biological Sciences (1986), MSc in Biological Computation (1987), and DPhil in Computational Chemistry (1993) Key Roles : Director of the Bioinformatics Centre at King's College London (2007-2010), Research Director at IDEP-EKETA (2014-2020) His research interests include low-complexity protein sequences , Covid-19 seasonality patterns linked to UV radiation, and metagenomic analysis of urban microbiomes in cultural heritage sites. Current projects involve machine learning models for microbial coexistence networks, ontological classification of biomedical literature, and bioinformatics tool development . Publications highlight trends in archaeal genomics , functional dark matter in metagenomics, and epidemiological modelling . Notable collaborations include work on BioTextQuest v2.0 for concept discovery and MjCyc for metabolic pathway analysis.

Chrysanthos MaraveasView profile

Assistant Professor

• Agricultural Engineering
• Sustainable Materials
• Artificial Intelligence Applications
• +5 more

Chrysanthos Maraveas is an Assistant Professor at the Department of Technology and Natural Resources Management & Agricultural Engineering in the School of Environment and Agricultural Engineering at the Agricultural University of Athens since 2022. He earned his PhD in Structural Engineering from the University of Manchester and has held postdoctoral research positions at the University of Liège (EU-funded) and the University of Patras (Greek Ministry of Development-funded). Research Interests : Applications of AI and quantum computing in agriculture Sustainable materials and biodegradable polymers from agricultural waste Internet of Things (IoT) for greenhouse optimization Structural durability and corrosion resistance in agricultural environments Plastic waste management in agrifood systems 4D printing for sustainable agricultural plastics Scientific Recognition : Ranked in the top 2% of scientists worldwide by Stanford University (based on citations and h-index) Publications focus on: Cybersecurity in Agriculture 4.0/5.0 Smart sensors and edge computing for resource management Biopolymer innovations and nanotechnology Structural analysis of agricultural systems Sustainable construction materials from agro-waste Fire resistance in steel and composite structures

Spitas VasiliosView profile

Professor

• Gear Dynamics
• Additive Manufacturing
• Mechanical Design Optimization
• +7 more

Spitas Vasilios is a Professor at the National Technical University of Athens (NTUA), affiliated with the School of Mechanical Engineering and the Department of Mechanical Engineering & Automatic Control. His research focuses on gear dynamics, additive manufacturing, computational modeling, thermal systems, and educational pedagogy in engineering. He leads projects involving advanced gear technologies, material science applications, and sustainable energy systems. His work integrates experimental, analytical, and numerical methods to address challenges in mechanical design and industrial applications. Key research areas include optimizing gear performance through bio-inspired surface texturing, developing novel clutch systems, and enhancing 3D printing precision. He explores interdisciplinary topics like energy-efficient Ericsson engines and hyper-damping systems. His contributions to engineering education emphasize active learning strategies and project-based curricula. His recent publications analyze magnetic gear dynamics, additive-manufactured components, and educational innovations. He collaborates on international projects, such as the HEV Ventilator initiative, merging biomedical and mechanical engineering.

Zacharakis GiannisView profile

Research Professor

• Biophotonics
• Biomedical Imaging
• Optical Imaging
• +3 more

Dr. Zacharakis Giannis is a Research Professor and Research Director at the Institute of Electronic Structure and Laser (IESL) of the Foundation for Research and Technology (FORTH). He heads the Laboratory for Biophotonics and Molecular Imaging, focusing on developing advanced imaging technologies for biomedical and cultural heritage applications. He served as Vice President and President of the European Society for Molecular Imaging (ESMI) and holds leadership roles at FORTH. Education: BSc in Physics (1997), PhD in Biomedical Imaging (2002), both from the University of Crete. Postdoctoral Research Fellow at Harvard University (2003-2004). Research Interests: Biophotonics, optoacoustic imaging, biomedical optics, and non-invasive diagnostic tools. His work spans label-free imaging techniques, hybrid microscopy systems, and applications in healthcare, art conservation, and plant biology. Key Achievements: Over 60 peer-reviewed journal articles, 48 conference papers, 2 book chapters, 2 patents, and an h-index of 19 (Google Scholar). Awards include 3 first prizes at international conferences and 20+ invited talks globally. Labs & Groups: Leads the Biophotonics and Molecular Imaging Lab at FORTH-IESL, collaborating on projects like optical projection tomography, adaptive light-sheet microscopy, and optoacoustic technologies for cultural heritage diagnostics.

John PaparrizosView profile

Assistant Professor

• Databases
• Data Science
• Machine Learning
• +5 more

John Paparrizos is an Assistant Professor of Computer Science and Engineering at The Ohio State University's College of Engineering, where he directs The DATUM Lab (Data Analytics, Understanding, Mining, and Management Lab). He maintains an adjunct affiliation with the School of Informatics at Aristotle University of Thessaloniki. His research spans databases, data science, machine learning, and artificial intelligence , with focus areas including: Time-series analysis (clustering, anomaly detection) Scalable data mining for structured/unstructured data Adaptive algorithms for resource-constrained environments Foundational technologies for data-intensive applications His work addresses real-world challenges across relational, time-series, multimedia, text, graph, web, and IoT data domains. Notable recognition includes: 2025 ACM SIGMOD Test-of-Time Award for k-Shape time-series clustering 2023 IEEE TCDE Rising Star Award ACM SIGMOD Research Highlight Award NetApp Faculty Award His research has been featured in New York Times (front page), Washington Post , Forbes , and adopted by Fortune 500 companies (Exelon, Nokia) and the European Space Agency. He actively serves on program committees for premier conferences including ACM SIGMOD, VLDB, IEEE ICDE, ACM SIGKDD, and NeurIPS. His open-source tools have exceeded 100,000 downloads and are integrated into academic curricula at Brown, Columbia, Purdue, and University of Chicago.

Konstantinos G. ArvanitisView profile

Professor

• Electrification
• Automation
• Digitalization in Agriculture
• +23 more

Konstantinos G. Arvanitis is a Professor in the Department of Natural Resources Management & Agricultural Engineering at the Agricultural University of Athens, affiliated with the Agricultural Engineering Laboratory. He holds a PhD in Electrical and Computer Engineering from the National Technical University of Athens and has held diverse research and teaching roles across Greek institutions. Teaches courses on electrical engineering, sensors, automation, and AI in agriculture Supervised 2 PhD, 9 MSc theses, and guides 6 ongoing PhD projects Member of FEANI, EurAgEng, and IFAC Technical Committee (2000-2017) His research integrates IoT, machine learning, and cyber-physical systems into agricultural practices, focusing on precision agriculture and sustainability. He contributes to editorial boards of journals like Sensors and Energy , and has published over 342 technical works with significant citation metrics. His recent work explores quantum technologies, edge computing, and 3D printing in agricultural systems, emphasizing energy efficiency and educational innovation. He actively reviews for 130+ journals and conferences.

• Active Galactic Nuclei
• Extragalactic Astrophysics
• Observational Astrophysics
• +3 more

Iosif Papadakis is a Professor in the Department of Physics at the University of Crete, Greece, serving since 2003 with promotions to Associate Professor (2009) and full Professor (2014). He chaired the Physics Department (2015-2019) and directed Skinakas Observatory (2009-2019), a key facility for extragalactic research. His career includes research associate positions at Southampton University, University of Crete, and FORTH. Education: B.A. in Physics, University of Athens (1989) Ph.D. in Physics, Queen Mary & Westfield College, University of London (1992) Research Focus: Professor Papadakis specializes in extragalactic observational astrophysics , with primary expertise in active galactic nuclei (AGNs) . His work investigates multi-wavelength (X-ray/UV/optical) variability to unravel accretion disk physics, corona geometry, and black hole mass measurements. He employs advanced techniques like reverberation mapping and spectral-timing analysis to probe AGN central engines, with emphasis on disk-corona connections and X-ray reprocessing mechanisms. Publication Trends: Analysis of his 15 most recent articles (2024-2025) reveals consistent focus on AGN variability origins through X-ray illumination models. Key themes include NICER/AstroSat-based high-precision timing studies of objects like NGC 4051 and NGC 6814, development of reverberation frameworks (e.g., KYNREFREV), and black hole mass estimation via ensemble variability. His work bridges theoretical modeling with observational data across electromagnetic spectra. Laboratory Leadership: As former director of Skinakas Observatory (Crete's premier optical/infrared facility), he enabled critical AGN monitoring campaigns. The observatory remains integral to his research on extragalactic sources, supporting multi-wavelength follow-up of space-based observations.

Politis KonstantinosView profile

Professor

• Stochastic developments
• Risk and bankruptcy theory
• Actuarial mathematics
• +3 more

Professor Konstantinos Politis is a distinguished academic in the Department of Statistics and Actuarial Science at the University of Piraeus, where he has served since 2004, progressing from Assistant Professor to his current position as Professor (2025-present). His academic career spans prestigious institutions including the University of Manchester, University of Southampton, and the University of Cambridge where he earned his PhD. Education: B.A. in Mathematics, University of Athens (1989) MSc in Statistics, University of Sheffield, UK (1991) PhD in Statistics, University of Cambridge, UK (1997) Professor Politis specializes in stochastic processes with particular focus on ruin theory, risk analysis, and actuarial mathematics. His research examines complex probability models related to insurance risk, surplus processes, renewal theory, and failure rate analysis. He has made significant contributions to understanding the mathematical properties of insurance risk models, particularly in the Sparre Andersen framework and compound Poisson processes. His work bridges theoretical probability with practical applications in actuarial science and financial risk management. His extensive publication record demonstrates consistent contributions to leading journals in probability and actuarial science. The research trajectory shows evolution from foundational work on ruin theory and risk models toward more sophisticated analyses of renewal processes, failure rate functions, and stochastic bounds. His recent work focuses on precise mathematical characterizations of recurrence times, convolution properties, and monotonicity in stochastic systems. Professor Politis has co-authored significant textbooks including Introduction to Probability: Models and Applications (2019) and Introduction to Probability: Multivariate Models and Applications (2021) with Balakrishnan and Koutras, as well as his Greek-language work Introduction to the Theory of Collective Risk (2012, 2nd ed. 2016). In teaching, Professor Politis has contributed to both undergraduate and graduate education, offering courses including Probability I, Special Topics in Probability, Variance Analysis, Loss Distributions, Generalized Linear Models, and Risk Theory II. His academic journey reflects a deep commitment to advancing statistical theory while maintaining practical relevance to actuarial science and risk management.

Doitsidis EleftheriosView profile

Associate Professor

• Multirobot Systems
• Autonomous Vehicles
• Control Systems
• +5 more

Dr. Eleftherios Doitsidis is an Associate Professor at the School of Production Engineering & Management of the Technical University of Crete (TUC) and a member of the Intelligent Systems & Robotics Laboratory. Previously, he served as faculty at the Department of Electronic Engineering at Hellenic Mediterranean University. His expertise spans multirobot systems, autonomous vehicle control, and computational intelligence. He holds a robust record of EU and national research project involvement. Research Interests: Specializes in multirobot team coordination, autonomous navigation systems for UAVs/AUVs, control systems design, and computational intelligence applications. Recent work focuses on energy-efficient path-planning for swarms, educational robotics frameworks like HYDRA, and digital twin integration in autonomous systems. Publications Trends: His 150+ publications address cutting-edge topics including: Autonomous vehicle control architectures Modular robotics for STEM education Optimization algorithms for multirobot systems Energy efficiency in manufacturing systems Advising & Projects: Lead researcher on numerous funded projects involving UAV/AUV missions, swarm robotics, and educational technology. Active in collaborative research with institutions like the University of South Florida. Labs & Groups: Leads the Intelligent Systems & Robotics Lab at TUC, developing advanced robotic platforms and educational tools. Maintains an open-access research portal at doitsidis.tuc.gr .

• Robotic Vehicles
• Computational Intelligence
• Cooperative Control and Optimization
• +3 more

Lefteris Doitsidis is an Associate Professor at the School of Production Engineering and Management, Technical University of Crete. He holds a PhD in Production and Management Engineering from the same institution (2008), with prior academic positions at the Department of Electronics, Hellenic Mediterranean University. His professional journey includes visiting scholar roles at the University of South Florida, USA. Research focuses on robotic systems, including autonomous navigation of UAVs/AUVs, multirobot teams, computational intelligence, and educational robotics. He leads the Intelligent Systems and Robotics Laboratory, developing tools like HYDRA for STEM education and frameworks for industry 4.0 applications such as bin-picking and precision agriculture. His work integrates control systems optimization, energy efficiency in manufacturing, and digital twin technologies. Over 65 publications span journals, conferences, and books, emphasizing practical implementations like ROS-based autonomous vehicle testbeds and energy management systems for electric vehicles. Key contributions include UAV path planning algorithms, swarm robotics coordination, and sensor fusion techniques. Current research trends emphasize sustainability in manufacturing, educational robotics platforms, and autonomous systems validation through advanced algorithms like Deep Deterministic Policy Gradient.

• Distributed Systems
• IoT Protocols
• Big Data
• +4 more

Dr. Sotirios Kontogiannis is a Researcher and Director of the Distributed MicroComputer Systems Laboratory (MCSL) at the Department of Mathematics, University of Ioannina. He holds a PhD in Software Engineering from Democritus University of Thrace (2012), with a focus on load balancing algorithms for distributed systems. His career spans academic and private sector roles, including software development, research in FP7 projects, and technical leadership at TEKMON Geomatics. He currently teaches courses on Database Systems, Parallel Algorithms, and Educational Technologies at the University of Ioannina. Education: 5-year Engineering Diploma (DUTH, 2003), MSc in Microelectronics and Information Systems (DUTH, 2006), PhD in Load Balancing Algorithms (DUTH, 2012). Research Focus: Distributed systems, IoT protocols, sensor networks, big data, and smart agriculture technologies (e.g., beekeeping monitoring systems, wine fermentation frameworks). His work integrates IoT, AI, and edge computing to address challenges in agriculture, accessibility, and environmental monitoring. Notable inventions include patented smart beehive systems and tactile navigation tools for visually impaired individuals.