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

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.

Christos Katsanosمشاهده پروفایل

استادیار

• Human-Computer Interaction
• Human-Robot Interaction
• Web Science
• +۵ مورد دیگر

Christos Katsanos is an Assistant Professor of Human-Computer Interaction at the Department of Informatics, School of Sciences, Aristotle University of Thessaloniki since 2018. He also holds adjunct professor positions at Hellenic Open University (2011-2012, 2014-present), University of Patras (2017-2018), Open University of Cyprus (2016-2018), and previously at Technological Educational Institute of Western Greece (2011-2018) and Technological Educational Institute of Western Macedonia (2005-2010). His research spans multiple domains of interactive systems with a strong focus on user-centered design methodologies. Education: 2010: Doctor of Philosophy (PhD) in Human-Computer Interaction, Department of Electrical and Computer Engineering, Polytechnic School, University of Patras 2004: Diploma (Master of Engineering degree) in Electrical and Computer Engineering, Department of Electrical and Computer Engineering, University of Patras 1999: Certificate of Secondary Education, 3ο General High School of Kozani, 19.6/20 Dr. Katsanos' research interests center on Human-Computer Interaction (HCI) and Human-Robot Interaction (HRI), with significant contributions to web science, web accessibility, educational technologies, and methods for designing and evaluating interactive software systems. His work often bridges theoretical cognitive models with practical applications, particularly in information architecture and user experience evaluation. He has developed several tools for automated website evaluation based on information foraging theory and semantic analysis. His publication record shows a consistent trajectory from foundational work on information scent and web navigation (2004-2010) through to more recent work on stress detection using physiological signals, HRI in agricultural robotics, and personality factors in UX evaluation. The research demonstrates an evolution from purely web-based interaction to broader interactive systems including robotics and mobile applications, while maintaining a strong methodological focus on evaluation techniques. As an educator and advisor , Dr. Katsanos has supervised numerous undergraduate, master's, and doctoral students on topics related to web accessibility, user experience design, information architecture, and educational technologies. His teaching portfolio includes courses on Human-Computer Interaction, Quality Assurance of Software Systems, and Interactive Mobile Applications. His administrative service includes membership in various departmental committees at Aristotle University of Thessaloniki, including selection committees for postgraduate students and doctoral candidates, as well as the General Assembly of the Department. He has also served on evaluation committees for research projects.

Yannis Smaragdakisمشاهده پروفایل

استاد

• Programming Languages
• Software Engineering
• Static Program Analysis
• +۵ مورد دیگر

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

Konstantinos Voudourisمشاهده پروفایل

استاد

• Wireless Communications
• 5G/6G Networks
• Millimeter Wave Technology
• +۴ مورد دیگر

Konstantinos Voudouris is a full Professor in the Department of Electrical and Electronics Engineering at the University of West Attica, Athens, Greece. Previously, he served as a full Professor at the Higher Colleges of Technology in Abu Dhabi (2015-2018) and as a Professor at the Technological Institute of Athens (2004-2015). His career spans academia, industry, and government, including roles as telecoms expert at OTE, technical advisor to the Greek Ministry of Transports and Telecommunications, and Embassy Counsellor to the EU for Telecommunications. Education: PhD in Wireless Telecommunication Systems, University of Bradford, UK Professor Voudouris's research focuses on wireless communications with emphasis on 5G/6G networks, millimeter-wave technology, antenna design, and relay networks. His work includes developing relay stations for WiMAX networks, 60 GHz transceivers, and RF energy harvesting systems. He has led significant projects such as the FP7 ICT REWIND project (5.5M€) and the WiCEAR group in the NexGenMiliwave project, demonstrating expertise in both theoretical and applied telecommunications engineering. His publication record (2024-2014) reveals consistent innovation in wireless power transfer, antenna array optimization, substrate integrated waveguide technology, and green RF solutions for mobile networks. Key trends include reducing mutual coupling in antenna arrays, enhancing industrial wireless sensor networks through distributed fusion, and developing sustainable energy harvesting techniques for 5G infrastructure. No scientific awards are listed in the provided documentation. Professor Voudouris has supervised numerous diploma and PhD theses while coordinating major research initiatives including the FP7 ICT REWIND project. He serves on the University of West Attica Quality Assurance Committee and has held significant administrative roles including chairing the Promotions Committee at HCT, coordinating the ERASMUS program, and managing the internship office for the Electronic Engineering Department. He leads the WiCEAR research group and has developed electromagnetic wave transmission prediction software to enhance laboratory instruction for electronic engineering students, demonstrating commitment to both research innovation and educational advancement.

