جست‌وجوی استاد و پژوهشگر

Panagiotis Stamatopoulosمشاهده پروفایل

استادیار

• Artificial Intelligence
• Constraint Programming
• Logic Programming
• +۹ مورد دیگر

Panagiotis Stamatopoulos is an Assistant Professor at the Department of Informatics and Telecommunications, National and Kapodistrian University of Athens, where he has been employed since 1993. He holds a PhD in Computer Science (1988) and a Diploma in Physics (1982) from the University of Athens. His research spans artificial intelligence, constraint programming, natural language processing, machine learning, and optimization. Specific interests include: Hybrid approaches combining constraint programming with operations research Natural language understanding for database access Parallel processing and distributed constraint solving Multi-agent systems and web intelligence applications His publications show consistent focus on constraint satisfaction algorithms, text summarization techniques, educational timetabling systems, and AI applications in diverse domains like sports analytics and robotics. Recent works demonstrate increased attention to NLP evaluation metrics and multimodal learning. He has supervised numerous diploma theses and led projects funded by the European Union (EDS, APPLAUSE, PARACHUTE, PARROT), University of Athens, and Olympic Airways. Stamatopoulos teaches undergraduate courses in Introduction to Programming and Logic Programming, plus postgraduate courses in Advanced Artificial Intelligence. He previously taught Artificial Intelligence, System Programming, and Expert Systems.

Apostolos Burnetasمشاهده پروفایل

استاد

• Operations Research
• Adaptive Optimization
• Stochastic Modeling
• +۷ مورد دیگر

Apostolos Burnetas is a Professor of Stochastic Operations Research in the Department of Mathematics at the National and Kapodistrian University of Athens (UOA). He holds a Diploma in Electrical Engineering from the National Technical University of Athens (1986), an MBA (1992), and a Ph.D. in Operations Research (1993) from Rutgers University’s Graduate School of Management. Prior to his current position, he served as an Assistant and Associate Professor at Case Western Reserve University (1994–2004). At UOA, he has held roles as Associate Professor (2003–2012) and full Professor (2012–present). He has also served as Vice-Director and Director of the UOA-Ioannina University joint Biostatistics graduate program (2008–2014). His research focuses on Operations Research, Adaptive Optimization, Stochastic Modeling, and their applications in production/service systems. Notable areas include strategic customer behavior in queueing systems, dynamic pricing, inventory management, and supply chain coordination. He has authored over 60 peer-reviewed articles in journals like Management Science and Operations Research , and organized international conferences in stochastic modeling. His teaching spans Operations Research, Probability, and Stochastic Processes, with graduate courses in Linear Models and Queueing Theory. Burnetas has supervised over 30 master’s theses at UOA and 9 doctoral theses (7 at Case Western Reserve, 2 at UOA). His work emphasizes practical applications, such as optimizing service systems and addressing information asymmetries in supply chains.

• Econometrics
• Time-Series Analysis
• Business Cycles and Growth
• +۷ مورد دیگر

Sophia P. Dimelis is a Professor at the Department of Informatics of Athens University of Economics and Business (AUEB). She holds multiple advanced degrees: BA in Economics (1976) and Political Science (1979), MSc and PhD in Economics from the University of Pittsburgh (1987). She has taught at institutions in Greece and the U.S., including visiting professorships at the University of Indianapolis (2008) and University of Sydney (2010). Her research focuses on econometric analysis applied to business cycles, international trade, energy economics, and FDI effects, with a recent emphasis on ICT and firm productivity. She has led EU research projects (SPES, PHARE, CEPR) and is a principal investigator in numerous studies. Her work appears in top journals like Oxford Economic Papers and World Economy , with over 80 publications including four authored books. She serves as a referee for journals and evaluates EU research programs. Her research explores topics like ISO certification impacts, banking system stability, and the Greek crisis's feedback mechanisms. Education: BA in Economics, Athens School of Economics and Business Science (1976) BA in Political Science, Pantios Superior School of Political Science (1979) MSc and PhD in Economics, University of Pittsburgh, USA (1987) Research Interests: Her work combines advanced econometric methods with applied topics in economic development. Key themes include: Quantifying FDI spillovers in peripheral EU economies ICT adoption's role in firm productivity Inventory behavior in crisis contexts Feedback mechanisms in sovereign debt crises Banking system stability and government policy interactions Grants & Collaborations: Principal investigator in multiple EU-funded projects Researcher at the Institute of Economic Policy Studies (ΙΜΟΠ) International collaborations via visiting professorships Key Contributions: Over 80 peer-reviewed articles, four authored books, and significant policy evaluation roles for the European Commission and Fulbright Foundation. Her recent work highlights digital transformation in public institutions and post-crisis economic resilience strategies.

