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

Amalia Fokaمشاهده پروفایل

استادیار

• Artificial Intelligence Applications in Arts
• Computer Science for Creative Practices
• Digital Interaction
• +۴ مورد دیگر

Amalia Foka is an Assistant Professor in Computer Science Applications for the Arts at the Department of Fine Arts & Art Sciences , School of Fine Arts , University of Ioannina , Greece. She has held academic positions at the University of Patras (2005-2013), University of Ioannina (2005-2008), and Computer Technology Institute & Press "Diophantus" (2014-2015). Her research bridges Artificial Intelligence with Digital Art , focusing on Generative AI , Social Media Mining , and Human-Computer Interaction within artistic contexts. Education: BEng in Computer Systems Engineering (1998) from the University of Manchester Institute of Science & Technology (UMIST) , UK MSc in Advanced Control (1999) from UMIST PhD in Robotics (2005) from the Department of Computer Science , University of Crete Her artistic research includes projects like Bushwalking (StyleGAN2 landscape generation), Breaking the Silence (NLP analysis of taboo topics), and The Invisible Structures of the Artworld (social media-driven network visualization). She leads the Multimedia Lab at the University of Ioannina, focusing on AI in Creative Processes and Digital Interaction methodologies.

Mohsen Lesaniمشاهده پروفایل

دانشیار

• Reliability of software systems
• Security of software systems
• Concurrent systems
• +۱۲ مورد دیگر

Mohsen Lesani is an Associate Professor in the Computer Science and Engineering Department at the University of California, Santa Cruz's Baskin School of Engineering. His research focuses on reliability and security of software systems, particularly concurrent and distributed systems, with recent emphasis on secure replicated systems and distributed machine learning. Dr. Lesani received his PhD from UCLA, MS in artificial intelligence from Sharif University of Technology, and BS in software engineering from University of Tehran. He was previously a postdoc at MIT. His educational background provides a strong foundation for his interdisciplinary research spanning programming languages, distributed systems, and security. His research interests center on creating reliable and secure distributed systems. Current projects include resilient and secure distributed systems, heterogeneous and reconfigurable secure distributed systems, automatic analysis and synthesis of replicated objects, verification of distributed systems, data analytics, secure exchange across blockchains, machine learning for performance models, domain-specific languages and type systems, and automatic fence insertion for concurrent systems. His work bridges theoretical foundations with practical implementations to address real-world challenges in distributed computing. Lesani's research has been recognized with several prestigious awards including the NSF CAREER award in 2020 and DARPA YFA award in 2022. His work has also received the SIGPLAN Research Highlight in 2019, a distinguished paper award at OOPSLA 2018, and a best paper award at ISSRE 2015. These accolades reflect the impact and quality of his contributions to the field. He actively mentors PhD students in the Safe and Secure Software (S3) lab, including Xiao Li, Eric Chan, Javad Saber-Latibari, and Tejas Mane. His research has been supported by multiple NSF grants, demonstrating sustained funding for his innovative work. Lesani serves on program committees for major conferences including POPL, PLDI, OOPSLA, and DISC, contributing to the academic community. Lesani leads the Safe and Secure Software (S3) lab at UC Santa Cruz, where his team works on cutting-edge research in distributed systems, programming languages, and security. The lab fosters a collaborative environment where theoretical insights are translated into practical systems that address real-world challenges in reliability and security of distributed applications.

Theodora Varvarigouمشاهده پروفایل

استاد

• Cloud Computing
• Multimedia Content Processing
• Social Networking Technologies
• +۳ مورد دیگر

Theodora Varvarigou is a Professor in the Department of Electrical and Computer Engineering at the National Technical University of Athens (NTUA). She holds a B.Eng. from NTUA and M.Eng. and Ph.D. degrees from Stanford University. Her career includes research at AT&T Bell Labs and roles at the Technical University of Crete. From 2008-2012, she served as director of NTUA's 'Technoeconomic Systems' postgraduate program. Her research focuses on Cloud Computing, Multimedia Content Processing, Social Networking Technologies, and emerging areas like blockchain, edge computing, and cybersecurity. She has published over 200 papers and led numerous European research projects, emphasizing scalable systems, data management, and smart infrastructure applications. Her work spans technical innovations such as intrusion detection systems, edge resource optimization, and blockchain-based solutions for IoT, healthcare, and smart cities. Recent publications highlight advancements in AI-driven resource allocation, privacy-preserving blockchain designs, and predictive analytics for edge computing environments. Professor Varvarigou has contributed to interdisciplinary initiatives, including cohort data harmonization in biomedical research and social media analytics for urban planning. Her teaching includes courses on digital systems, network programming, and fault-tolerant systems.

