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

Dollas Apostolosمشاهده پروفایل

استاد

• Reconfigurable Computing
• Hardware Architecture
• Embedded Systems
• +۴ مورد دیگر

Professor Dollas Apostolos serves as a Professor in the School of Electrical and Computer Engineering at the Technical University of Crete (TUC), where he has held leadership roles such as Department Chairman. He directs the Microprocessor and Hardware Laboratory, focusing on reconfigurable computing, embedded systems, and high-performance digital systems. His work emphasizes rapid prototyping and real-world implementation of computational solutions. Education: Ph.D., Computer Science, University of Illinois at Urbana-Champaign (1987) M.Sc., Computer Science, University of Illinois at Urbana-Champaign (1984) B.Sc., Computer Science, University of Illinois at Urbana-Champaign (1982) Research Interests: Reconfigurable computing architectures FPGA-based acceleration for bioinformatics and genomics Embedded systems and real-time processing Hardware-software co-design for high-performance computing His research bridges theoretical innovation with practical applications, such as FPGA implementations for genome assembly and aquaculture monitoring systems. Publications: Recent work highlights FPGA-based solutions for bioinformatics (e.g., genome assembly acceleration), real-time embedded systems (e.g., fish cage net monitoring), and scalable data processing frameworks. His articles often explore the intersection of FPGA technology with computational biology, embedded vision, and distributed systems. Awards and Affiliations: Senior Member, IEEE and IEEE Computer Society Recipient of IEEE Computer Society Golden Core and Meritorious Service Awards Twice honored with the University of Illinois Teaching Excellence Award He is a co-founder of IEEE conferences like FCCM and RSP, reflecting his leadership in the reconfigurable computing community. Teaching and Labs: Teaches courses on computer architecture, logic design, and VLSI design. The Microprocessor and Hardware Lab under his direction drives advancements in FPGA-based systems, with projects ranging from bioinformatics hardware accelerators to embedded vision systems.

• Digital Circuit Design
• VLSI Systems
• Low-Power Electronics
• +۳ مورد دیگر

Dr. Dimitrios Bakalis is an Assistant Professor at the Department of Physics, University of Patras, specializing in Digital Electronic Circuits and Systems. He joined the faculty in 2004 and focuses on the design and control of digital circuits, emphasizing low-power testing and built-in self-test (BIST) methodologies. His academic roles include teaching courses such as Computer Programming I, Digital Electronics, and Microcomputer Architecture at both undergraduate and postgraduate levels. Education: Diploma in Computer Engineering and Informatics (University of Patras) Master’s Degree in Computer Science and Technology (University of Patras) PhD in Computer Engineering and Informatics (University of Patras) Research Interests: His work revolves around VLSI design, arithmetic circuits, and low-power techniques. Key areas include modulo arithmetic circuits, fault-tolerant systems, and reconfigurable computing architectures. He has published over 50 papers in top-tier journals and conferences, contributing to advancements in digital circuit efficiency and reliability. Teaching: He instructs core courses in digital electronics and computer architecture, integrating cutting-edge research into his pedagogy. His MSc courses focus on FPGA-based digital system design, emphasizing practical applications. Labs/Teams: His research aligns with the Electronics & Computers sector within the Department of Physics, collaborating on projects involving arithmetic core optimization and low-power testing strategies.

Andy D. Pimentelمشاهده پروفایل

استاد

• Multi-core embedded systems
• System-level design, modeling and simulation
• Design space exploration
• +۷ مورد دیگر