• Dependability and Security of Digital Systems
• Machine Learning and AI Algorithms
• Accelerator Design for AI
• +۴ مورد دیگر

Ioannis Voyiatzis is a Professor and Head of the Department of Informatics and Computer Engineering at the University of West Attica, Greece. He directs the Computing and Embedded Systems Technology, Internet of Things and Optimization (CESIO) lab. His research focuses on dependability/security of digital systems, AI/ML algorithms, UAVs, and blockchain. He has authored over 120 publications and participated in EU/Government-funded projects. His educational contributions include serious games for informatics and blockchain-based smart city frameworks. Despite no listed awards, his work spans cybersecurity tools, UAV communication systems, and adaptive learning systems. Education: BSc/MSc from National Kapodistrian University of Athens, PhD in Computing. Research interests bridge hardware-software systems (e.g., FPGA architectures for UAV security) and educational technology (e.g., AR/VR in nursing training). Recent publications emphasize drone hardware selection, aggression prediction in dementia patients, and AI-driven personalized education. Active in EU projects, his lab develops IoT seismic monitoring systems and photovoltaic fault detection algorithms.

Polychronis Spanoudakisمشاهده پروفایل

پژوهشگر

• Advanced transmission systems
• Energy management systems for zero emission vehicles
• Vehicle design and development
• +۵ مورد دیگر

Polychronis Spanoudakis is a Researcher at the School of Production Engineering and Management, Technical University of Crete (TUC). He specializes in mechanical and aeronautical engineering, with a focus on advanced vehicle systems, energy management, and manufacturing optimization. His work includes developing zero-emission vehicles, unmanned systems, and innovative transmission technologies. Education: Diploma in Mechanical and Aeronautical Engineering (University of Patras, 2001) M.Sc. and Ph.D. in Production Engineering and Management (TUC, 2003 and 2013) Research Interests: Spanoudakis’s research integrates structural analysis, vehicle design, and energy efficiency. He leads projects like TUC Eco Racing (zero-emission prototypes) and Daedalus (electric motorcycles), emphasizing sustainability and innovation. His work spans transmission systems, crash analysis, and unmanned vehicle development. Key Achievements: EURON Robotic Technology Transfer Award (2009) TUC Excellence in Teaching Award (2018) Multiple Shell Eco Marathon awards (2010–2017) Grants & Projects: Coordinated over 20 European/national projects, including roles as technical manager and project director. Current projects focus on digital twin applications and eco-vehicle development. Labs: Active in the Production Systems Laboratory and Machine Tools Laboratory, advancing manufacturing and vehicle systems through interdisciplinary collaboration.

• Automotive Engineering
• Energy Systems
• Mechanical Design
• +۳ مورد دیگر

Spanoudakis Polychronis is a Laboratory Teaching Staff member at the School of Production Engineering and Management, Technical University of Crete. He is affiliated with the Machine Tools Laboratory (DIERGA) and holds an office at Δ4.003 in the DPEM Building. His research focuses on automotive engineering, energy systems, and STEM education, with a particular emphasis on electric vehicle design, transmission systems, and structural analysis. His work spans experimental studies on electric vehicle efficiency, digital twin technology applications, and material selection for lightweight vehicles. He also contributes to educational advancements in STEM through tools like HYDRA 2.0. Recent studies include optimization of gear ratios, battery management in hybrid systems, and safety components in vehicle design. Polychronis has explored unmanned systems (e.g., surface vehicles) and manufacturing processes involving advanced materials like titanium alloys. His publications reflect a blend of theoretical and applied research in sustainable transportation and industrial engineering.

Sakkopoulos Evangelosمشاهده پروفایل

دانشیار

• Personalized Software Technology
• Machine Learning
• Data Mining
• +۹ مورد دیگر

