جستجوی استاد راهنمای دانشگاهی

Antonakos Georgiosمشاهده پروفایل

مدرس

• Thermodynamics of Pure Substances
• Heat Transfer
• Cogeneration and Trigeneration Systems
• +۱ مورد دیگر

Antonakos Georgios is a Teaching Staff member at the Thermal Engineering Section of the School of Mechanical Engineering, National Technical University of Athens (NTUA). He holds a PhD in Thermal Engineering from NTUA (2013), a Master’s in Applied Mechanics (2002), and a Diploma in Mechanical Engineering (2001). Teaching areas: Applied Thermodynamics, Heat Transfer, Industrial Cooling Systems Research focus: Thermodynamics of pure substances, heat transfer, cogeneration systems, heat exchangers Administrative roles: Secretary of NTUA’s Energy Management Sustainability Committee Participation in Erasmus+ programs and European Solidarity Corps projects His scientific work includes publications on Stirling engines, organic Rankine cycles, and energy recovery systems. He has contributed to national and European research projects, including NRG4CAST and GREEN HEAVY DUTY ENGINE. Books authored/co-authored: Thermodynamic Analysis of the Stirling Engine (2014), Refrigeration – Air Conditioning (2023).

• Numerical Analysis
• Numerical Solution of Partial Differential Equations
• Computer Science
• +۶ مورد دیگر

Arvanitis Christos is a Lecturer at the School of Electronic & Computer Engineering of the Technical University of Crete . He holds a PhD in Mathematics (2002) and a Master's in Computational & Applied Mathematics (1997) from the University of Crete, alongside a 2-year military service (1995–1997). His academic career includes teaching roles at multiple universities (2002–2008), a hiatus in Secondary Education (2008–2017), and current research-teaching activities since 2017. Education: PhD in Mathematics (2002) Master's in Computational & Applied Mathematics (1997) BSc in Mathematics (1992) His research spans Numerical Analysis and Computer Science , focusing on automatic spatial partitioning in numerical differential equation solutions , with applications in Neural Networks , Human-Machine Interfaces , GPU Computing , and Machine Vision . His 5 publications in reputable journals highlight these interdisciplinary themes. He has participated in applied research programs such as Symmetries in Neural Networks , Underwater Acoustics , and Adaptive Algorithms for Optical Flow , demonstrating expertise in both theoretical and computational domains. Technical Skills: CPU/GPU Programming Distributed Computing GUI Development

• Machine Learning
• Artificial Intelligence
• Decision Making under Uncertainty
• +۷ مورد دیگر

Lagoudakis Michael is a Professor at the School of Electronic & Computer Engineering of the Technical University of Crete since 2005. His academic journey includes a PhD in Computer Science from Duke University (2003), a Master's from the University of Louisiana, Lafayette (1998), and a Diploma in Computer Engineering and Informatics from the University of Patras (1995). Education: PhD in Computer Science, Duke University, 2003 MSc in Computer Science, University of Louisiana, Lafayette, 1998 Diploma in Computer Engineering and Informatics, University of Patras, 1995 Research interests span Machine Learning, Reinforcement Learning, Decision Making under Uncertainty, Multi-Agent Systems, Robotics (particularly robotic team coordination), Complex Systems, and DNA Computing. His work has produced significant publications in top venues like Robotics: Science and Systems , IEEE IROS , Journal of Machine Learning Research , and NIPS . He has contributed to projects such as EURECA-PRO (2020–present), DialogRL (2016–2020), and LSPI (2000–2003). Scientific awards include the Outstanding Dissertation Award from Duke University's Department of Computer Science and the Outstanding Teaching Assistant Award received twice. He is a member of AAAI, IEEE, and ACM.

• Architectural Design
• Urban Planning
• Building Technology
• +۳ مورد دیگر

Grigoriadou Maria is an Associate Professor at the Department of Architecture, School of Engineering, Democritus University of Thrace. Her academic work focuses on architectural design, urban planning, and building technology, with an emphasis on sustainable practices and historical preservation. The Department of Architecture at Democritus University of Thrace offers specialized programs in classical and modern architectural studies, integrating technical, artistic, and environmental considerations.