Andy D. Pimentel is a Full Professor at the University of Amsterdam, where he chairs the Parallel Computing Systems (PCS) group within the Systems and Networking Lab at the Informatics Institute. His work focuses on the design, programming, and run-time management of multi-core and multi-processor computer systems, with particular attention to performance, power/energy consumption, system dependability, and design productivity. His academic background includes: PhD in Computer Science, 1998, University of Amsterdam MSc in Computer Science, 1993, University of Amsterdam Professor Pimentel's research spans multiple critical areas in modern computing systems. His primary interests include multi-core embedded systems, system-level design and simulation, design space exploration, performance and power analysis, system dependability, hardware/software co-design, run-time resource management, and Edge AI. His work addresses the growing challenges of making computer systems faster, more sustainable, energy efficient, reliable, and secure in an era of increasing computational demands and climate concerns. The PCS group he leads performs research on the modeling, analysis and optimization of extra-functional aspects of computing systems, which play a pivotal role in their work. An analysis of Professor Pimentel's recent publications reveals a strong focus on edge computing, distributed AI, and energy-efficient system design. His work bridges theoretical computer architecture with practical implementation challenges, particularly in the context of resource-constrained environments. Key trends include the adaptation of AI models for edge devices, thermal management in advanced architectures, and optimization of multi-core systems for both performance and energy efficiency. His research increasingly addresses sustainability concerns in computing, reflecting broader industry and academic priorities. His notable scientific achievements include: IEEE CEDA Outstanding Service Recognition Award DATE Fellow Award Professor Pimentel has served in numerous leadership roles in the academic community, including as General Chair of Design Automation and Test in Europe (DATE) 2024, Vice General Chair of IEEE/ACM Embedded Systems Week 2025, and General Chair of IEEE/ACM Embedded Systems Week 2026. He has secured significant research funding for projects related to sustainable computing, edge AI, and multi-core system design. His professional service includes board membership with the ICT Research Platform Nederland (IPN) since 2020 and leadership roles in major conferences such as DATE, Embedded Systems Week, and SAMOS. The Parallel Computing Systems group he chairs is a vibrant research team within the Systems and Networking Lab at the Informatics Institute. The PCS group focuses on the challenges of modern computing systems, particularly addressing the extra-functional aspects like performance, power consumption, and system dependability. Their work is highly relevant to current technological challenges in edge computing, sustainable systems design, and the integration of AI into resource-constrained environments.

• Computer Architecture
• Scalable System Architecture
• Low-Power Computing
• +۱۴ مورد دیگر

Manolis G.H. Katevenis is a Professor at the Department of Computer Science, University of Crete, and the founder and Head of the Computer Architecture and VLSI Systems (CARV) Laboratory at the Institute of Computer Science (ICS), Foundation for Research and Technology – Hellas (FORTH) in Heraklion, Crete, Greece. He has held academic positions since 1986 and played a pivotal role in establishing the Computer Science Department at the University of Crete. His research spans computer architecture, interconnection networks, VLSI systems, and high-performance computing, with a strong focus on scalable, low-power, manycore systems and RISC-V. He has led numerous European R&D initiatives, including serving as Coordinator of the ExaNeSt project. PhD in Computer Science, University of California, Berkeley (1983) MSc in Electrical Engineering and Computer Science, University of California, Berkeley (1980) Diploma of Electrical Engineering, National Technical University of Athens (1978) Manolis Katevenis's research focuses on advancing scalable system architectures for high-performance and big data computing. His work in computer architecture includes RISC-V, exascale computing, and manycore systems. He has made foundational contributions to interprocessor communication, particularly through remote-write, remote-DMA, and remote-enqueue mechanisms, and has pioneered innovations in interconnection networks and low-latency network interfaces. His research integrates hardware and software co-design to optimize performance, energy efficiency, and scalability in large-scale computing systems. The recent publications highlight a strong trend in exascale computing, interconnection networks, and FPGA-based prototyping of manycore systems. His work emphasizes scalable, low-power architectures, with recurring themes in congestion management, fair scheduling, crossbar design, and hardware-software integration for HPC. The articles span high-impact journals such as IEEE/ACM Transactions on Networking, IEEE Micro, and Computer Networks, reflecting sustained contributions to computer architecture and networking. ACM Doctoral Dissertation Award (1984) David J. Sakrison Memorial Prize (1983) IBM PhD Fellowship (1981–1983) Greek State Fellowship (1973–1978) Stelios Pichoridis Award for Outstanding University Teaching (2015) Member of Academia Europaea (elected 2012) Award by the Secretary General of the Region of Crete (2003) IEEE Milestone recognition for the RISC Project (2015) Manolis Katevenis has supervised over 50 graduate theses and mentored many prominent Greek computer architects, including recipients of the ACM Maurice Wilkes Award. He has served as Principal Investigator or co-PI in over 30 R&D projects with a total budget exceeding 18 million euros, including major European initiatives such as ExaNeSt (which he coordinated), EuroEXA, EcoScale, SARC, ENCORE, and multiple HiPEAC Network of Excellence projects. His leadership extends to project coordination, architectural design, FPGA prototyping, and systems software development. Katevenis founded and leads the CARV Laboratory at FORTH-ICS, a major research team with 80–100 members focused on computer architecture and VLSI systems. The lab has spun off the Distributed Computing Systems (DCS) Laboratory and is central to European exascale computing efforts, including participation in the European Processor Initiative. CARV has developed large-scale prototypes such as the 768-core ExaNeSt system and the Formic FPGA platform for manycore research.