Anastasios Gounarisمشاهده پروفایل

استاد

• Distributed Databases
• Autonomous data processing
• Big Data Management
• +۷ مورد دیگر

Anastasios Gounaris is a Professor at the Department of Informatics, Aristotle University of Thessaloniki, where he has been a faculty member since April 2008. He previously served as a Visiting Lecturer at the University of Cyprus (2007-2008) and held research positions at the University of Manchester and CERTH. His academic journey includes a PhD from the University of Manchester (2005), an MPhil from UMIST (2002), and a degree in Electrical and Computer Engineering from Aristotle University of Thessaloniki (1999). His research spans Distributed Databases, Autonomous Data Processing, Big Data Management, Workflow Optimization, and Data Mining . He has made significant contributions to large-scale data management systems, massive parallelism techniques, and business process analytics. His work bridges theoretical computer science with practical industrial applications, particularly in predictive maintenance and edge computing environments. His recent publications (2024-2025) demonstrate a strong focus on process mining, anomaly detection, predictive maintenance systems, and edge analytics . These works address critical challenges in handling evolving data streams, optimizing task allocation in resource-constrained environments, and developing parameter-free algorithms for real-world applications. His research shows consistent progression from foundational database systems work to cutting-edge applications in industrial IoT and healthcare analytics. Dr. Gounaris has successfully supervised numerous PhD students to completion, including Athanasios Naskos (2017), Georgia Kougka (2017), Christos Bellas (2022), Theodoros Toliopoulos (2022), Anna-Valentini Michailidou (2023), Ioannis Mavroudopoulos (2024), and Konstantinos Varvoutas (2025). His research has been supported by multiple national and European projects including DataflowOpt, PRECognition, NavGreen, CUREX, Rainbow, Lifechamps, and Trineflex. He is an active member of Datalab (formerly Delab) and has contributed to industry applications through collaborations with companies such as Comidor, Gnomon, Istognosis, Atlantis, AFS, Follow-Apps, Sboing, and Upcom. His work demonstrates a strong commitment to transferring research results to real-world applications while maintaining academic rigor.

Martin Nowackمشاهده پروفایل

پژوهشگر

• Symbolic Execution
• Software Testing
• Program Analysis
• +۳ مورد دیگر

Martin Nowack is a researcher at Imperial College London specializing in symbolic execution and software testing. He has been actively contributing to the field through conference publications and program committee service since 2019. His research focuses on advancing symbolic execution techniques, particularly through the KLEE framework. His work addresses key challenges in making symbolic execution practical for real-world applications, including memory management, handling of floating-point operations, and deterministic state-space exploration. His contributions have appeared in top software engineering venues including ASE, ISSTA, and ECOOP. Dr. Nowack has served in various organizational roles at major conferences, including as Program Committee member for ASE 2024 and ASE 2025, co-chair for KLEE 2024, and session chair for multiple conference tracks. His recent work shows a consistent focus on improving the effectiveness and practicality of symbolic execution for software verification and testing.

• Manufacturing Systems
• Operations Research
• Optimization
• +۶ مورد دیگر