• Marine Ecology
• Aquatic Ecosystems
• Fish Population Dynamics
• +۳ مورد دیگر

Koutsikopoulos Konstantinos is a Professor at the Department of Animal Biology within the Department of Biology at the University of Patras, Greece. His academic career spans decades of research and teaching in marine ecology and fisheries science. He is based on the Rio Campus and can be contacted via office phone lines or at ckoutsi@upatras.gr . Teaching courses: Ecology I, Marine Ecology, Sampling theory and data analysis, Ecological models, Fish population dynamics and catch management Research areas: Marine ecology, aquatic ecosystems, fish stock monitoring, and physical-biological process interactions His research focuses on marine ecosystem dynamics, particularly examining the coupling between physical oceanographic processes and biological systems. Key areas include fish population dynamics, ecological modeling, and the management of aquatic resources. His work has significantly contributed to understanding larval dispersion, stock assessment, and environmental impacts on fisheries. Recent publications highlight his expertise in Mediterranean fisheries management, with studies on glass eel migration patterns, anchovy population modeling, and aquaculture-wild stock interactions. Collaborative works also explore small-scale fisheries across Europe and hydrological conditions affecting semi-enclosed embayments. As a faculty member, he contributes to the Erasmus+ program and maintains laboratory course schedules for students.

Papastergiadou Evanthiaمشاهده پروفایل

استاد

• Aquatic Ecology
• Freshwater Macrophytes
• Biodiversity and Conservation Biology
• +۵ مورد دیگر

Evanthia Papastergiadou is a Professor in the Department of Plant Biology at the University of Patras, Greece. She leads the Plant Ecology Research Group and is a key figure in aquatic ecosystem research, particularly focusing on freshwater macrophytes, biodiversity, and ecological water quality under the EU Water Framework Directive. Education: Degree in Biology, School of Sciences, Aristotle University of Thessaloniki PhD in Biology, Department of Biology, Aristotle University of Thessaloniki Research Interests: Her research spans a wide array of ecological themes, including: Structure, dynamics and management of aquatic ecosystems Ecological water quality assessment using macrophytes as bioindicators Impact of invasive species and anthropogenic pressures Climate change effects on aquatic vegetation Landscape ecology and GIS-based land-use change analysis Research Trends from Publications: Her recent work emphasizes functional diversity of aquatic macrophytes, responses to environmental gradients, and conservation strategies in riparian and lacustrine systems across Europe. She has contributed to large-scale comparative studies such as REFRESH, COST-CONVERGES, and LIFE-IP, often involving mesocosm experiments and long-term monitoring. Grants and Projects: LIFE-IP (2018–2025): Integrated conservation of Natura 2000 sites COST Action CONVERGES (2017–2021): Riparian ecosystem management EU FP7 REFRESH (2010–2014): Climate change impacts on freshwater ecosystems National Monitoring Programs for River Ecological Quality (2014–2023) Labs & Teams: She is affiliated with the Plant Ecology Research Group at the University of Patras, which is actively involved in freshwater ecology and conservation biology. Her team collaborates with international partners across Europe, contributing to EU-level policy and conservation frameworks.

Alexander Artikisمشاهده پروفایل

دانشیار

• Artificial Intelligence
• Distributed Systems
• Multi-Agent Systems
• +۳ مورد دیگر

Alexander Artikis is an Associate Professor at the Department of Maritime Studies, University of Piraeus. His academic work bridges artificial intelligence, distributed systems, and maritime informatics, with a focus on complex event recognition and temporal reasoning. PhD in Multi-Agent Systems from Imperial College London Research areas include: Artificial Intelligence and Machine Learning Distributed and Real-Time Systems Event Calculus and Temporal Reasoning Maritime Data Analytics Recent publications highlight advancements in: Knowledge Graph Inconsistency Detection and Resolution Tensor-Based and Symbolic Register Transducer Formalisms Human-in-the-Loop Visual Analytics Temporal Specification Optimization Large Language Model Applications in Event Recognition Scalable Event Processing for Maritime Mobility He contributes to the academic community through program committee roles at premier conferences like AAMAS, IJCAI, and AAAI.

Thomas Kamalakisمشاهده پروفایل

استاد

• Optical Wireless Communications
• Photonic Crystal Waveguides
• Visible Light Communications
• +۵ مورد دیگر