Evangelos Sakkopoulos is an Associate Professor at the Department of Informatics, University of Piraeus. He holds a PhD from the Department of Mechanical Engineering and Informatics at the University of Patras. His research interests include personalized software technology, mobile programming, web systems, and their applications in education, healthcare, maritime safety, and legal informatics. He has over 60 international publications and actively participates in EU technical committees for internal affairs regulations. His teaching portfolio includes postgraduate courses on Software Technology and undergraduate programming subjects like Java. Education PhD in Mechanical Engineering and Informatics from the Patras University of Technology (University of Patras Polytechnic). Research Interests Evangelos focuses on interdisciplinary research in: AI-driven cultural e-learning (e.g., LYRICEL system for song lyrics analysis). Privacy-preserving data mining techniques, including frequent itemset hiding and database anonymization. Mobile and web-based systems for healthcare monitoring (Care@HOME), maritime surveillance (Mobile Data Fusion), and government services (Olympus architecture). Natural Language Processing for legislative documents and low-resource languages. Personalized identity management solutions and secure digital service frameworks. Articles Trends Recent publications emphasize AI in education, privacy-protecting data algorithms, and mobile/web systems for critical sectors like healthcare and maritime safety. His work addresses challenges in legal informatics, cultural preservation, and EU digital standardization. Awards No scientific awards explicitly mentioned in the provided texts. Advising & Grants Evangelos has collaborated in European and national research programs, including projects on: Ethnicity/naturalization process digitalization (Greek Citizenship Test). Healthcare personnel rostering solutions. Cultural artifact damage assessment systems (Data Engineering for Materials Identification). Labs & Teams He contributes to the MODIP Quality Assurance Unit and participates in research teams developing systems like HappyCruise for maritime safety and OLYMPUS for secure digital identity management.

Chrysafiadi Konstantinaمشاهده پروفایل

استادیار

• Fuzzy Logic
• Artificial Intelligence
• Educational Technology
• +۵ مورد دیگر

Chrysafiadi Konstantina is an Assistant Professor in the Department of Informatics at the University of Piraeus's School of Information and Communication Technologies. Her work bridges fuzzy logic, artificial intelligence, and educational technology to develop adaptive systems for diverse applications. Research Interests: Her primary focus includes fuzzy logic-driven personalization, intelligent tutoring systems, and machine learning applications in education and safety. Key areas are: Design of adaptive educational games and e-learning platforms AI-enhanced cultural analysis using large language models Smart home safety systems with fuzzy-based emergency alerts Personalized recommendation engines for tourism and entertainment Publication Trends: Recent work (2023-2025) demonstrates extensive use of fuzzy logic combined with machine learning to create context-aware systems. Dominant themes include personalized education (e.g., programming tutors, adaptive quizzes), cultural heritage analysis (e.g., song/poem interpretation with GPT), and safety solutions (e.g., fire prevention in smart homes).

• Machine Learning
• Data Mining
• Evolutionary Computation
• +۴ مورد دیگر

Sotiropoulos Dionisios is an Assistant Professor at the Department of Informatics, University of Piraeus. His research focuses on bio-inspired computing and machine learning methodologies, with a specific emphasis on social media analysis. He has held postdoctoral positions at the Athens University of Economics and Business (Department of Management Science and Technology) and serves as a visiting researcher at the Norwich Business School, University of East Anglia. He is a member of the SocioMine research group. Education: PhD in Informatics (2011), University of Piraeus; BSc in Informatics (2003), University of Piraeus His research spans Machine Learning , Data Mining , Evolutionary Computation , Signal Processing , and Intelligent Software Systems . Recent work explores hybrid AI architectures combining knowledge graphs and large language models for cultural analytics, boundary-aware classification, and transparent financial modeling using genetic programming. His publications reveal trends in applying machine learning to social media analytics, healthcare diagnostics, cryptocurrency trading, and cultural domains like music and political speech. Key methodologies include LSTM networks , artificial immune systems , BERT models , and reinforcement learning . As part of the SocioMine research group , he develops user modeling techniques for personalized recommendation systems and investigates opinion formation dynamics in social networks.

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

دانشیار

• Databases
• Artificial Intelligence
• Software Engineering
• +۶ مورد دیگر

