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

Andreas Papasalourosمشاهده پروفایل

دانشیار

• Educational Technology
• Adaptive Hypermedia
• Ontology Engineering
• +۳ مورد دیگر

Andreas Papasalouros is an Associate Professor at the Department of Mathematics, University of the Aegean. He holds a Ph.D. in Engineering from NTUA (2004), a Diploma in Electrical and Computer Engineering (2000), and a BSc in Physics (1992). His research focuses on Educational Technology , Adaptive Hypermedia , and Ontology Engineering . Education Ph.D. in Mechanics, School of Electrical and Computer Engineering, NTUA (2004) Diploma in Electrical and Computer Engineering, NTUA (2000) BSc in Physics, National and Kapodistrian University of Athens (1992) Research Interests Papasalouros's work centers on leveraging UML and Ontologies for designing Educational Software . He explores Automated Assessment systems, Accessibility solutions (e.g., TeX-to-Braille), and Mobile Learning applications. His studies often intersect with Collaborative Learning and Semantic Web technologies. Key Contributions His publications span Adaptive Hypermedia , Ontology-Driven Learning , and Accessibility Tools . Notable works include Ob-AHEM (2002), Grid4All Ontology (2008), and TeX-to-Braille Transcribing (2017). Recent trends emphasize Game-Based Learning and Query Log Analysis for ontology creation. Courses Taught New Technologies in Education (3rd semester) Introduction to Computer Science (2nd semester) Advanced Programming Languages (6th semester) Postgraduate Course in New Technologies in Education

• Programming Languages
• Semantics
• Type Systems
• +۵ مورد دیگر

Nikolaos S. Papaspyrou is a Professor at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA), affiliated with the Software Engineering Laboratory and the Division of Computer Science. His research focuses on programming languages, compilers, formal verification, and concurrency. Since October 2021, he has been on leave from NTUA while working as a Software Engineer at Google's V8 JavaScript and WebAssembly engine team. Previously, he served as Director of the Division of Computer Science (2017–2019) and held a sabbatical at Google's Munich compiler group (2015–2016). His academic contributions include pioneering work on Erlang/OTP scalability, concolic testing for functional languages, and static analysis techniques. He has authored numerous publications in top venues like ACM Transactions on Programming Languages and Systems and IEEE conferences. Papaspyrou has supervised over 50 diploma students and multiple PhD candidates, contributing to the education of future researchers and engineers. He actively participates in programming competitions, coaching Greek Olympiad teams, and volunteers in the Hellenic Informatics Society. He teaches advanced courses on programming languages, compilers, and software engineering at NTUA, emphasizing practical applications of theoretical concepts. His educational philosophy integrates problem-solving through programming, as highlighted in his FedCSIS 2013 paper on teaching methodologies.

Anna Pappaمشاهده پروفایل

استاد پژوهشی

• Quantum Cryptography
• Quantum Communication
• Secure Multi-Party Computation
• +۳ مورد دیگر

Anna Pappa is an Emmy Noether Group Leader at the Electrical Engineering and Computer Science Department of Technical University Berlin, leading the Quantum Communication and Cryptography group funded by DFG since 2020. Previously, she held Marie Sklodowska-Curie Fellowships at the Dahlem Center for Complex Quantum Systems (Freie Universität Berlin) and University College London (UCL). Her research focuses on quantum protocols with provable security in realistic environments, quantum communication, cryptography, and secure multi-party computation. She has a PhD from Télécom Paristech and Paris Diderot, and earlier degrees from the National Technical University of Athens (NTUA). Key achievements include experimental plug-and-play quantum coin flipping, quantum network routing algorithms, and entanglement verification techniques resistant to dishonest participants. She has received notable awards such as the Emmy Noether Fellowship (DFG) and Google Anita Borg Memorial Scholarship. Pappa’s work bridges theoretical quantum computing with practical implementations, emphasizing security in quantum systems. Her academic career includes postdoctoral roles at the University of Edinburgh and UCL, alongside software engineering experience at Nokia-Siemens Networks. She has organized seminars on cryptography and quantum computing, and her teaching spans programming languages and cryptography courses at NTUA. Pappa actively participates in conferences like QPL, QCRYPT, and AQIS, contributing to both theoretical advancements and experimental validations in quantum information science.