Thomas Kamalakis is a Professor at Harokopio University in Athens, Greece, specializing in optical communications and wireless networking technologies. His academic profile indicates a strong focus on cutting-edge research in photonic systems and telecommunications infrastructure. Dr. Kamalakis' research spans multiple domains within optical communications, with particular expertise in visible light communications, free space optics, photonic crystal waveguides, and IoT security applications. His work demonstrates a consistent trajectory toward integrating optical technologies with emerging computing paradigms including machine learning and neuromorphic systems. Recent publications show increasing attention to practical implementation challenges and economic considerations in telecommunications infrastructure. Analysis of his publication trends reveals a strategic evolution from fundamental optical waveguide research toward more applied systems integrating machine learning, security, and economic considerations. His scholarly output demonstrates strong technical depth in optical communications while increasingly addressing real-world implementation challenges across diverse contexts including satellite networks, railway communications, and pandemic response systems. Dr. Kamalakis maintains an active research program with consistent publication output across multiple high-impact venues in telecommunications and optical engineering. His recent work demonstrates growing interdisciplinary connections between optical communications, cybersecurity, and economic modeling. His professional activities include significant contributions to Greek telecommunications market analysis and emerging technologies for next-generation home and office networks. The breadth of his research suggests leadership in adapting optical communication technologies to address contemporary challenges in network infrastructure and security.

Parcharidis Isaacمشاهده پروفایل

استاد

• Remote Sensing
• Photointerpretation
• Earth Observation Systems
• +۳ مورد دیگر

Parcharidis Isaac serves as a Professor in the Department of Geography at Harokopio University, Athens, maintaining an office in the Geography Building (4.3b). His contact details include telephone [+30] 210 95 49 345 and email parchar@hua.gr. He teaches undergraduate courses in Remote Sensing – Photointerpretation, Special Topics in Remote Sensing, Modern Tracking / Monitoring Technologies, and Oceanography, alongside postgraduate instruction in Emergency Planning, Applications of Geoinformatics in Disaster Management, and Research Topics in Geoinformatics. His academic credentials feature a Studies Degree in Geological Sciences from the University of Parma (Italy, 1984) and a PhD from the Agricultural University of Athens (1994) with doctoral research titled "Tectonic analysis of N. Thessaly, Central and Western Macedonia using remote sensing methods". Professor Isaac's research centers on space-based Earth observation systems, specializing in high-resolution optical and radar data processing with Radar Signaling techniques. His work demonstrates significant applications in natural hazard assessment/management and geoarchaeology, leveraging satellite imagery for environmental and archaeological analysis. Current involvement includes the Interdepartmental Postgraduate Program "Applied Geoinformatics" and the "Climate Crisis, Risks and Disasters" program for 2025-2026 academic year. He actively contributes to institutional initiatives through postgraduate program development and student supervision, though specific advisees and grant details remain unlisted in available materials. Recent university announcements highlight his participation in program recruitment for disaster management and climate crisis studies.

• Software Engineering
• Programming Languages
• Software Verification
• +۲ مورد دیگر

Jixiang Shen is affiliated with The University of Sydney , Australia, and contributed to the SOAP 2020 conference track at PLDI 2020. His research focuses on software engineering, particularly in the areas of debugging, program analysis, and automated reasoning for software verification. His participation includes authoring the paper Explaining Bug Provenance with Trace Witnesses , which explores techniques for isolating and explaining software bugs through trace witnesses. This work aligns with broader interests in programming languages and software reliability. No awards, students, or email addresses are explicitly listed in the provided information.

Bernhard Scholzمشاهده پروفایل

استاد

• Programming Languages
• Compilers
• Static Analysis
• +۴ مورد دیگر