Nikolaos Papadakis is an Associate Professor at the Department of Electrical and Computer Engineering of the Hellenic Mediterranean University (HMU). He holds additional roles including Vice President of the Department of Social Work at HMU and Head of the Telecommunication and Informatic Technology team at the same department. His academic journey includes a BSc in Computer Science from the University of Cyprus (1997), an MSc from the University of Crete (1999), and a PhD in Computer Science from the University of Crete (2004). Prior to HMU, he held visiting professorships at the University of Crete, Technical University of Crete, and Technological Educational Institute of Crete, alongside research contributions at FORTH from 1997-2006. His research focuses on Databases and Knowledge Representation Artificial Intelligence Applications Semantic Web Technologies Software Engineering Methodologies Distributed Algorithms and Communication Protocols Renewable Energy Systems (wind, solar, energy efficiency) Notable projects include the SAVE initiative for net-zero sports facilities and studies on wind turbine blade optimization. His work bridges theoretical computer science with applied engineering solutions. Recent publications emphasize sustainable energy systems, composite material analysis, and quantum optics technologies. He maintains active collaborations in interdisciplinary areas such as epidemiological data modeling and space optical systems development. His career trajectory includes tenure at the Technological Educational Institute of Crete (2009-2019), reflecting a consistent commitment to academic innovation and applied research. Current research continues to explore emerging trends in renewable energy integration and advanced material science.

Constantinos Patsakisمشاهده پروفایل

دانشیار

• Cryptography
• Security
• Privacy
• +۴ مورد دیگر

Constantinos Patsakis is an Associate Professor at the Department of Informatics, University of Piraeus, and an adjunct researcher at the Institute for the Management of Information Systems (IMIS) of Athena Research and Innovation Centre. He holds a Mathematics degree from the University of Athens, an M.Sc. in Information Security from Royal Holloway, University of London, and a PhD in Security from the University of Piraeus. Previously, he worked as a Researcher at the UNESCO Chair in Data Privacy at Rovira i Virgili University, a Research Fellow at Trinity College Dublin, and a Senior Researcher at the Luxembourg Institute of Science and Technology. His primary research areas include cryptography, security, privacy, data anonymization, malware analysis, and blockchain technology. With over 190 publications to his name, his work spans from theoretical security frameworks to practical applications in digital forensics and malware detection. He has contributed significantly to the development of datasets for security research, including the Malicious MS Office documents dataset, Social Live Streaming Service Grooming dataset, and the HYDRA dataset for Domain Generation Algorithm research. His recent publications (2024-2025) reveal a strong focus on emerging security challenges, with particular emphasis on LLM applications in security analysis, novel malware detection techniques, privacy-preserving protocols, and blockchain security. His work bridges academic research with practical security solutions, addressing both technical and human aspects of cybersecurity. As an editor for journals including Computers and Security, International Journal of Information Security, Scientific Reports, and Blockchain: Research and Applications, he plays a significant role in shaping the discourse in his field. He currently teaches undergraduate courses in Information & Code theory, Security Governance, Introduction to Computer Science, and Cryptography, as well as graduate courses in Digital Forensics & Malware Analysis, Cryptographic protocols, and Blockchain development. Principal Investigator for ALUNA (ISFP-2021-AG-CYBER) Coordinator for LAZARUS (HORIZON-CL3-2021-CS-01) Principal Investigator for Cut the Cord (ISFP-2020-AG-CYBER) Principal Investigator for HEROES (H2020-FCT-01-2020) His research group actively contributes to multiple EU-funded projects addressing critical cybersecurity challenges, with a particular focus on digital forensics, blockchain security, and privacy-preserving technologies. The team maintains strong collaborations with international institutions and industry partners, ensuring their research has real-world impact.

Dimitrios Tsolakisمشاهده پروفایل

پژوهشگر

• Big Data
• Computational Intelligence
• Data Analysis
• +۴ مورد دیگر

Dimitrios Tsolakis is a postdoctoral researcher at the Department of Cultural Technology and Communication, University of the Aegean. His roles combine academic research with professional expertise in informatics systems and software. He has worked as a system operator for the mainframe hardware and software of the Central Bank of Greece since 2017, alongside his research activities. His professional background includes twelve years at Quality and Reliability S.A., where he contributed to government IT projects and authored development artifacts such as requirements, design documents, code, and test cases. Education: PhD in Cultural Technology and Communication from University of the Aegean Master of Cultural Informatics from University of the Aegean Master of International Business Administration from Guglielmo Marconi University Research Interests: Focuses on machine learning applications for data analysis, including clustering and classification methods for digital image processing. Explores neural networks, knowledge representation, and computational intelligence in cultural and technological contexts. His academic work emphasizes formulating project goals, researching methodologies, and generating publishable reports. While no specific awards are mentioned, his contributions to both industry and academia highlight his technical and analytical prowess. He has no recorded advisees, but his professional experience spans full project lifecycle management, data preprocessing, and system development. Personal details include residing in Athens and having a daughter named Fotini.