• Biomedical Engineering
• Biomedical Signal Processing
• Entropy Analysis
• +۷ مورد دیگر

Georgios Manis is an Associate Professor in the Department of Computer Science and Engineering at the School of Engineering, University of Ioannina, Greece. He holds a PhD from the National Technical University of Athens and has been a faculty member at the University of Ioannina since 2002, progressing from Lecturer to Associate Professor in 2018. He has also served as temporary teaching staff at the University of Patras, University of Crete, and University of Ioannina in the late 1990s and early 2000s. Education: B.Sc. in Computer Engineering (Diploma), National Technical University of Athens (NTUA), 1987–1992 MSc in Advanced Methods in Computer Science (Distributed and Parallel Systems), Queen Mary, University of London, 1992–1993 PhD in Computer Engineering, NTUA, School of Electrical and Computer Engineering, 1993–1997 His research interests lie at the intersection of Biomedical Engineering and Computing Systems , with a strong emphasis on Biomedical Signal Processing , Entropy Analysis , and Machine Learning . He has pioneered work in Bubble Entropy —a parameter-free entropy measure—and developed fast algorithms for entropy computation. His work also extends to compiler design and parallel computing, particularly in the automatic parallelization of recursive functions and loops. The trends in his recent publications reflect a dual focus: (1) biomedical applications involving entropy, heart rate analysis, and disease diagnosis using machine learning (especially Random Forests and SVMs), and (2) high-performance computing, including parallelization techniques and compiler optimizations for multi-core and SVP architectures. His research is highly interdisciplinary, combining signal processing, algorithm design, and clinical applications. Scientific Leadership and Recognition: Guest Editor, Special Issue on “Entropy in Biomedical Engineering”, Entropy (MDPI) Member of the IPAN Laboratory, University of Ioannina Active contributor to IEEE, Elsevier, and MDPI journals He has supervised several graduate students and is involved in funded research projects such as Palimpsest and Homore , focusing on smart systems for cultural interaction and elderly monitoring. His advising contributions are evident in co-authored papers with students like Evanthia Tripoliti and Aristeidis Mastoras. He teaches both undergraduate and postgraduate courses, including Compilers I/II and Biomedical Data Analysis . Laboratories and Teams: He is a member of the IPAN lab at the University of Ioannina, which supports interdisciplinary research in informatics and biomedical applications. His collaborative network includes researchers from Greece and abroad, particularly in the fields of biomedical signal analysis and entropy-based methods.

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.

Karystinos Georgeمشاهده پروفایل

استاد

• Communication theory and systems
• Coding theory
• Adaptive signal processing
• +۶ مورد دیگر

Prof. George Karystinos is a Professor at the Technical University of Crete (TUC), School of Electrical and Computer Engineering (ECE), where he leads the Telecommunications Laboratory. His academic journey includes a Ph.D. in Electrical Engineering from SUNY Buffalo (2003) and a Diploma in Computer Engineering from the University of Patras (1997). He previously held a faculty position at Wright State University before joining TUC in 2005. His research focuses on communication theory, coding, adaptive signal processing, wireless systems, and neural networks. Key interests include spreading code design, interference suppression, adaptive antenna arrays, and noncoherent detection techniques. His work has led to advancements in power line communication, MIMO systems, and low-complexity decoding algorithms. Prof. Karystinos has received prestigious awards, including the 2003 IEEE Transactions on Neural Networks Outstanding Paper Award and the 2001 IEEE International Conference on Telecommunications Best Paper Award. He is an active member of IEEE societies in Communications, Signal Processing, and Information Theory. He teaches core courses such as Signals and Systems , Information Theory and Coding , and Probability and Random Processes . His laboratory emphasizes practical applications of theoretical concepts, with recent projects on smart photovoltaic systems and cascaded H-bridge converter control. His research spans 20+ years, yielding over 80 publications in top journals/conferences. Current efforts address challenges in IoT communication, noncoherent detection for RFID, and energy-efficient signal processing. He collaborates internationally on projects funded by Greek and EU research programs.

