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

Nadia Polikarpova is an Associate Professor in the Computer Science and Engineering Department at the University of California, San Diego. She leads the Programming Systems group and serves as a member of IFIP Working Group 2.8 on Functional Programming since 2022. Her academic journey includes a PhD from ETH Zurich (Switzerland) under Bertrand Meyer's supervision in 2014, followed by postdoctoral work at MIT CSAIL with Armando Solar-Lezama. Her research interests center around program synthesis, program verification, and type systems, with a focus on building practical tools that enhance software security and reliability. Polikarpova's work bridges theoretical foundations with real-world applications, particularly in the emerging area of AI-assisted programming. Her recent publications demonstrate a strong trajectory in program synthesis techniques, with increasing integration of machine learning approaches. The research spans from foundational type-driven synthesis methods to practical applications for validating AI-generated code and synthesizing heap-manipulating programs. Her work frequently appears in top-tier programming languages venues including PLDI, POPL, ICFP, and OOPSLA. 2020 Sloan Fellow 2020 Intel Rising Stars Award 2020 NSF CAREER Award Distinguished paper awards at PLDI'21, ICFP'20, and POPL'19 Best paper award at FM'15 Polikarpova actively mentors PhD students and has advised numerous graduates who now work at Microsoft Research, University of Michigan, and various tech companies. She teaches core programming languages courses including CSE 130 and specialized graduate courses on program synthesis (CSE 291). Her service to the community includes program committee roles for major conferences and co-chairing the Haskell conference in 2022.

• Program Synthesis
• Program Verification
• Type Systems
• +۲ مورد دیگر

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

• Software Engineering
• Programming Languages
• Formal Methods
• +۳ مورد دیگر

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

• Entity Resolution
• Record Linkage
• Privacy-Preserving Record Linkage
• +۳ مورد دیگر

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

• Technical Debt
• Reverse Engineering
• Software Maintainability
• +۵ مورد دیگر

Partarakis Nikolaos serves as an Assistant Professor in the Department of Applied Informatics at the University of Macedonia. His teaching responsibilities include core courses such as Data Structures (AIC205), Human-Computer Interaction (AIC401), and Multimedia Technologies & Graphics (CSE706). His research program pioneers human-centered computing across intelligent environments and immersive technologies, with emphasis on inclusive design and real-world applicability. Key thematic areas include: Interaction in Intelligent Environments Novel HCI approaches and tools User Experience Design, Methods and Tools e-Accessibility, Design for All and Universal Access Representation of tangible/intangible Cultural Heritage X-Reality continuum interaction Adaptive User Interfaces With 11 books, 49 journal articles, and 39 conference publications, his scholarly output demonstrates sustained contributions to HCI theory and practice, particularly in accessibility frameworks and XR interface innovation. The publication trajectory reveals growing emphasis on cultural heritage digitization and motion-understanding systems since 2020.

• Interaction in Intelligent Environments
• Novel HCI approaches and tools
• User Experience Design, Methods and Tools
• +۷ مورد دیگر

Dr. Maira Kotsovoulou serves as Assistant Professor in the Department of Information Technology at Deree College and Graduate School, The American College of Greece, a position she has held since February 1, 1996. Her academic journey spans over 25 years of teaching and research in software systems and educational technology. Educational background includes: Doctorate in Technology Enhanced Learning, University of Lancaster (2011–2019) MSc in Human Computer Interaction, Heriot-Watt University (1994–1995) BSc in Computer Information Systems, The American College of Greece (1990–1994) Her research centers on the Software Systems and Databases Research Group, where she investigates visual programming applications for undergraduate education, automated assessment tools, and database optimization techniques. This work bridges theoretical computer science with practical pedagogy, focusing on how technology enhances student motivation and learning outcomes in programming courses. Her methodology combines empirical classroom studies with software development expertise gained through industry projects. Recent publications (2013–2018) reveal an evolving focus from collaborative resource tagging to sophisticated e-assessment systems, consistently addressing challenges in computer science education. The trajectory demonstrates increasing sophistication in analyzing instructor experiences and student perceptions while maintaining practical applicability in real classroom settings. Professional recognition includes: Oracle Certified Professional (OCP) in Database Administration Her industry engagement as a freelance solution architect complements academic work, with notable projects including Greece's national e-prescription system (IDIKA), COSMOTE retail software, and medical decision support systems. This dual expertise creates unique opportunities for students to engage with both academic research and enterprise-scale development challenges. As leader of the Software Systems and Databases Research Group, she fosters collaboration between academic theory and industry practice, emphasizing agile methodologies and practical implementation of educational technologies in real-world software development contexts.