Eirinakis Pavlos is an Associate Professor at the Department of Industrial Management & Technology, University of Piraeus. His affiliations include the Maritime and Industrial Studies school. He specializes in analytical methods in industrial systems and optimization techniques. His research focuses on digital twins, reconfigurable manufacturing systems, and maritime logistics optimization. Pavlos' work integrates advanced technologies like machine learning and cyber-physical systems to enhance industrial processes and supply chain resilience. Research interests span manufacturing systems optimization, energy-efficient robotics, and emissions control in maritime industries. He explores algorithmic solutions for collaborative logistics and mathematical programming under uncertainty. His recent work emphasizes cognitive digital twins for production resilience and modular manufacturing architectures. Publications highlight contributions to digital twin applications, stochastic optimization, and maritime big data analytics. His articles often bridge theoretical optimization frameworks with practical industrial challenges, such as LPG production quality control and cargo loss prevention via AIS-enabled systems. Pavlose@unipi.gr is his official contact. His office is located at 503/Delig. No listed scientific awards or advising students are mentioned in the provided texts.

• Computer Science
• Formal Methods
• Programming Languages
• +۳ مورد دیگر

Thomas A. Henzinger is President and Professor at the Institute of Science and Technology Austria (IST Austria), a position held since 2009. Previously, he served as professor at EPFL (2005-2009) and UC Berkeley (1996-2005), establishing himself as a leading figure in formal methods and system verification. His educational background includes a PhD in Computer Science from Stanford University (1991), an MSc from the University of Colorado Boulder (1989), and a Diplom-Ingenieur from Johannes Kepler University Linz (1988). Henzinger's research centers on formal methods for system design and verification. He develops theoretical frameworks and practical tools for analyzing concurrent, distributed, and cyber-physical systems. Key contributions span model checking, abstraction techniques, quantitative analysis, and real-time system verification, with applications in software engineering and biological modeling. Recent publications (2015-2022) demonstrate sustained innovation in asynchronous programming, distributed algorithms, and robustness analysis. His work bridges theoretical foundations with practical verification challenges, particularly in sequentialization of asynchronous programs, Lipschitz robustness for timed systems, and worst-case execution time analysis. Major scientific recognition includes: ACM Fellow (2001) IEEE Fellow (2001) Wittgenstein Award (2000) Royal Society Milner Award (2014) Henzinger has supervised numerous PhD students at UC Berkeley and EPFL, with research funded by NSF, DARPA, and ERC grants including an Advanced Grant. His leadership extends to program committees of premier conferences like PLDI and POPL. As IST Austria President, he drives strategic initiatives for interdisciplinary research while maintaining active contributions to computer science through publications and community engagement.

• Program Synthesis
• Static Analysis
• Programming Languages
• +۲ مورد دیگر

Kangjing Huang is a researcher at Purdue University specializing in programming languages and software engineering. Their work bridges theoretical foundations with practical tool development in program synthesis. Research focuses on program synthesis methodologies , particularly reconciling enumerative and deductive approaches. Key contributions include: Developing library-based synthesis techniques for practical code generation Creating frameworks for efficient search space navigation Integrating formal verification with synthesis pipelines Publication trends show consistent advancement in automated programming systems from 2020-2022, with growing emphasis on real-world applicability through library integration. Awards and teaching activities are not documented in available sources. Huang actively contributes to the programming languages research ecosystem through publications at premier venues including PLDI and SAS, with work centered on making program synthesis more scalable and practical for developer workflows.

Peter O'Hearnمشاهده پروفایل

استاد

• Separation Logic
• Program Verification
• Static Analysis
• +۵ مورد دیگر

Peter O'Hearn is a Professor of Computer Science at University College London and Research Scientist at Meta AI (FAIR), renowned for co-developing separation logic which bridges theoretical computer science and industrial-scale program analysis. His dual affiliation exemplifies the synergy between academic research and practical tool development that characterizes his career. His research interests focus on program verification , separation logic , static analysis , and his recent groundbreaking work on incorrectness logic as a complementary approach to traditional verification. O'Hearn pioneered the concept of local reasoning which enables modular verification of large codebases by focusing only on relevant memory regions, forming the theoretical foundation for Facebook Infer. His publications reveal a consistent trajectory from foundational theory to industrial application, with recent work emphasizing Scalable verification for million-line codebases Compositional reasoning for concurrent systems Practical deployment of formal methods in developer workflows Bug-oriented reasoning through incorrectness logic His research consistently addresses the tension between theoretical soundness and practical applicability in program analysis. Notable scientific awards include: 2021 IEEE Cybersecurity Award for Practice 2016 Gödel Prize for separation logic 2016 CAV Award for outstanding contributions POPL 2019 Most Influential Paper Award Fellow of the Royal Society (FRS) Fellow of the Royal Academy of Engineering (FREng) O'Hearn has made substantial contributions to industrial practice through Facebook Infer, which analyzes millions of lines of code daily across Meta's codebase. His work on continuous reasoning integrates formal verification into developer workflows, while his recent focus on incorrectness logic addresses the critical need for effective bug detection in large systems. He maintains active leadership in the programming languages community through conference organization and keynotes.