• Social Network Analysis
• Artificial Intelligence
• Knowledge Graphs
• +۴ مورد دیگر

Irene Kilanioti is a Teaching Professor at the National Technical University of Athens (NTUA), affiliated with the Division of Communication, Electronic and Information Engineering under the School of Electrical and Computer Engineering. She holds a Ph.D. in Computer Science from the University of Cyprus and has extensive experience as a PostDoc researcher at Ludwig-Maximilians-Universität München. Her career includes roles as an informatics teacher in Greece and Germany, software engineer at Vodafone, and teaching assistant in tertiary education. Dr. Kilanioti specializes in knowledge graphs, social media analytics, sustainable development goals, and AI-driven education technologies. Education: B.Sc. in Informatics and Telecommunications (NKUA), M.Sc. in Advanced Information Systems (NKUA with best student award), Ph.D. in Computer Science (University of Cyprus). She completed German teaching licensure studies at Friedrich-Alexander-Universität (Erlangen) and holds a translator’s diploma from the Institute of Linguists (London). Fluent in English and German, she is a member of the Cyprus Scientific and Technical Chamber. Research focuses on knowledge graph optimization, social media misinformation detection, and IoT applications in transportation. Notable achievements include the Best Paper Award at the 2022 IEEE International Conference on Knowledge Graphs and contributions to IEEE/UL Standard 2933™ for Clinical IoT Interoperability. She co-leads the EU-funded cHiPSet initiative for big data simulation and serves as an editor for Frontiers in Digital Education. Awards include a Greek State Scholarship Foundation PhD grant (2012-2015) and the Best Student Award for her M.Sc. Her work bridges technical innovation with societal impact, spanning education technology, healthcare IoT, and global sustainable development.

Benjamin C. Pierceمشاهده پروفایل

استاد

• Programming Languages
• Type Systems
• Language-Based Security
• +۵ مورد دیگر

Benjamin C. Pierce serves as the Henry Salvatori Professor of Computer and Information Science in the School of Engineering and Applied Science at the University of Pennsylvania. He is a Fellow of the ACM with extensive editorial experience, having served as co-Editor in Chief of the Journal of Functional Programming and Managing Editor for Logical Methods in Computer Science. His research spans programming languages, type systems, language-based security, formal verification, differential privacy, and synchronization technologies. Pierce is renowned for developing foundational frameworks in bidirectional transformations (lenses), property-based testing, and differential privacy verification. His work bridges theoretical computer science with practical implementation, particularly evident in his development of the Unison file synchronizer and the Clowdr virtual conference platform. The trends in his recent publications reveal a sustained focus on verification techniques for privacy-preserving systems, particularly differential privacy, alongside continued innovation in bidirectional data transformations and property-based testing methodologies. His work increasingly integrates formal verification with practical implementation concerns. Fellow of the ACM Pierce has mentored numerous researchers through PLMW (Programming Languages Mentoring Workshop) events and has served on numerous program committees for major conferences including POPL, PLDI, and ICFP. His editorial work has significantly shaped the programming languages research community through his leadership roles in key journals. He leads development of the Unison file synchronizer, a cross-platform tool used worldwide, and co-developed the Clowdr virtual conference platform that gained prominence during the pandemic. His work demonstrates a consistent pattern of creating practical tools grounded in deep theoretical foundations.

Konstantinos A. Tsintotasمشاهده پروفایل

استادیار

• Artificial Intelligence
• Robotics
• Computer Vision
• +۹ مورد دیگر