Papadimitriou Kyprianosمشاهده پروفایل

پژوهشگر

• Reconfigurable Systems
• Hardware Design
• Digital Systems
• +۷ مورد دیگر

Kyprianos Papadimitriou is a Researcher at the Microprocessor and Hardware Laboratory within the School of Electrical and Computer Engineering at the Technical University of Crete . He holds a PhD in Electronic and Computer Engineering (2012) and has been involved in teaching laboratory courses such as Logic Design , Computer Architecture , and VLSI/ASIC Circuit Design . Research Areas : His work spans Reconfigurable Systems , Hardware Design , Computer Architecture , RFID Systems , and Real-Time Systems . He has developed innovative approaches in FPGA-based dynamic reconfiguration, MPSoC security, and 3D stereo vision for surveillance. Key Trends : Runtime reconfiguration for FPGAs Security frameworks for NoC-based MPSoCs Low-cost embedded vision systems Optimization of reconfiguration overhead Hardware task scheduling methodologies Genetic algorithm implementations on FPGAs Scientific Contributions : 1 USA patent (2005) Co-author of VLSI-SoC 2013 paper nominated for 1st Prize Active member of scientific committees (FPL, ReConFig) Peer reviewer for IEEE, Elsevier, and Springer journals Session chair at IEEE CNS and HPCC conferences Grants & Projects : Participated in competitive European and national programs, serving as scientific manager, coordinator, and technical coordinator. Developed spin-off company (2003-2005) to commercialize master's thesis research. Laboratory & Teaching : Affiliated with the Microprocessor and Hardware Laboratory , focusing on practical training in digital systems, processor-based systems, and VLSI design.

• Optical Communications
• Optoelectronic Circuits
• Optical Switching
• +۷ مورد دیگر

Amalia Miliou is a Professor in the Department of Informatics at Aristotle University of Thessaloniki, where she has served since 1993, progressing through the academic ranks from Lecturer to her current position as Professor since 2022. She holds a PhD in Electrical and Computer Engineering from the University of Florida (1991) with specialization in Optoelectronics, following an MSc in the same field (1988) and a Physics degree from Aristotle University (1985). Her research focuses on optical communications systems, with specific expertise in optoelectronic circuits simulation, optical switching, optical RAM development, converged fiber-wireless technology, 5G networks, and secure optical communications using chaos theory. Over her career, she has supervised numerous graduate students across these research areas, with thesis topics spanning optical memory systems, fiber-wireless integration, chaos-based secure communications, and advanced optical network architectures. Her recent publications (2021-2024) demonstrate a strong focus on next-generation optical networking solutions for 5G/6G applications, including fiber-wireless convergence, optical memory systems for high-speed networks, and innovative approaches to optical signal processing. Her work bridges fundamental photonics research with practical telecommunications applications, particularly in addressing the bandwidth and latency challenges of modern mobile networks. Professor Miliou has served as the Coordinator of the LLP-ERASMUS student exchange program at the Department of Informatics since 1997 and has held various administrative positions including membership in the University Senate and General Assembly. She has led and participated in numerous research projects, most recently focusing on technological improvements for 5G systems through optical-wireless network development (2019-2021), next-generation healthcare applications leveraging 6G networks (2023-2027), and photonic integrated circuits for random access memory (2012-2015).

• Algorithmic Graph Theory
• Parallel Algorithms
• Graph Theory
• +۴ مورد دیگر