Xiaokang Qiuمشاهده پروفایل

دانشیار

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

Xiaokang Qiu serves as Associate Professor in Purdue University's Elmore Family School of Electrical and Computer Engineering, specializing in Programming Languages and Software Engineering with core expertise in program verification, program synthesis, and automated deduction. His research establishes critical bridges between enumerative and deductive synthesis methodologies, developing novel frameworks for verified program generation. Key contributions include string transformation synthesis with concurrency guarantees, bit-vector manipulation optimization via syntax-guided enumeration, and network design automation through comparative learning techniques. This work consistently advances formal verification foundations while addressing practical software engineering challenges. Publication trends from 2017-2025 reveal escalating complexity in synthesis targets—from basic data-structure manipulations to concurrent string operations and network configurations. His approach increasingly integrates machine learning elements with formal methods, demonstrating how query-based learning can drive near-optimal system design while maintaining provable correctness guarantees across diverse computational domains.

Abhik Roychoudhuryمشاهده پروفایل

استاد

• Program Analysis
• Software Testing
• Software Security
• +۵ مورد دیگر

Abhik Roychoudhury is a Provost's Chair Professor of Computer Science at the National University of Singapore (NUS), where he has been working since 2001. He serves as the Editor-in-Chief of ACM Transactions on Software Engineering and Methodology (TOSEM) and chairs the FSE Steering Committee. Professor Roychoudhury leads the TSUNAMi center, a five-year research effort funded by the National Research Foundation in trust-worthy software, and is the Lead Principal Investigator of the Singapore Cyber-security Consortium. Professor Roychoudhury received his Ph.D. in Computer Science from the State University of New York at Stony Brook in 2000. His academic journey has been primarily at NUS, where he has built a distinguished career in software engineering research. His research focuses on software testing and analysis, software security, and trust-worthy software construction. Professor Roychoudhury's research group has developed scalable techniques for testing, debugging, and repair of programs using systematic semantic analysis. His work on automatic program repair has been particularly influential, contributing to the vision of self-healing software. Current research directions include integrating large language models with traditional program analysis techniques for autonomous software engineering, as exemplified by the AutoCodeRover project. Professor Roychoudhury's recent publications demonstrate a strong focus on automated program repair, with increasing integration of large language models and AI techniques. His work spans both theoretical foundations and practical applications, with numerous contributions to top software engineering conferences. The research shows a clear trajectory toward more autonomous software engineering systems that can understand code intent, generate repairs, and verify their correctness. IEEE TCSE New Directions Award (2022) ICSE 2023 Most Influential Paper Award ACM Distinguished Speaker (2013-2019) Fellow of the ACM Professor Roychoudhury has successfully mentored numerous Ph.D. students who have gone on to academic positions at prestigious institutions worldwide, including University College London, Max-Planck Institute, and University of Melbourne. His research is supported by significant grants, including a five-year program on Automated Program Repair at NUS funded by the National Research Foundation, and collaborations with industry partners through the Singapore Cyber-security Consortium. The TSUNAMi center represents a major research initiative with substantial funding for trust-worthy software research. Professor Roychoudhury leads an active research group focused on software analysis and repair. The group has developed several notable systems including AutoCodeRover, an autonomous software engineer that can resolve GitHub issues with minimal LLM cost. The group collaborates extensively with industry, as evidenced by the recent acquisition of AutoCodeRover by Sonar. Current research directions include next-generation fuzzing of stateful systems and the integration of AI techniques with formal methods for more reliable software.

• grammatical description of language(s)
• syntactic theory
• generative syntax
• +۵ مورد دیگر