Konstantinos A. Tsintotas is an Assistant Professor at the Department of Information and Electronic Engineering, International Hellenic University. His research focuses on artificial intelligence, robotics, computer vision, and their applications in smart cities, healthcare, and manufacturing. He is actively involved in advancing AI-driven systems for critical infrastructure management, robotic vision, and embedded device technologies. His work spans theoretical advancements and practical implementations, including projects like SLAM algorithms for autonomous navigation, deep learning models for medical diagnosis, and IoT-integrated smart supply chains. Tsintotas also explores ethical implications of AI in human action recognition and contributes to neuromorphic computing through spiking neural networks. Key technical contributions include ReJSHand (real-time hand pose estimation), fall detection systems for embedded devices, and visual place recognition frameworks. His interdisciplinary approach bridges computer science, electrical engineering, and biomedical applications, reflecting a strong commitment to innovation at the hardware-software interface. Notable trends in his publications emphasize AI ethics, multimodal perception for robotics, and low-power embedded solutions. Ongoing work includes advancing digital twin technologies for supply chains and refining bio-inspired neural architectures for robotics applications.

Themos Stafylakisمشاهده پروفایل

دانشیار

• Speaker Recognition
• Audiovisual Speech Recognition
• Machine Learning
• +۳ مورد دیگر

Themos Stafylakis is an Associate Professor at the Department of Informatics of Athens University of Economics and Business (AUEB), a role he assumed in 2023. He also serves as the head of the Machine Learning and Voice Biometrics departments at Omilia (Cyprus and Greece) since 2018. Additionally, he collaborates as a researcher at the Archimedes unit of the "Athena" Research Center. His academic journey includes a PhD in voice applications from the School of Electrical and Computer Engineering of NTUA (2011), a master's from Imperial College London (2005), and a bachelor's from NTUA (2004). Professional experience includes postdoctoral research at ÉTS University of Montreal (2011-2013) and CRIM research center (2011-2016), followed by work at the University of Nottingham on audiovisual speech recognition under a Marie Sklodowska-Curie fellowship (2016-2018). His research focuses on speaker recognition, audiovisual speech processing, and machine learning applications. Key contributions include advancements in speaker verification, diarization, and self-supervised learning techniques. He has contributed to datasets like KAN-AV and participated in challenges such as NIST-SRE and ASVspoof. Educations: Bachelor's: School of Electrical and Computer Engineering, NTUA (2004) Master's: Imperial College London (2005) PhD: NTUA (2011) His research interests span speaker recognition, audiovisual speech analysis, and machine learning innovations. Notable achievements include developing robust speaker verification systems and contributing to spoofing detection methodologies. He has received a Marie Sklodowska-Curie Individual Fellowship (2016-2018). His work bridges academia and industry, with applications in biometric systems, conversational AI, and multimodal data analysis. Collaborations include institutions like CRIM, ÉTS, and the Athena Research Center.

• Artificial Intelligence
• Data Science
• Machine Learning
• +۷ مورد دیگر

Phivos Mylonas is an Associate Professor at the Department of Informatics and Computer Engineering within the School of Engineering at the University of West Attica. He also maintains academic appointments at Ionian University where he previously served as Associate Professor and Assistant Professor in the Department of Informatics. His academic journey includes adjunct professor positions at several Greek institutions including University of Central Greece, University of the Aegean, and University of Crete. Dr. Mylonas holds a PhD in Electrical and Computer Engineering from the National Technical University of Athens, a Master's Degree in Advanced Information Systems from the National and Kapodistrian University of Athens, and a Diploma in Electrical and Computer Engineering from the National Technical University of Athens. His research spans Artificial Intelligence applications, data science, user modeling, personalization technologies, and semantic frameworks. His scholarly output shows a clear trajectory toward increasingly sophisticated AI applications, with recent publications focusing on ChatGPT integration, fuzzy logic systems, and multimodal interaction. The research demonstrates strong interdisciplinary connections between computer science, education, and cultural heritage preservation. Thomaidio Grant for Science and Art Progress (2005, 2006) ICCS-NTUA Short Term Research Grant (2005-2006) As an academic leader, Dr. Mylonas has served as Director of the Humanistic and Social Informatics Laboratory at Ionian University (2013-2022) and as a Senior Researcher at the Image, Video and Multimedia Laboratory at National Technical University of Athens. He has been instrumental in organizing numerous international conferences and has served on over 200 conference program committees. His laboratory work spans multiple institutions including collaborations with University of Patras and Ionian University.