• Formal Methods
• Software Dependability
• Software Security
• +۷ مورد دیگر

Panagiotis Katsaros is a Professor at the Department of Informatics, Aristotle University of Thessaloniki. His research focuses on Formal Methods, Software Dependability & Security, and Internet of Things (IoT) systems. 1992: Dipl. in Mathematics, Aristotle University 1993: M.Sc in Software Engineering, Aston University 2002: PhD in Informatics, Aristotle University His work integrates model-based design with probabilistic verification to address challenges in embedded systems , IoT , and cloud environments . He has pioneered methodologies for correctness-by-construction and security-aware elasticity in distributed systems. Recent publications (2015-2019) highlight trends in multi-core embedded systems , probabilistic model checking , and logical error detection . His research bridges formal verification with practical system design . Scientific Recognition Best Paper Award at 17th Panhellenic Conference on Informatics (2013) Best Paper Award at 15th Panhellenic Conference on Informatics (2011) He has supervised PhD students Stylianos Basagiannis and Anakreon Mentis , and contributes to the Dependability & Security Group (DSG A.U.Th) . His work impacts spacecraft design , cloud security , and transaction processing systems .

• Embedded Systems
• Real-Time Systems
• Parallel Computing
• +۹ مورد دیگر

Prof. Miltiadis Grammatikakis is a Professor of Programming Languages at the Department of Computer Science, Technological Educational Institute of Crete. His academic journey includes MSc (1985) and PhD (1991) in Computer Science from the University of Oklahoma, USA. He has held academic and research roles across institutions such as Technische Universität Lyon, Universities of Hildesheim and Oldenburg, and collaborated with organizations like FORTH, ST Microelectronics, and Xilinx. His research focuses on embedded systems, real-time systems, parallel architectures, system security, and network-on-chip (NoC) design. Notable contributions include the OCCN open-source NoC design tool (Gold Trophy Award winner) and the STNoC framework. He has authored over 80 peer-reviewed articles and two books, including a landmark text on parallel systems recognized by IEEE. Prof. Grammatikakis coordinates multiple EU and national projects (22 EU programs: H2020, FP7, etc.) and has pioneered open-source initiatives in real-time embedded systems. His awards include the IEEE Network Editor's Choice Award and listings in Marquis Who's Who and IBC. He teaches 'Operating Systems' and 'System Software,' and co-leads graduate courses in embedded systems and multi-core architectures. Key Projects: IPSIM library, STNoC design, OCCN open source framework, NoC Firewall hardware. Grants: 22 EU programs (incl. H2020, FP7), 4 national grants (DAAD, Archimedes). Labs/Teams: Programming Languages Lab (TNMS-A), Open Source Community Projects (6 coordinated).

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

مدرس

• Machine Learning
• Industrial Automation
• Federated Learning
• +۳ مورد دیگر

Andreas Ronald Short is a member of the academic staff in the Department of Industrial Design and Production at the University of West Attica since 2018. He teaches undergraduate courses including Electrical Circuits, Design of Electromechanical Installations, and Industrial Automation - PLC, alongside postgraduate courses in Production and Service Automation and New Technologies in Shipping and Transportation. His educational background includes: Bachelor of Science in Automation Engineering from the University of Piraeus (2006) Master of Science in Control Systems from the University of Sheffield, UK (2011) PhD candidate in Machine Learning and Distributed Ledger Technologies Mr. Short's research focuses on industrial applications of computational intelligence. His core work in Machine Learning for industrial production integrates Federated Learning with Blockchain to address security and fairness challenges, while his expertise in PLC/SCADA systems drives innovations in low-cost safety solutions and infrastructure monitoring. This dual-track approach bridges theoretical AI advancements with practical industrial implementations across manufacturing and critical infrastructure sectors. Publication trends reveal a strategic shift from foundational industrial control systems (evident in early robotics and SCADA work) toward securing distributed machine learning architectures. Recent outputs demonstrate sophisticated convergence of blockchain and federated learning to solve real-world industrial problems, particularly in safety-critical environments and resource-constrained settings. He conducts research within the Industrial Systems and Mechatronics Applications laboratory, where experimental work on automation safety mechanisms and distributed ledger integrations directly informs both his teaching curriculum and industrial collaborations.

