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.
Michael Paraskevas is a Professor at the University of Peloponnese, specializing in Electrical Engineering. He holds a PhD and serves as Vice President of CTI Diofantus, Head of the Greek School Network, and coordinator of eTwinningGR and voucher.gov.gr initiatives. His work bridges academic research with large-scale educational and technological infrastructure projects. Educated at the University of Patras Active in advancing engineering education and digital networks in Greece Leadership roles in national technology and education institutions His research interests broadly span Electrical Engineering, Computer Science, and Information Technology, with potential applications in cybersecurity, telecommunications, and embedded systems. Paraskevas contributes to institutional development through his administrative roles, though no specific scientific awards or publications are publicly detailed in the provided text.
Dr. Yannis Christodoulou is a postdoctoral researcher at the University of the Aegean's Department of Cultural Technology and Communication, and a lecturer at the University of West Attica's Department of Conservation of Antiquities & Artwork. He holds a PhD in Knowledge Representation and Web Ontologies from the National Technical University of Athens (NTUA), an M.Sc. in Advanced Computing from the University of Bristol, and a B.Sc. in Informatics from the Athens University of Economics & Business. His research focuses on interdisciplinary Digital Humanities, combining Knowledge Representation, Ontology Engineering, and Semantic Visualization with Cultural Heritage, Human Geography, and the Arts. He has contributed to EU-funded projects (FP7, H2020) and a UK ESRC grant, developing frameworks for conservation decision-making, digital cultural heritage management, and visitor-centric cultural systems. Notable work includes the ACUX recommendation system and semantic middleware for smart cultural spaces. His research bridges diverse domains like filmmaking, dance, and heritage preservation, emphasizing visual knowledge representation and cross-disciplinary collaboration. He has also explored socio-cultural issues, such as migration narratives through a Greek lens, showcasing his commitment to socio-technical integration in humanities research. Grants/Projects : EU FP7, H2020, ESRC (UK), and the Acropolis of Ancient Tiryns Conservation OpenLab. Labs/Teams : Collaborator in the Acropolis of Ancient Tiryns OpenLab, focusing on digital media modeling and conservation.
Vasileios Tenentes is an Associate Professor at the Department of Computer Engineering and Informatics, University of Ioannina, Greece. He has held research positions as a Postdoctoral Researcher at the University of Southampton (2014–2018) and a Research Engineer at ARM Ltd (2017–2018). His work focuses on reliability engineering and energy efficiency in embedded systems, with expertise in hardware/software co-design, fault modeling, and VLSI architectures. Education: B.Sc. in Computer Science, University of Piraeus, 2003 M.Sc. in Computer Science, University of Ioannina, 2007 Ph.D. in Computer Science and Engineering, University of Ioannina, 2013 Research Interests: He investigates design methodologies for testability, dependability (reliability, availability, maintainability, security), and energy efficiency in digital systems. His work addresses challenges in many-core architectures, signal/power reliability characterization, and wear-out effects in IoT applications. He contributed to the PRiME project (collaborating with Imperial College, Manchester, Newcastle, and industry partners like ARM Ltd) to optimize embedded system performance and reliability. Scientific Awards: Best Doctorate (Aristoukhos Didaktes) in Informatics, University of Ioannina (2013) Advising and Grants: Advises students via MS Teams under the 'student advisor' program. His Ph.D. research was funded by the Hercules II program, which accepted only 10% of proposals. He co-developed novel architectures for control systems and participated in the PRiME project, a collaborative effort to reduce energy consumption and improve reliability in multi-core embedded systems. Labs and Teams: Affiliated with the VLSI Systems and Computer Architecture Laboratory (VCAS) at the University of Ioannina, focusing on advanced system design and reliability assessment.
Karagiorgos Grigorios holds the capacity of Lecturer outside the Department of Computer Engineering at the Technological Educational Institute of Peloponnese. His affiliation is explicitly noted as 'Teachers outside the department,' though no further roles or administrative positions are detailed in the provided text. Contact information is available via email: greg@di.uoa.gr . Research interests and academic contributions are not explicitly listed in the source material, but given his departmental affiliation, potential fields of focus might include computer engineering disciplines such as software systems, networking, or cybersecurity. No grants, awards, or publications are mentioned. Despite the absence of detailed academic output, his presence in the faculty listings indicates an active role in teaching or research support within the institution.
Kranitis Nektarios is a Lecturer at the Department of Informatics and Telecommunications, National and Kapodistrian University of Athens. His research focuses on FPGA-based hardware architectures, space-grade computing, and image compression standards like CCSDS, with applications in satellite systems and reliable data processing. Primary affiliation: National and Kapodistrian University of Athens Department: Informatics and Telecommunications Research interests center on space-grade SRAM FPGAs , LDPC encoding , hyperspectral image compression , and software-based self-test methodologies for embedded systems. His work addresses high-speed data processing and fault tolerance in satellite communications. Key trends in his publications include CCSDS standard implementations , hardware accelerators for image compression, resilience to SEUs , and energy-efficient testing techniques for microprocessors. Topics span space systems , parallel computing , and digital circuit design .
Avraam Hatzopoulos is an Assistant Professor at the Department of Industrial Design and Production Engineering of the University of West Attica. His academic work focuses on Embedded Automation, Mechatronics Systems, and Educational Autonomous Robotic Systems within the broader field of Industrial Production Systems. He leads the Industrial Systems and Mechatronics Applications Research Laboratory. Mechanical Automation Degree Master of Telematics Project Management (Danube University of Krems, Austria) Master of Information and Communication Technologies for Education (National and Kapodistrian University of Athens) PhD in Industrial Systems (University of West Attica) His research spans multiple domains including: Embedded systems with automation emphasis Industrial mechatronics applications Small-scale educational robotics STEM education methodologies Predictive maintenance techniques IoT applications in agriculture and smart homes His recent publications analyze trends in: Open-source drone development for engineering education Big data in pharmaceutical sector optimization Low-cost robotics platforms using Arduino Technology Acceptance Model (TAM) evaluations Predictive maintenance with neural networks IoT agricultural education tools Scientific achievements include: Patent on polymorphic robotics testing base (2005) Founder of University of Piraeus Robotics Academy (2017) Contributor to Mechatron educational platform (since 2000) Teaching portfolio includes: Undergraduate: Microcontroller Design, Mechatronics, Robotics, Automotive Design Postgraduate: UAV Applications, Embedded Systems, Production Automation
Dimitrios Dechouniotis is an Assistant Professor at the Department of Electrical and Computer Engineering within the School of Electrical and Computer Engineering at the University of Patras . His career spans roles in academia, research institutions, and public administration. 2004: Diploma in Electrical Engineering (University of Patras) 2006: MSc in Automation Systems (NTUA) 2014: PhD in Electrical and Computer Engineering (University of Patras) His research focuses on Systems & Control Theory , Cyber-Physical Systems , Robotics , Cloud Computing , and 5G Communications . Recent publications highlight work in edge computing , network slicing , and resource orchestration for IoT and robotics applications. He has participated in over 10 national and European research projects related to telecommunications and Industry 4.0. His technical contributions include frameworks for edge-cloud continuum orchestration , blockchain-based slice orchestration , and energy-aware resource allocation , with a strong emphasis on system modeling and control-theoretic approaches. Contact: dechouniotis@uop.gr | Office: Building Z, 2nd Floor
Dimitrios Soudris is a Professor at the School of Electrical and Computer Engineering, National Technical University of Athens (NTUA), leading the Microprocessor and Digital Systems Lab (MicroLab). Previously, he served as Lecturer, Assistant, and Associate Professor at Democritus University of Thrace from 1995 to 2008. Diploma in Electrical Engineering (1987), University of Patras PhD in Electrical Engineering (1992), University of Patras His research focuses on Embedded Systems , Reconfigurable Architectures (FPGAs) , Hardware Accelerators for data centers/space/cloud, Edge Computing , and Low Power VLSI Design . Recent publications highlight trends in: AI/ML acceleration for edge and space applications Secure FPGA architectures for 6G networks Energy-efficient heterogeneous memory systems Approximate computing techniques Transformer optimization for low-power contexts Scientific Awards: INTEL and IBM awards (project LPGD #25256) HiPEAC, DAC, and ISCA awards (2010–2024) XILINX Open Hardware Design Contest (2017, 2019, 2021) He has coordinated >70 R&D projects funded by the European Commission, ENIAC-JU, ESA, and industry partners. As Associate Editor of ACM TODAES and conference chair (PATMOS, VLSI-SOC), he contributes to academic leadership. His lab, MicroLab, specializes in hardware-software co-design for emerging computing paradigms.
Eran Yahav is an Associate Professor in the Computer Science Department at the Technion - Israel Institute of Technology. He previously served as a research staff member at IBM T.J. Watson Research Center from 2004 to 2010. His academic journey began with a B.Sc. from the Technion in 1996, followed by a Ph.D. from Tel Aviv University in 2005. Yahav's research focuses on program analysis, program synthesis, program verification, and machine learning for programming. His work bridges theoretical foundations with practical applications, particularly in developing techniques that help programmers work more effectively with complex frameworks and APIs. He has pioneered approaches that combine static analysis with machine learning to address challenges in code search, completion, and understanding. His recent work heavily intersects with neural network applications to programming tasks, demonstrating how deep learning can enhance traditional program analysis techniques. His publication record shows a clear evolution from traditional program analysis and verification toward integrating machine learning with programming language processing. The most recent articles reveal a strong focus on neural methods for code understanding, including structural language models, adversarial examples for code models, and neural approaches to binary analysis and program synthesis. This represents a significant shift toward leveraging AI techniques to solve longstanding problems in programming languages and software engineering. Yahav has received numerous accolades including the prestigious Alon Fellowship for Outstanding Young Researchers, the Andre Deloro Career Advancement Chair in Engineering, and an ERC Consolidator Grant. He also earned best paper awards at ISSTA 2006 and 2007. As an advisor, Yahav has mentored numerous Ph.D. and Master's students who have gone on to make significant contributions in academia and industry. His research has been supported by substantial grants, including the ERC Consolidator Grant. He also serves as CTO at Tabnine, demonstrating the practical impact of his research. Yahav leads multiple research projects including PRIME (Programming with Millions of Examples), Fender (Preserving Correctness under Weak Memory Models), Saint (Synthesis using Abstract Interpretation), and several others focused on program analysis, verification, and synthesis. His work often involves building practical tools that translate theoretical advances into usable software engineering solutions.
Laura Dietz is a tenured Associate Professor in the Department of Computer Science at the University of New Hampshire, where she leads the TREMA lab. Her academic journey began with a PhD from the Max Planck Institute for Informatics in Saarbruecken, Germany (2011), followed by postdoctoral positions at the University of Massachusetts Amherst (2010-2015) and University of Mannheim (2015-2016). Her educational background includes PhD studies at both the Max Planck Institute for Informatics (2007-2011) under Prof. Gerhard Weikum and Prof. Tobias Scheffer, and earlier research at Humboldt University in Berlin. She has built a distinguished career bridging theoretical computer science with practical applications in information retrieval and machine learning. Dietz's research primarily focuses on the intersection of information retrieval, natural language processing, and knowledge graphs, with a parallel research initiative in watershed data science. She is particularly known for her work on entity-aspect linking, complex answer retrieval, and the vision of automatic Wikipedia construction. Her approach integrates fine-grained knowledge annotations with text understanding to create comprehensive information systems that go beyond traditional 10-blue-links search paradigms. In watershed data science, she applies similar machine learning techniques to environmental data streams, focusing on solute transport analysis during storm events. Her recent publications reveal a strong trend toward fine-grained semantic understanding, particularly in entity-oriented search tasks. She has pioneered methods for entity-aspect linking that significantly improve retrieval accuracy by capturing different contexts in which entities appear. Her work increasingly integrates knowledge graphs with neural architectures, showing sophisticated understanding of how to leverage both structured and unstructured information for better search experiences. Best paper award at JCDL 2018 for work on entity-aspect linking NSF CAREER Award (2019-2023) for "Utilizing Fine-grained Knowledge Annotations in Text Understanding and Retrieval" OSSI Award 2013 from UMass ICB3 for open-source hardware/software Dietz actively mentors PhD and Masters students through the TREMA lab, with current research focusing on entity ranking, topic extraction, conversational search, and watershed forecasting. Her grant portfolio includes the NSF CAREER award and funding from the Northeast Big Data Innovation Hub for forecasting salinity in rivers during storm events. She has also coordinated the TREC Complex Answer Retrieval track (2017-2019), creating important benchmarks for the IR community. The TREMA lab (Text Retrieval, Entity Modeling, and Applications) serves as the hub for Dietz's research activities, bringing together students and collaborators to work on cutting-edge problems in information access. The lab's work spans both theoretical contributions to information retrieval and practical applications in domains ranging from environmental science to scientific publication analysis.
Derek Dreyer serves as Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS) and holds the position of Honorarprofessor (Honorary Professor) of Computer Science at Saarland University's Saarland Informatics Campus. With a PhD from Carnegie Mellon University, he has established himself as a leading researcher at the intersection of programming language theory and practical software verification. Dreyer's research focuses on developing formal methods that bridge theoretical foundations with real-world systems programming challenges. His work has significantly advanced the theoretical understanding of programming languages, particularly in the areas of type systems, separation logic, and concurrency. He is renowned for his contributions to the formal verification of the Rust programming language, including the influential RustBelt project. His recent publications demonstrate a consistent focus on making formal verification practical for industrial-strength codebases. The research trajectory shows increasing sophistication in handling complex systems properties while maintaining theoretical rigor. His work spans from foundational logical frameworks to applied verification techniques for specific language features and system components. As an academic leader, Dreyer has served as Program Chair for major conferences including POPL and ICFP, and has mentored numerous students and postdocs. He is known for his insightful commentary on academic life, including a widely-read blog post addressing impostor syndrome in research careers. Dreyer leads a vibrant research group at MPI-SWS that collaborates extensively with both academic and industrial partners. His team's work has influenced both theoretical developments in programming languages and practical verification tools used in industry.
José Fragoso Santos is an Assistant Professor in the Department of Computer Science and Engineering at Instituto Superior Técnico, University of Lisbon, and a member of INESC-ID where he conducts research as part of the SAT group. His research focuses on embedding formal methods into software development processes, with particular emphasis on JavaScript program analysis and verification. His educational background includes: PhD in Computer Science from University of Nice Sophia Antipolis (2014) Master's degree in Information Systems and Computer Engineering from Instituto Superior Técnico, Universidade de Lisboa (2008) Dr. Santos' research centers on JavaScript verification, symbolic execution, and secure information flow. He led the development of JaVerT, the first separation-logic-based tool for JavaScript analysis and testing, which has gained significant interest from both industry and academia. His work bridges theoretical formal methods with practical applications, particularly in web security and program analysis. He has made substantial contributions to understanding JavaScript semantics, symbolic execution techniques, and secure information flow in web applications, with publications in premier venues like PLDI, POPL, and ECOOP. His recent publications demonstrate a strong focus on symbolic execution for JavaScript and related languages, with applications in web security and program verification. The research shows progression from foundational work on information flow security to advanced techniques like compositional symbolic execution and multi-language analysis platforms. His work on JaVerT and Gillian has established significant research directions in program analysis for dynamic languages. His notable scientific achievements include: Facebook research award for the JaVerT project Dr. Santos has supervised numerous graduate students on projects related to JavaScript verification, symbolic execution, web security, and formal methods. His research has practical applications, as evidenced by the collaboration with Amazon R&D engineers to verify critical components of the AWS Encryption SDK using JaVerT. He has served on program committees for major conferences including PLDI, OOPSLA, and IJCAI, demonstrating his standing in the programming languages community. As a member of the SAT group at INESC-ID, Dr. Santos collaborates with researchers working on formal methods, program verification, and software security. His current projects include extending JavaScript symbolic execution to Web Workers, developing formal semantics for JavaScript regular expressions, and creating first-order solvers for program analysis. He continues to push the boundaries of what's possible in JavaScript program analysis and verification.
Anil Madhavapeddy is the Professor of Planetary Computing at the University of Cambridge Computer Laboratory, where he co-leads the Energy & Environment Group and is a member of the Systems Research Group. He is also a Fellow at Pembroke College where he serves as Director of Studies in Computer Science. Madhavapeddy completed his PhD from the University of Cambridge in 2003 and his BEng in Information Systems Engineering from Imperial College in 1999. He holds a JM Keynes Fellowship since 2022 for his work combining computer science with economics, and serves on the management committee of the Cambridge Conservation Initiative where he co-directs 4C (Cambridge Centre for Carbon Credits) and the Centre for Earth Observation. His research spans computer systems and programming languages with a strong focus on applying these technologies to global conservation, biodiversity, and climate change challenges. He leads the OCaml Labs group and has made significant contributions to open-source projects including OCaml, Docker, Xen, and OpenBSD. His work often bridges computer science with environmental science, developing computational approaches to address planetary-scale challenges. Madhavapeddy's recent publications demonstrate a clear trajectory toward integrating programming language research with environmental monitoring and conservation. His work spans from foundational programming language techniques to applied geospatial computing systems, with increasing emphasis on biodiversity measurement, carbon credit systems, and planetary-scale environmental monitoring. JM Keynes Fellowship (2022-present) As an educator, Madhavapeddy teaches undergraduate courses including Foundations of Computer Science, Software & Security Engineering, and Cloud Computing. He mentors MPhil and PhD students and co-founded the award-winning book 'Real World OCaml' (2nd Edition, 2022). He has co-founded several companies including Unikernel Systems, High Energy Magic, Segfault, and Tarides to translate research into real-world impact. Madhavapeddy leads the OCaml Labs group at Cambridge and works closely with the Energy & Environment Group, collaborating with colleagues from Plant Sciences, Zoology, Economics, and NGOs including UNEP-WCMC and the IUCN. His current efforts are primarily focused on conservation technology through partnerships with organizations like Canopy PACT.
Marc Pouzet is a Professor at École Normale Supérieure (ENS) in the Department of Computer Science (DIENS), where he serves as Director of CS studies. He leads the INRIA project-team PARKAS and was a Junior Member of the Institut Universitaire de France (2007–2012). His research centers on synchronous programming languages for safety-critical embedded systems, with contributions to real-time software verification, hybrid systems modeling, and probabilistic reactive programming. Research Focus Pouzet's work bridges theory and practice in: Synchronous Languages : Design/extensions of Lustre, Lucid Synchrone, and Zelus for embedded control Formal Methods : Mechanized semantics (Coq) and verified compilers (Vélus) for correctness guarantees Hybrid Systems : Integrating ODEs with discrete logic (ProbZelus for probabilistic inference) Real-time Systems : Scheduling, latency constraints, and memory-safe compilation Awards & Leadership Inria–Académie des sciences Innovation Award (2016) Program committees: EMSOFT, PLDI, POPL, ECRTS Associate Editor: EURASIP Journal on Embedded Systems Advising & Projects Supervised 19+ PhD students on topics spanning compiler verification (Bourke, Pesin), probabilistic languages (Baudart), and hybrid systems (Pauget). Leads development of open-source tools: Zelus (synchronous language with ODEs) Vélus (verified Lustre compiler) ReactiveML (reactive extension of OCaml)