• Internet of Things (IoT)
• Edge Computing
• eHealth Systems
• +۷ مورد دیگر

Dr. Menychtas Andreas is an Assistant Professor at the Department of Digital Systems, School of Informatics and Communications, University of Piraeus. He holds a PhD from the National Technical University of Athens (2009), specializing in service-oriented architectures. His teaching focuses on distributed computing, programming, and information systems development across multiple institutions including the University of Piraeus and Hellenic Open University. Research interests center on modern computing infrastructures, software development, and IoT applications, with particular emphasis on Edge Computing, smart cities, telemedicine, and machine learning. He has led over 20 European and national projects, publishing >100 articles with 1,900+ citations. Key areas include AR healthcare solutions, bias mitigation in AI, and secure medical IoT systems. Notable contributions include the MedSecurance project (medical IoT security), CrowdHEALTH platform (big data-driven public health policies), and AGILE framework (open-source edge computing). His work bridges theoretical research with practical implementations in wearable tech, telemedicine systems, and urban smart infrastructure. Grants and collaborations highlight extensive industry partnerships, with current focus on digital twins for healthcare robotics (AI4Work), AI-driven pandemic monitoring, and gamification in healthcare platforms. His lab develops innovative solutions at the intersection of AR, edge computing, and healthcare informatics.

Eleni Ekaterini Leligouمشاهده پروفایل

استاد

• Computer Networks
• Industrial Web Server Applications
• Blockchain Technology
• +۷ مورد دیگر

Professor Eleni Ekaterini Leligou is a full-time faculty member at the University of West Attica , serving in the Department of Industrial Design and Production Engineering since November 2017. Previously, she taught at the Technological Educational Institution of Central Greece (2007–2017) and was a research associate at the National Technical University of Athens (1998–2007). Education Diploma in Electrical and Computer Engineering, National Technical University of Athens (1995) PhD in Electrical and Computer Engineering, National Technical University of Athens (1998–2002) – thesis graded “Excellent” Research Interests Her work lies at the intersection of computer networks, blockchain, Internet of Things, and artificial intelligence with a strong emphasis on industrial and energy-management applications . Specific themes include trust and routing protocols for sensor networks, FPGA-based acceleration of network algorithms, blockchain-enabled network security, IoT solutions for smart energy systems, and federated-learning models for maritime energy optimisation. Teaching Contributions At undergraduate level she delivers core courses on Internet Technology in the Digital Industry, Cloud Computing Engineering and Data Security and Protection . At postgraduate level she contributes to four distinct programmes: Artificial Intelligence and Deep Learning (inter-departmental MSc), Information Systems (Hellenic Open University), Production and Service Automation , and New Technologies in Shipping and Transportation . Publications Overview Her 2024–2025 scholarly output demonstrates an aggressive push toward next-generation networks (6G, LiFi, RIS), blockchain integration in diverse domains (gaming, supply-chain, PLC security), and AI/ML methodologies ranging from federated learning to GAN-based image generation, all applied to industrial, maritime and educational contexts. Laboratory & Teams She conducts her research within the Computational Intelligence and Intelligent Systems Laboratory – EYNES , leading projects that blend networked embedded systems, AI and blockchain technologies.

• High-performance computer architectures
• Cloud-computing systems
• Internet-of-Things (IoT)
• +۷ مورد دیگر