Stavros Nikolopoulos is a Professor in the Department of Computer Science & Engineering at the University of Ioannina, Greece. He serves as Director of the Algorithms Engineering Lab and holds a PhD in Computer Science (1991, University of Ioannina). His research focuses on Algorithmic Graph Theory, Parallel Algorithms, Malware Detection, and Software Watermarking. He has published extensively in top-tier journals and conferences, including Discrete Applied Mathematics and Theoretical Computer Science. Education: B.Sc. in Mathematics, University of Ioannina (1982) M.Sc. in Computer Science, University of Dundee (1985) Ph.D. in Computer Science, University of Ioannina (1991) Research Interests: Design and Analysis of Algorithms Graph Algorithms (e.g., permutation graphs, cographs) Malware Detection via System-call Group Analysis Graph-based Watermarking Systems Discrete Event Simulation Awards & Recognition: Best Student Paper Award (WEBIST'13) Best Paper Award (CompSysTech'13) Labs & Projects: Director, Algorithms Engineering Lab Principal Investigator in EU-funded projects (e.g., HRAKLITOS, PENED-05)

• Optical Networking
• High-Speed Networks
• Data Center Technologies
• +۶ مورد دیگر

Emmanouel (Manos) Varvarigos is a Professor at the School of Electrical and Computer Engineering, National Technical University of Athens (NTUA), where he leads the High Speed Communication Networks Laboratory. He holds a Diploma from NTUA (1988) and an M.S./Ph.D. from MIT (1990/1992). Prior roles include Professorships at UC Santa Barbara (1992-1998) and Delft University (1998-1999), and leadership at the University of Patras (1999-2015). He has coordinated over 30 EU research projects, including H2020 initiatives like ORCHESTRA and FLEXGRID. His research focuses on optical networking, cloud computing, smart energy grids, and high-speed network protocols. He has published over 450 papers and serves on numerous conference committees. Awards include the NSF Research Initiation Award. His lab employs 5 postdocs and 10+ PhD students, addressing challenges in networking, data centers, and grid computing. Education: Ph.D., Electrical Engineering and Computer Science, MIT, 1992 M.S., Electrical Engineering and Computer Science, MIT, 1990 Diploma in Electrical and Computer Engineering, NTUA, 1988 Research Interests: Optical networking, high-speed network protocols, data center architectures, cloud computing, smart energy grids, wireless networks, and distributed systems. Grants & Projects: Coordinated 7 EU projects (e.g., FLEXGRID, ORCHESTRA) and participated in 35+ others. National projects include roles as Scientific Director of the Greek School Network and CTI’s Network Technologies Division. Labs & Teams: Directs the High Speed Communication Networks Lab (HSCNL), collaborating with global institutions on optical networks, edge cloud, and smart grids. The lab’s work includes EU-funded projects on 5G, data centers, and renewable energy integration.

Ioanna Kantzavelouمشاهده پروفایل

دانشیار

• Cybersecurity
• Intrusion Detection
• Game Theoretic Approaches
• +۷ مورد دیگر

Dr. Ioanna Kantzavelou is an Associate Professor at the Department of Informatics and Computer Engineering, School of Engineering, University of West Attica. She leads the INSSec Research Group, focusing on Information, Networks, and Systems Security. Her expertise spans Cybersecurity, Game Theoretic approaches in Intrusion Detection, and Critical Infrastructure Protection. She holds a Ph.D. from the University of the Aegean (2011), an M.Sc. from University College Dublin (1994), and a B.Sc. from the Technological Educational Institution of Athens (1991). Education: Ph.D. in Intrusion Detection with Game Theoretic Approaches – University of the Aegean (2011) M.Sc. in Computer Security – University College Dublin (1994) B.Sc. in Informatics – TEI of Athens (1991) Research Interests: Intrusion Detection in IoT/Wireless Sensor Networks (WSN) and Cyber-Physical Systems Cyber Ranges for Education and Research Cybersecurity for Merchant Shipping and Critical Infrastructures Hybrid Threats, Cyberterrorism, and Cyberwarfare Digital Forensics and Blockchain-Based Authentication Systems Her work includes over 30 peer-reviewed publications, three books, and contributions to R&D projects funded by the Greek government, EU, and Irish government. She actively reviews for IEEE, Elsevier, and Springer journals, and is a member of ACM, IEEE Computer Society, and the Greek Computer Society. Grants & Collaborations: EU-funded projects on Cybersecurity and Critical Infrastructure Protection Greek government grants for Cyber Ranges and IoT Security Labs/Teams: Head of the INSSec Research Group, collaborating with industry partners on Cybersecurity solutions for maritime and industrial sectors.