David Greggمشاهده پروفایل

استاد

• Software performance optimization
• Embedded systems
• Accelerating deep neural networks on embedded systems
• +۱۲ مورد دیگر

David Gregg is a Professor in the Department of Computer Science at Trinity College Dublin's School of Computer Science and Statistics, where he serves as Global Director for Computer Science (since 2020) and previously as Head of the Discipline of Software and Systems (2018-2022). His research focuses on software performance optimization and embedded systems, with particular expertise in accelerating deep neural networks on resource-constrained platforms. He teaches Systems Programming (CS2014/5) and Concurrent Systems I (CS3014). Gregg's research spans multiple areas of computer systems including: Compiler optimization and program analysis Processor microarchitecture and parallelism (multi-core, vector, instruction-level) Computer arithmetic and domain-specific languages Low-energy embedded systems and FPGA implementations Deep neural network acceleration He has served on numerous program committees including PACT, PLDI, CC, and other major computer systems conferences, and has been on the Board of Distinguished Reviewers for ACM TACO multiple times. Professor Gregg has advised numerous PhD and MSc students, many of whom have gone on to prominent positions at companies like Intel-Movidius, Google, Amazon, and Synopsys. He leads the triNNity project which includes optimized libraries and compilers for implementing convolutional neural networks on CPUs.

• Compilers
• Computer Architecture
• High-Performance Storage
• +۵ مورد دیگر

Mahmut Taylan Kandemir is a Professor in the Department of Computer Science at Pennsylvania State University. His research spans optimizing compilers, runtime systems, embedded systems, I/O, high-performance storage, and power-aware computing. He leads the Microsystems Design Lab and collaborates with institutions like Argonne National Lab, Microsoft, and Intel. Education: B.S. Computer Engineering, Istanbul Technical University (1988) M.S. Computer Engineering, Istanbul Technical University (1992) Ph.D. Computer Science, Syracuse University (1999) Research Focus: Dr. Kandemir's work integrates hardware-software co-design to address challenges in multi-core architectures, non-volatile memory systems, and energy efficiency. His recent projects explore 3D NAND flash optimization, near-data computing, and reliability in heterogeneous systems. Key themes include reducing data movement overhead, enhancing storage longevity, and developing compiler-directed solutions for emerging hardware. Publications: His articles frequently appear in premier venues (PLDI, ASPLOS, HPCA) and emphasize memory hierarchy optimization, security, and parallelism. Trends include hardware-assisted resilience, approximate concurrency, and energy-efficient VR streaming. Awards: Premier Research Award, Penn State Engineering Society (2017) IEEE Fellow NSF CAREER Award (2000) Best Paper Awards (IPDPS 2008, ICPADS 2006) Top ACM Digital Library Download (2006) Advising & Grants: He has graduated 32 Ph.D. and 20 master's students, with 15 Ph.D. and 5 master's students currently advised. His research is funded by NSF, DARPA, DOE, and industry partners. Active projects include: NSF/OAC: Re-Engineering Galaxy for Performance (2019-2023) NSF/SHF: 3D NAND Flash Optimization (2019-2022) NSF/SPX: Heterogeneous Intermittent Accelerators (2018-2022) Labs & Teams: Leads the Microsystems Design Lab, focusing on architecture-compiler co-design. Collaborates with the Storage Systems Research Center and heterogeneous computing groups at Penn State.

• Digital Circuit Design
• Integrated Circuit Testing
• Hardware Design
• +۳ مورد دیگر