Panayiotis D. Tsanakas is a Professor of Computer Engineering at the National Technical University of Athens (NTUA), serving in the School of Electrical and Computer Engineering within the Department of Information Technology and Computers. Since 2023, he has held the position of Dean of the School of Electrical and Computer Engineering at NTUA. His academic career spans several decades with significant contributions to computer engineering and informatics. His educational background includes a Dipl. in Electrical Engineering from Aristotle University of Thessaloniki (1982), an MSc in Computer Engineering from Ohio University (1985), and a PhD in Computer Engineering from National Technical University of Athens (1988). Tsanakas specializes in high-performance computer architectures, cloud-computing systems, Internet-of-Things (IoT), and AI-based applications in medicine and biology. His research spans parallel and distributed processing, computer architecture, supercomputing applications, and biomedical engineering. He has published over 100 research papers in established scientific journals and conferences, with recent work focusing on AI applications in healthcare, cloud computing security, and advanced medical monitoring systems. His recent publications demonstrate a strong trend toward applying artificial intelligence to healthcare challenges, particularly in mental health monitoring, medical imaging, and biomedical diagnostics. His work frequently combines computer architecture expertise with medical applications, creating innovative solutions for healthcare challenges. 2023-now: Dean of the School of Electrical and Computer Engineering at NTUA 2018-2020: Board member of the EuroHPC Joint Undertaking 2004-2019: Chairman of GRNET, the national research and education network 2005-2009: Member of EETT (The Hellenic Electronic Communications and Posts Regulator) Tsanakas has supervised eight doctoral dissertations and more than 50 diploma theses. He has co-authored seven textbooks on computer systems that have been adopted by several higher-education institutions. His professional experience includes significant roles in national infrastructure development, including leading the design and deployment of advanced networking and cloud services for Greek academic institutions and healthcare facilities.

Sotirios Xydisمشاهده پروفایل

استادیار

• Hardware/Software Co-design
• High Level Synthesis
• Hardware Accelerators
• +۷ مورد دیگر

Sotirios Xydis is an Assistant Professor in the Division of Computer Science at the School of Electrical and Computer Engineering, National Technical University of Athens (NTUA), with prior faculty appointment at Harokopion University of Athens (2020-2023). He maintains ongoing collaboration with the Institute of Communication and Computer Systems (ICCS) since 2014 and previously served as an engineer at HEDNO (2015-2018) and postdoctoral researcher at Politecnico di Milano (2011-2013). His academic credentials include: BSc in Electrical and Computer Engineering, NTUA (2005) MSc in Techno-Economic Systems, NTUA (2011) PhD in Electrical and Computer Engineering, NTUA (2011) Dr. Xydis specializes in hardware/software co-design , energy-efficient hardware acceleration , and memory management for embedded and cloud-edge systems. His research bridges low-power circuit design , heterogeneous architecture optimization , and resource management frameworks , with particular emphasis on AI workloads and serverless infrastructures. Current projects target Edge AI accelerators (CONVOLVE), disaggregated memory systems, and LLM inference optimization through hardware-aware algorithms. Analysis of his 2023-2025 publications reveals three dominant trends: (1) Energy-efficient hardware accelerators for Edge AI using approximate computing techniques, (2) Memory/resource management innovations for disaggregated serverless environments, and (3) GPU/FPGA optimization for LLM inference through dynamic frequency scaling and predictive throttling. These works consistently address the power-performance tradeoffs in heterogeneous computing systems. His scientific recognition includes: Best Paper Award, IEEE/NASA/ESA AHS (2007) Best Paper Award, ACM PARMA (2013) Best Paper Award, ACM Computing Frontiers (2020) Hipeac Award at DAC (2019, 2020) Dr. Xydis has secured over 15 European/national research grants as Principal Investigator and Technical Coordinator, focusing on hardware acceleration frameworks and energy-efficient computing. His advising encompasses graduate research in hardware design and optimization, though specific student names aren't publicly listed. Current projects include CONVOLVE for Edge AI and CollectiveHLS for collaborative hardware synthesis. He is a core member of NTUA's Microelectronics Laboratory (Microlab) and collaborates with ICCS on hardware acceleration projects. His team develops frameworks like CollectiveHLS and throttLL'eM, with active participation in DATE, DAC, and ISCA conference communities.

Diego Garbervetskyمشاهده پروفایل

دانشیار

• Static Analysis
• Dynamic Analysis
• Reverse Engineering
• +۷ مورد دیگر