• Computational Complexity
• Graph Algorithms
• Distributed Algorithms
• +۶ مورد دیگر

Aris T. Pagourtzis is a Professor of Computer Science at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA), where he also serves as the Head of the Computer Science Division. He is additionally a Lead Researcher at the Archimedes Research Center, Athena RC. His academic career includes positions at the University of Ioannina, the University of Liverpool, the ETH Zuerich, the University of Athens, and the Athens University of Economics and Business. Education: Diploma in Electrical Engineering (1989) and Ph.D. in Electrical and Computer Engineering (1999), both from the National Technical University of Athens Professor Pagourtzis's research spans multiple areas of theoretical computer science, with particular emphasis on computational complexity, graph algorithms, distributed algorithms, approximation algorithms, network algorithms, cryptography, and counting complexity. His work often bridges theoretical foundations with practical applications in network design, security protocols, and optimization problems. He has developed novel algorithms for problems ranging from community detection in networks to Byzantine fault-tolerant protocols and privacy-preserving voting systems. His recent publications show a continued focus on fundamental algorithmic problems while expanding into newer areas like temporal graph analysis, blockchain applications, and privacy-preserving technologies. There's a clear trend toward addressing real-world challenges through rigorous theoretical frameworks, particularly in distributed systems, secure computation, and optimization under constraints. Professor Pagourtzis has served on program and organizing committees for numerous theoretical computer science and cryptography conferences, co-chairing CIAC 2017 and FCT 2021. His research has received funding from diverse sources including US, UK, French, EU, and Greek national resources. He is actively involved in teaching both undergraduate and graduate courses at NTUA, including Algorithms and Complexity, Foundations of Computer Science, Computational Cryptography, and Network Algorithms and Complexity. He leads the Computation and Reasoning Laboratory (corelab) at NTUA, which focuses on theoretical computer science research.

Todd Millsteinمشاهده پروفایل

استاد

• Network Verification
• Programming Languages
• Probabilistic Programming
• +۳ مورد دیگر

Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA). He served as the Computer Science Department Chair from 2022-2025 and is also an Amazon Scholar. His research focuses on making software systems more reliable through programming languages techniques, with significant contributions to network verification and probabilistic programming. Millstein received his Ph.D. from the University of Washington Department of Computer Science, where he was a member of the Cecil group led by Craig Chambers. Prior to that, he completed his undergraduate studies at Brown University under the guidance of Paris Kanellakis and Pascal Van Hentenryck. Millstein's research spans several areas of programming languages and systems with a focus on reliability. He has made significant contributions to network verification, developing the Batfish network configuration analyzer which is now managed by Amazon Web Services and forms the basis of Oracle Cloud's Network Path Analyzer. His work has been recognized with the ACM SIGCOMM Networking Systems Award in 2025. He also works on interactive program verification through lemma synthesis and scalable reasoning methods for probabilistic programming languages. His research bridges programming languages theory with practical systems challenges, as highlighted in his SPLASH/OOPSLA 2024 keynote "Everything is a Program (even if it's not)". Millstein's recent publications demonstrate a consistent focus on verification and reliability across multiple domains. His work shows a progression from foundational programming language techniques to practical applications in networking and probabilistic systems. Key themes include data-driven approaches to program analysis, synthesis of verification artifacts, and applying programming languages techniques to non-traditional domains like network configuration. Millstein's scientific achievements have been recognized with numerous prestigious awards including an NSF CAREER Award, an ACM SIGPLAN Most Influential PLDI Paper Award, an ACM SIGCOMM Networking Systems Award, IEEE Micro Top Picks selection, best-paper awards from PLDI, OOPSLA, and SIGCOMM, a Microsoft Research Outstanding Collaborator Award, an Okawa Foundation Research Grant, an IBM Faculty Award, and a Facebook Research Award. He has also received both the Northrop Grumman Excellence in Teaching Award (for junior faculty) and the Eon Instrumentation Inc. Excellence in Teaching Award (for senior faculty) from UCLA Engineering. Millstein advises several Ph.D. students including Ana Brendel, Poorva Garg (co-advised with Guy Van den Broeck), Rajdeep Mondal (co-advised with George Varghese), and Rathin Singha (co-advised with George Varghese). His research has been supported by various grants including an NSF CAREER Award, Okawa Foundation Research Grant, IBM Faculty Award, and Facebook Research Award. He has also been a Co-Founder and Chief Scientist of Intentionet, which was later acquired by Amazon Web Services. Millstein is actively involved in the Batfish project, an open-source network configuration analyzer that has had significant practical impact. Batfish is now managed by AWS, powers Oracle Cloud's Network Path Analyzer, and is used by dozens of companies. His research group continues to work on network reliability, developing techniques for scalable BGP policy verification and behavioral testing of protocol implementations.