George Kotzoglou serves as Associate Professor of Linguistics at the Department of Mediterranean Studies, University of the Aegean. He has previously taught at the University of Reading, University of Crete, Democritus University of Thrace, and University of Athens. Education: BA in Philology, University of Athens MA in Linguistics, University of Reading PhD in Linguistics, University of Reading Research Interests: Kotzoglou specializes in syntactic theory, particularly generative syntax and morphosyntax of Mediterranean languages. His work addresses clitics, locality restrictions, subject positions, and finiteness in Greek, contributing to broader linguistic theory. Publication Trends: His publications (2020-2004) consistently analyze Greek syntax, focusing on inversion, control, ECM, and clitic phenomena. These studies often connect empirical data from Greek to universal syntactic principles, appearing in top linguistics venues. Research Projects: He contributed to the 'Education of Foreign and Repatriate Students' project at Aristotle University of Thessaloniki and the 'Polycentricity' program at the University of the Aegean, addressing linguistic diversity in education.

• Artificial Intelligence
• Knowledge Representation and Reasoning
• Constraint Satisfaction
• +۹ مورد دیگر

Koumbarakis Manolis is a Professor at the Department of Informatics and Telecommunications, National and Kapodistrian University of Athens, serving since April 2011. His prior positions include Associate Professor at the same university (2005–2011), Assistant/Associate Professor at the Technical University of Crete (1999–2005), Lecturer at the University of Manchester (1995–1998), and Research Associate at Imperial College London (1993–1995). Education: PhD in Computer Science (1994), National and Kapodistrian University of Athens MSc in Computer Science (1988), University of Toronto BA in Mathematics (1986), University of Crete Research Interests: His work spans artificial intelligence (knowledge representation, reasoning, constraint satisfaction), distributed systems (P2P networks, cloud computing), web technologies (semantic web, information retrieval, web services), and databases (temporal, spatial, and constraint databases). Teaching: He instructs courses including Artificial Intelligence I, Artificial Intelligence II (focused on Deep Machine Learning for NLP), and Data Structures and Programming Techniques.

• Applied Macroeconomics
• Economic Growth
• Productivity Analysis
• +۱ مورد دیگر

Sotiris Papaioannou is an Assistant Professor in the Department of Economics at the University of Patras, focusing on applied macroeconomics, productivity analysis, and EU economic integration. His research examines regulatory impacts on productivity, technology diffusion, and regional economic performance. Publications demonstrate expertise in productivity measurement, with investigations into ICT efficiency comparisons (2011), EU service liberalization (2018), and human capital effects on technical inefficiency (2014). Recent work explores fiscal policy cyclicality (2019) and monetary integration effects (2021), employing industry-level and cross-country empirical approaches. Education includes a Ph.D. from Athens University of Economics and Business (2007) in the ICT-productivity nexus. He maintains office hours weekly for student consultation and has participated in international conferences including ASSET and CRETE.

Omiros Ragosمشاهده پروفایل

دانشیار

• Computational Mathematics
• Dynamical Systems
• Special Functions
• +۵ مورد دیگر

Omiros Ragos is an Associate Professor at the Department of Mathematics , University of Patras , specializing in Computational Mathematics and Informatics. His research spans celestial mechanics , nonlinear dynamics , and numerical methods for differential equations and special functions. He teaches undergraduate courses in Object-Oriented Programming (C++) , Mathematical Foundations of Computation , and postgraduate courses in Databases and Data Mining as part of the MSc in Computational and Analytical Statistics in Data Science. Education : Ph.D. in Mathematics (1989, University of Patras) B.Sc. in Mathematics (1980, University of Patras) Research Contributions : Developed numerical algorithms for equilibrium point computation in dynamical systems Advanced computational methods for Bessel and Airy functions Explored Yukawa-type gravitational corrections in satellite dynamics Analyzed periodic orbits in photogravitational restricted three-body problems Software Development : Co-developer of RFSFNS and ZEBEC packages for root-finding in special functions Recent Publications : 2013: Studied logarithmic gravitational potential corrections 2012: Analyzed Dvali-Gabadadze-Porrati gravity effects 2011: Investigated Yukawa potential impacts on radar signals and celestial periods