Diego Garbervetsky is an Associate Professor at the Computer Science Department, School of Sciences, University of Buenos Aires, and a Researcher at ICC/CONICET. He also serves as Director of the Institute of Research in Computer Sciences (ICC). His academic career spans software engineering, programming languages, and formal methods with a focus on program analysis and verification. His research interests include: Static and dynamic program analysis Reverse engineering and compiler optimizations Program understanding and validation Testing and verification of programs featuring rich protocols Automatic symbolic resource analysis (gas consumption, dynamic memory, energy, etc.) Garbervetsky's recent work focuses on smart contract analysis and verification, particularly for Solidity on Ethereum blockchain. His research bridges theoretical program analysis with practical applications in security-critical domains. He has developed several tools including Contractor for behavior validation, JConsume2 for heap memory analysis, and BudaPest for automated software verification. His scientific contributions have been presented at top-tier conferences including ICSE, FSE, ISSTA, and PLDI. Garbervetsky has served on numerous program committees for major software engineering conferences and has advised multiple PhD and undergraduate students through their research.

Arthur Azevedo de Amorimمشاهده پروفایل

استادیار

• Programming Languages
• Formal Verification
• Security
• +۳ مورد دیگر

Arthur Azevedo de Amorim is an Assistant Professor in the Department of Computer Science at the Rochester Institute of Technology's College of Computing. His research focuses on making software more secure and reliable using techniques based on formal verification, programming languages, and type systems. Previously, he held postdoctoral positions at Boston University and Carnegie Mellon University after completing his Ph.D. at the University of Pennsylvania under Benjamin Pierce and co-advised by Cătălin Hrițcu. His educational background includes undergraduate studies in computer science and engineering at Unicamp and Polytechnique. He is also one of the authors of Software Foundations, an introductory textbook to the Coq proof assistant, and maintains an active blog about Coq. Dr. de Amorim's research spans several critical areas in programming languages and security. His work on cryptographic protocols leverages recent advances in program verification (particularly separation logic) to verify cryptographic protocols. His research on compartmentalization analyzes formal guarantees of techniques for limiting the scope of vulnerabilities in low-level languages like C and C++. These research areas reflect his commitment to bridging theoretical foundations with practical security applications. His recent publications demonstrate strong activity across multiple top-tier conferences including POPL, PLDI, CCS, and ICALP, with research spanning formal verification, secure compilation, differential privacy, and programming language theory. His work consistently combines theoretical rigor with practical applications in security and reliability. Dr. de Amorim has served on numerous program committees for major programming languages conferences including POPL, PLDI, ICFP, and CoqPL, demonstrating his active engagement with the research community. He has also contributed to important educational resources through his work on Software Foundations. He currently advises several graduate students at RIT working on various aspects of programming languages and security. His lab develops multiple open-source software projects including Cryptis (for verifying cryptographic protocols), Deriving (a Coq library for automating class instances), and Extructures (a Coq library of finite data structures).

Costas Vassilakisمشاهده پروفایل

استاد

• Information systems
• Semantic web technologies
• Service-oriented architectures
• +۴ مورد دیگر

Costas Vassilakis is a Professor in the Department of Informatics and Telecommunications at the University of Peloponnese, serving as Dean of the Faculty of Economics and Technology since 2019. He holds a PhD from the University of Athens (1995) and has held academic roles since 2005, including Associate Professor and Visiting positions. His research focuses on information systems, semantic web technologies, and cultural informatics, with contributions to projects like Virtual Museums and SmartGov. He leads initiatives in digital cultural heritage, cybersecurity, and smart agriculture. Notable projects include Experimedia Blue for personalized cultural experiences and Cyber-Trust for IoT security. Active in teaching, he has instructed courses on operating systems, software engineering, and real-time systems. He contributes to academic governance, including roles in the University Council and strategic planning units. His work bridges technology and cultural preservation, emphasizing interdisciplinary innovation. Education: PhD in Informatics, University of Athens (1995); MSc equivalent in Informatics, University of Athens (1990). Research Interests: Focuses on recommenders systems, collaborative filtering optimization, cybersecurity frameworks, and AI applications in agriculture. Active in cultural heritage digitization, museum technologies, and VR systems. Recent Projects: Includes TripMentor (tourism platform), PaloAnalytics (market analytics), and Rehabotics (rehabilitation robotics). Leads EN.I.R.I.S.S.T., a national infrastructure for maritime and logistics research. Awards: No explicit awards listed, but recognized through extensive project leadership and academic roles.