• Software Systems
• Databases
• Technology Enhanced Learning
• +۵ مورد دیگر

Michael Kalogerakis serves as an Associate Professor in the Department of Electrical and Computer Engineering, School of Engineering, at the Hellenic Mediterranean University (HMU). He concurrently holds research positions at HMU's Laboratory of Artificial Intelligence and Systems Engineering and Institute of Energy, Environment and Climate Change, and collaborates with IACM/FORTH's Wave Propagation Group. His academic background includes: B.Sc. in Mathematics, University of Crete M.Sc. and Ph.D. in Mathematics and Computer Science, Clarkson University, USA (dissertation 'Linear Solvers on Multiprocessor Machines' archived by U.S. DOE) Research focuses on usability engineering , human-machine interaction , agile development , and wave propagation , with applied outcomes like the Hellenic Navy's underwater acoustic detection system for frigates/submarines. His work bridges theoretical computational methods and defense applications. Over 25 years, he participated in major programs (DAMOCLES-IP, ESPRIT, FP6, MAST, Archimedes), authored class notes for Patras/Crete/HMU courses, and supervised student projects in computational mathematics and software engineering. He actively contributes to HMU's Laboratory of Artificial Intelligence and Systems Engineering, the Institute of Energy/Environment/Climate Change, and IACM/FORTH's Wave Propagation Group, driving interdisciplinary research in energy systems and computational mathematics.

• usability engineering
• human-machine interaction
• agile software development methods
• +۱ مورد دیگر

Demosthenes Akoumianakis serves as Professor in the Department of Electrical and Computer Engineering (ECE) at the School of Engineering, Hellenic Mediterranean University (HMU), Crete, Greece, and has been Scientific Responsible of the iSTLab research group since 2006. He holds a BA (Hons) in Computing in Business (1990) from the University of Huddersfield, UK, and MSc (1995) and PhD (1999) degrees in Human-Computer Interaction from the University of Kent at Canterbury, UK. His research spans Human-Computer Interaction, Collaborative Technologies, and Database Systems, with significant contributions to virtual communities and social interactive technologies. His work appears in top-tier journals including Human Computer Interaction , International Journal of Human Computer Interaction , and ACM/IEEE conference proceedings, reflecting expertise in digital interfaces and collaborative systems. His scientific awards include: The High School Graduate’s award from the Municipality of Heraklion, Crete (1984) 1st IBM Prize for Final year Dissertation, University of Huddersfield (1990) Prof. Akoumianakis has supervised 10 master's theses at HMU and three PhD graduates across the Hellenic Open University and KU Leuven. He has held key administrative roles including Head of Applied Informatics & Multimedia Department (2007-2009) and Director of the 'Informatics & Multimedia' postgraduate program (2012-2014). He leads the iSTLab research group at HMU and previously directed the Latice laboratory (2015-2019), focusing on collaborative computing and information systems development.

• Human-Computer Interaction
• Collaborative Technologies
• Database Systems
• +۲ مورد دیگر

Konstantinos Koukouletsos serves as a Professor within the Department of Computer Engineering in the School of Engineering at the University of West Attica, where he contributes to academic leadership and research innovation in computer engineering disciplines. His educational foundation includes: Bachelor of Arts in Mathematics, Kapodistrian University of Athens (1977) Master of Science in Operations Research, Loughborough University, UK (1978) Doctor of Philosophy in Web Design and Patterns, Sheffield Hallam University, UK (2008) Professor Koukouletsos' research spans Human-Computer Interaction with specialized focus on Special Education applications, where he pioneers the integration of Usability Standards to enhance accessibility. His work extends to Information Systems Modeling and Neural Network Applications, demonstrating how computational methods can solve complex educational and systemic challenges through interdisciplinary approaches. His publication record exceeds 25 papers in international and Greek scientific journals and conferences, reflecting consistent contributions to human-centered computing and educational technology fields with emphasis on practical implementations of theoretical frameworks.

• Human-Computer Interaction
• Special Education
• Usability Standards
• +۲ مورد دیگر