Bernhard Scholz is a Professor at the University of Sydney's School of Computer Science. His research focuses on programming languages, compilers, static analysis, and blockchain technologies, with significant contributions to Datalog optimization and smart contract security. He teaches COMP3109 Programming Languages and Paradigms and leads research in declarative programming frameworks. Scholz's primary research interests include: Development of Soufflé, a Datalog-based program analysis framework Ethereum smart contract security through tools like Ethainter and MadMax Parallel data structures for efficient Datalog evaluation Compiler optimizations for embedded systems and cloud environments His recent publications demonstrate a consistent focus on improving the efficiency and security of declarative programming systems, particularly through innovations in Datalog execution and smart contract analysis. This work bridges theoretical computer science with practical applications in blockchain and distributed systems. Scholz has secured research funding including an ARC Discovery Project on adaptive key-value stores and a Fantom Operations grant for smart contract toolchain development. He collaborates with international researchers on parallel computing and blockchain verification projects.

Mira Meziniمشاهده پروفایل

استاد

• Software development paradigms and tools
• Programming systems for reliable distributed software
• Automated software analysis
• +۳ مورد دیگر

Mira Mezini is a Professor of Computer Science at the Technical University of Darmstadt, Germany, leading the Software Technology Lab. She serves on steering committees, program committees, and editorial boards of top-tier conferences and journals. Her affiliations include the National Research Center for Applied Cybersecurity ATHENE and co-directorship of hessian.AI, the Hessian Center for Artificial Intelligence. Her research focuses on programming systems for reliable distributed software and AI, automated software analysis, and foundational code models. She has developed large-scale module concepts for adaptability, extensible programming languages, and intelligent software development environments that leverage web-based resources to generate programming rules and patterns. Specializes in software engineering Expert in programming language design Contribution to cybersecurity and AI Her recent work emphasizes static analysis, distributed systems, and programming language design, with trends in API misuse detection, decentralized applications, and secure local-first programming. The focus spans from foundational type systems to practical tools enhancing software quality and developer productivity. Scientific Awards Two-time IBM Eclipse Innovation Award recipient (2005, 2006) Google Research Award (2017) Horst Görtz IT Security Award (2014) ERC Advanced Grant (2012) ACM Fellow Dahl-Nygaard Prize (2025) She has held leadership roles including Dean of Computer Science at TU Darmstadt (2013-2014) and Vice President positions (2014-2019). Her service extends to international juries, funding panels, and editorial boards. Labs & Teams Leads the Software Technology Lab at TU Darmstadt, driving research in programming paradigms and tools. Co-directs hessian.AI and contributes to the Excellence Cluster 'Reasonable Artificial Intelligence.'

Raphaël Monatمشاهده پروفایل

پژوهشگر

• Static program analysis
• Abstract interpretation
• Formal methods
• +۵ مورد دیگر

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 Cadarمشاهده پروفایل

استاد

• Software Engineering
• Testing and Verification
• Computer Systems
• +۴ مورد دیگر

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.

Nikolaos Nikolaidisمشاهده پروفایل

استاد

• Computer Vision
• Machine Learning
• Digital Image Processing
• +۷ مورد دیگر

Nikolaos Nikolaidis is a Professor at the Department of Informatics, School of Sciences, Aristotle University of Thessaloniki. His academic career spans multiple roles including Associate Professor (2016-2024), Assistant Professor (2008-2016), and Lecturer (2002-2007) at the same institution. Education: Diploma in Electrical and Computer Engineering (1991), Faculty of Engineering, Aristotle University of Thessaloniki. PhD in Electrical and Computer Engineering (1997), Faculty of Engineering, Aristotle University of Thessaloniki. Thesis: «Digital Processing of Multichannel Images and Video». Research Interests: Computer/robot vision, including synthetic and mixed data generation for AI training. Human-centric image/video analysis: facial expression recognition, activity tracking, clustering in 3D data. Applications of computational intelligence in computer graphics and gaming technologies. Multi-view/sparse data analysis for identity detection and label propagation. Scientific Contributions: Co-authored 1 book, 16 book chapters, 73 journal papers, and 208 conference papers. Over 7570 citations (h-index 39) as per Google Scholar. Participated in 29 EU/nationally funded research projects. Organized 2 workshops (EUSIPCO 2019, IROS 2021) and 6 special conference sessions. Professional Roles: Associate/Area Editor: Signal Processing: Image Communication, EURASIP Journal on Image and Video Processing. Former Associate Editor: IET Image Processing. Conference Chair roles: Technical Program Chair (IEEE IVMSP 2013), Publicity Co-Chair (EUSIPCO 2015, IEEE ICIP 2018).