• Database Information Management
• Big Data Management Systems
• Data Structures
• +۲ مورد دیگر

Ioannis Tsaknakis is an Associate Professor at the Department of Electrical & Computer Engineering, School of Engineering, University of Peloponnese. He holds a PhD in computational geometry and multidimensional data structures from the University of Patras (2004) and has been actively involved in software systems research since 2004. His work spans Database Information Management , Big Data Systems , and Knowledge Mining , with a focus on data structures and computational geometry. Research Interests : Information Management in Databases Big Data Management Systems Computational Geometry Knowledge Mining in Databases/Web Publications highlight his contributions to IoT-driven educational frameworks, machine learning applications, and cryptographic systems for data security. He has taught courses on software design and data management since joining the University of Peloponnese in 2019. Contact : jtsaknakis@uop.gr . Office hours are in Building K (Monday & Tuesday, 8:00-9:00).

Fei Heمشاهده پروفایل

دانشیار

• formal methods
• program analysis
• automated reasoning
• +۲ مورد دیگر

Fei He is an Associate Professor at Tsinghua University's School of Software, where he leads the THUFV research lab focused on formal verification and program analysis. His research spans formal methods, automated reasoning, and program verification, with applications in concurrent systems, networking (P4 programs), and probabilistic systems. Education & Employment: PhD from Tsinghua University (2008) Visiting Scholar at Carnegie Mellon University (2010-2011) and Politecnico di Milano (2006-2007) Faculty positions at Tsinghua since 2008 (Assistant Professor 2008-2011, Associate Professor 2011-present) Research: He's developed innovative techniques in SMT solving for concurrency verification, termination analysis, and regression verification. His tools like Deagle have won gold medals at SV-COMP. Current work focuses on probabilistic program verification and network program analysis. Publications: His 80+ publications demonstrate consistent contributions across formal methods (PLDI, OOPSLA, ICSE), networking (NSDI, INFOCOM), and software engineering (TSE, TOSEM), with recent emphasis on data-driven verification and automated invariant inference. Awards: Gold Medals in SV-COMP ConcurrencySafety (2022, 2023, 2025) Best Paper Awards at PPoPP 2022 and SETTA 2022 Advising: Mentors 13 PhD/Master's students in THUFV lab, with graduates joining Huawei, MPI-SP, and research institutions. Secured multiple NSF China grants for trustworthy software research. Service: Associate Editor for Theory of Computing Systems, program committees for PLDI/ICSE/OOPSLA, and former Local Chair for ISSTA 2019.

• Data Science
• Data Management
• Big Data Analytics
• +۳ مورد دیگر

Ioannis Theodoridis is a Professor at the Department of Informatics, University of Piraeus, and Director of the Data Science Laboratory under the School of Information and Communication Technologies. His research focuses on data science, particularly large-scale data management and analysis, with applications in maritime informatics, spatiotemporal data, and mobility patterns. He holds editorial roles at ACM Computing Surveys and has contributed to numerous international conferences and journals. As a project leader in Horizon 2020 initiatives, he has coordinated research on data-driven solutions for maritime safety and urban mobility. He earned his Diploma (1990) and PhD (1996) in Electrical and Computer Engineering from the National Technical University of Athens (NTUA). His work includes developing scalable systems for maritime route forecasting (e.g., GMSA), frameworks for vessel trajectory prediction (e.g., VesselVision), and platforms like i4sea for fisheries monitoring. Contact: ytheod@unipi.gr .