Xrysovalantis Kavousianos is a Professor at the Department of Computer Science & Engineering, University of Ioannina, Greece, affiliated with the School of Engineering. He holds a BSc (1996) and PhD (2000) in Computer Engineering from the University of Patras. His research focuses on digital circuit design, integrated circuit testing techniques, and fault-tolerant systems, with expertise in 3D-SoC testing, test access mechanisms, and low-power testing methodologies. Teaching responsibilities include courses such as Digital Design I (MYY305), Digital Design II (MYY406), and H3 - 3D Systems on Chip. His work emphasizes optimizing testing infrastructure for multi-Vdd, DVFS-based, and multi-core systems, addressing challenges in thermal-aware testing, defect coverage, and energy efficiency. Recent research highlights include time-division multiplexing for 3D-SoCs, X-filling techniques for unmodeled defects, and BIST frameworks for power switches. Publications (2013–2019) concentrate on testing optimization, statistical compression, and hardware reliability in complex systems. Collaborations involve advanced SoC architectures and reconfigurable power management solutions.

• Biomedical Engineering
• Entropy Analysis
• Bubble Entropy
• +۱۳ مورد دیگر

George Manis is an Associate Professor in the Department of Computer Science and Engineering at the School of Engineering, University of Ioannina, Greece. He is a member of the IPAN lab and serves as a Guest Editor for a special issue on 'Entropy in Biomedical Engineering' in the journal Entropy . His research bridges biomedical engineering and computational systems, with a strong focus on entropy-based methods and machine learning for physiological signal analysis. PhD in Computer Science, National Technical University of Athens (1993–1997) MSc in Advanced Methods in Computer Science, Queen Mary, University of London (1992–1993) Diploma in Electrical and Computer Engineering, National Technical University of Athens (1987–1992) His primary research interests include Biomedical Engineering , Entropy Analysis (especially Bubble Entropy), Fast Computation Algorithms , Biomedical Data Classification , Heart Rate Analysis , and Computing Systems with emphasis on parallelization. He teaches postgraduate courses in data analysis and biomedical data processing, and undergraduate courses in compilers. The analysis of his recent publications reveals a consistent trend in developing computationally efficient and robust methods for entropy estimation and classification in biomedical contexts. His work on Bubble Entropy eliminates the need for scale parameters and enhances stability, while his improvements to Random Forests and Support Vector Machines target enhanced diagnostic accuracy in diseases like Alzheimer’s and heart conditions. In computing systems, he has pioneered compiler technologies for parallelizing recursive functions and optimizing runtime scheduling. No scientific awards are explicitly mentioned in the provided text. George Manis has advised or collaborated with several researchers, including Evanthia Tripoliti, Dimitrios Fotiadis, Petros Arsenos, Argyro Kampouraki, and others, indicating active supervision and research leadership. He is currently involved in funded projects such as Palimpsest , an interactive museum system, and Homore , a smart monitoring system for elderly individuals. These projects reflect his interest in applying advanced computing to real-world biomedical and societal challenges. He is affiliated with the IPAN lab and contributes to the development of innovative algorithms for entropy computation and parallel processing. His work on the C2μTC/SL compiler and Ariadne system demonstrates deep expertise in compiler design for specialized architectures like the SVP processor.

• Dependability and Security
• Software Reliability and Security
• Formal Verification
• +۷ مورد دیگر

Panagiotis Katsaros is an Associate Professor at the Department of Informatics, Aristotle University of Thessaloniki. His research spans formal verification, model-based system design, dependability, security, and simulation-based performance analysis. He contributes to rigorous methods for embedded systems, IoT, and fault-tolerant computing. His work focuses on Formal verification and model checking Model-based design for multi-core and embedded systems Dependability and security of distributed systems Probabilistic analysis of security risks He has published extensively on these topics, with recent works addressing reactive streaming software, IoT systems, and cloud elasticity. His research often bridges theoretical rigor with practical applications in real-time and safety-critical domains. Scientific awards include BEST PAPER AWARD at 17th Panhellenic Conference on Informatics (PCI 2013) BEST PAPER AWARD at 15th Panhellenic Conference on Informatics (PCI 2011) He collaborates with international institutions and has supervised students in software verification and distributed systems. His contributions to conferences like ETAPS, DSN, and COMPSAC highlight his expertise in systems analysis and software reliability.