Kostas Magoutisمشاهده پروفایل

استاد

• Distributed computer systems
• Cloud computing
• Scalable data stores and stream processing
• +۳ مورد دیگر

Kostas Magoutis is Professor and Chair of the Computer Science Department at the University of Crete , and a collaborating researcher at FORTH-ICS . His research focuses on scalable distributed systems, cloud computing, IoT, and quantum-enhanced control. Education and Career: Ph.D. in Computer Science, Harvard University (2003) Research Staff Member, IBM T. J. Watson Research Center (2003-2009) Assistant Professor (2014-2019, tenured 2017) and Associate Professor (2020-2024), University of Crete Professor and Chair, University of Crete (2024-present) Research Interests: His work spans distributed computer systems , cloud computing , scalable data stores and stream-processing engines , Internet of Things , and the emerging area of quantum-enhanced control . Representative projects include the H.F.R.I.-funded QUADS (2025-2028) on quantum-enhanced adaptive systems, STREAMSTORE (2020-2023) on elastic stream processing, SmartCityBus on IoT-driven public transport, and the EU FP7 PaaSage project on model-based cloud lifecycle management. Awards and Honors: Best Paper Awards: USENIX ATC 2002, USENIX BSDCon 2002, IEEE SRDS 2014 (Best Student Paper), IoT 2024 (Runner-up) Grand Challenge Audience Award, ACM DEBS 2022 Best Poster Award, ACM EuroSys 2022 EU Marie Curie IEF Fellow (2009-2011) Alexander S. Onassis Fellow (1994-1995) and J. William Fulbright Scholar (1993-1994) Students and Mentoring: He has supervised or co-supervised more than 30 Ph.D., M.Sc. and undergraduate students, including Antonis Papaioannou (Ph.D. 2021), Efthimios Papageorgiou (current Ph.D.), and numerous M.Sc. graduates now in industry and academia. Labs and Teams: At FORTH-ICS he leads activities within the Distributed Systems and Storage Laboratory, coordinating research on scalable storage, stream processing, and IoT data management. The lab collaborates closely with European and national initiatives, hosting visiting researchers and industry partners.

Evangelia Georgia Kostakiمشاهده پروفایل

مدرس

• Epidemiology
• Molecular Epidemiology
• HIV/AIDS Research
• +۷ مورد دیگر

Evangelia Georgia Kostaki is a Biostatistician and Epidemiologist serving as a Lecturer in the Department of Hygiene, Epidemiology, and Medical Statistics at the School of Medicine, National and Kapodistrian University of Athens (NKUA). She holds a PhD in Molecular Epidemiology from NKUA and has extensive teaching experience in medical statistics, epidemiology, and public health at the undergraduate and postgraduate levels. Her research focuses on molecular epidemiology of infectious diseases (HIV, HCV, HBV, and SARS-CoV-2), with emphasis on public health applications such as outbreak response and transmission network analysis. Education: Bachelor’s degree (NKUA) MSc in Biostatistics (NKUA) PhD in Molecular Epidemiology (NKUA) Research interests include HIV transmission dynamics, antiretroviral resistance surveillance, and pandemic response strategies. She has contributed to over 50 peer-reviewed articles and 2 book chapters, with active participation in global initiatives like the European AIDS Clinical Society (EACS) YING network and the Greek National Action Plan for HIV. Notable achievements include a New Investigator Scholarship (NSRF 2014-2020) and over 160 conference presentations internationally. Advisory roles include supervising 25+ MSc theses and supporting PhD candidates. Grants include co-investigator roles in national/international projects. She actively contributes to scientific societies, editorial boards, and guideline development for HIV testing protocols in Europe. Labs/Teams: Collaborates with the European Virus Bioinformatics Center (EVBC) and global networks addressing HIV and viral hepatitis epidemiology.