Machine Learning Acceleration Professors and Supervisors in Greece

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

استاد

National Technical University of AthensGreece

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.

پروفایل رسمی دانشگاه

Vissarion Papadopoulosمشاهده پروفایل

استاد

National Technical University of AthensGreece

Vissarion Papadopoulos is a Professor in the Department of Structural Engineering at the School of Civil Engineering, National Technical University of Athens (NTUA). His office is located at the Statics and Aseismic Research Laboratory, with contact details including email vpapado@central.ntua.gr and phone 210 772 4158. He has maintained an active research profile since at least 2016, focusing on advanced computational methods in structural engineering. His primary research domains include: Structural Engineering and Computational Mechanics Stochastic Analysis and Uncertainty Quantification Multiscale Modeling of Composite Materials Machine Learning for Engineering Simulations Optimization of Structural Systems Thermomechanical Behavior of Advanced Materials Analysis of his recent publications reveals a decisive shift toward integrating deep learning frameworks with traditional computational mechanics. His work demonstrates consistent innovation in accelerating solutions for parametric and transient structural problems through transformer networks, Bayesian inference, and physics-informed neural networks. Key application areas include carbon nanotube reinforced composites, sustainable automotive design, and seismic-resistant structures, with emphasis on enhancing computational efficiency while maintaining accuracy. He is affiliated with NTUA's Statics and Aseismic Research Laboratory, which specializes in structural dynamics, earthquake engineering, and advanced computational methodologies for civil infrastructure analysis and design.

پروفایل رسمی دانشگاه

Yufei Dingمشاهده پروفایل

دانشیار

National and Kapodistrian University of AthensGreece

Yufei Ding is an Associate Professor in the Computer Science & Engineering Department at the University of California, San Diego (UCSD), where she leads the PICASSO Lab. Her research spans domain-specific language design, architecture and compiler optimization, and hardware acceleration, with current focus on developing high-performance, energy-efficient, and high-fidelity programming frameworks for quantum computing and machine learning. Dr. Ding received her Ph.D. in Computer Science from North Carolina State University and a B.S. in Physics from the University of Science and Technology of China. Her interdisciplinary background bridges physics and computer science, enabling her to tackle challenges in emerging computing paradigms. Her research interests focus on Compiler Technology, Machine Learning, and Quantum Computing , with specific expertise in domain-specific language design, architecture and compiler optimization, and hardware acceleration. Dr. Ding's work addresses critical challenges in programming frameworks for emerging technologies, particularly in making quantum computing more accessible and efficient through innovative compiler techniques and runtime systems. Dr. Ding's scientific contributions have been recognized with prestigious awards including the NSF CAREER Award (2020) and the IEEE Computer Society TCHPC Early Career Researchers Award for Excellence in High-Performance Computing (2019) . As an active researcher and educator, Dr. Ding serves on program committees for major conferences including PLDI, PPoPP, and SPLASH. She currently has Ph.D. openings in quantum computing and machine learning systems research, as well as a postdoc position in quantum computing for physics Ph.D. candidates with relevant background. Dr. Ding founded and leads the PICASSO Lab at UCSD, which focuses on developing innovative solutions for programming emerging computing technologies. The lab's work bridges theoretical foundations with practical implementations to address real-world challenges in high-performance computing.

پروفایل رسمی دانشگاه

Qirun Zhangمشاهده پروفایل

دانشیار

National and Kapodistrian University of AthensGreece

Qirun Zhang is the Catherine M. and James E. Allchin Early Career Associate Professor in the School of Computer Science at Georgia Institute of Technology. His research focuses on program analysis, compiler optimization, and formal language theory, with numerous publications in top-tier programming language and software engineering conferences including PLDI, POPL, OOPSLA, and FSE. He teaches courses on compilers, program analysis, and software testing. Dr. Zhang's research interests center on improving software reliability and security through advanced program analysis techniques. He approaches problems from perspectives including computational complexity, analytic combinatorics, graph theory, and formal languages. His work often bridges theoretical foundations with practical applications in compiler design and program verification. His recent publications show a strong focus on context-free language reachability, Dyck-language based analyses, and SMT solving techniques. His research demonstrates consistent innovation in making program analysis more precise while maintaining scalability, with applications ranging from debug information validation to software debloating and type inference. PLDI Distinguished Paper Award (2020) SIGSOFT Distinguished Paper Award (2023) OOPSLA Distinguished Artifact Award (2022) Dr. Zhang actively mentors PhD and MS students, with current advisees including Camille Bossut and Benjamin Mikek. His service to the academic community includes Artifact Evaluation Co-Chair roles for PLDI 2025 and 2026, and program committee membership for numerous top conferences including PLDI, POPL, and OOPSLA. He leads research projects including SLOT, Context-Free Language Reachability with Transitive Redundancy Elimination, and Debug Information Validation.

پروفایل رسمی دانشگاه

Gilbert Bernsteinمشاهده پروفایل

استادیار

National and Kapodistrian University of AthensGreece

Gilbert Bernstein is an Assistant Professor in the Computer Science & Engineering department within the College of Engineering at the University of Washington. His research bridges computer graphics and programming languages, with a focus on high-performance domain-specific languages. Previously, he was a post-doctoral scholar at UC Berkeley and MIT working with Jonathan Ragan-Kelley, and received his PhD from Stanford University under Pat Hanrahan. His research interests span Computer Graphics, Programming Languages, High-Performance DSLs, Physical Simulation, Geometry & Topology, Differentiable Programming, Hardware DSLs, Tools for Artists, Fabrication, and Human-Computer Interaction. Bernstein develops languages and compilers that enable efficient computation for creative applications, physical simulations, and graphics rendering systems. His recent publications reveal strong trends in differentiable programming for graphics applications, domain-specific languages for hardware acceleration, and computational approaches to traditional crafts like quilting and knitting. His work consistently combines formal language theory with practical applications in graphics and fabrication. Bernstein actively mentors students across multiple institutions including current advisees Felix Hahnlein (UW Postdoc), Ryan Zambrotta (UW PhD), Haoran Peng (UW PhD), and previous students including Alex Reinking (UC Berkeley PhD 2022, now at Qualcomm) and MacKenzie Leake (Stanford PhD 2021, now at Adobe Research). His lab works on diverse projects including debugging CAD programs, compilers for finite element methods, semantics for knitting machines, algebraic scheduling of tensor programs, and exocompilers for hardware accelerators. Bernstein also collaborates on DSLs for networking, Counterstrike bots, gradient-based optimization, memory management, hardware design, and garment design tools.

پروفایل رسمی دانشگاه

Adam Chlipalaمشاهده پروفایل

استاد

National and Kapodistrian University of AthensGreece

Adam Chlipala is a Professor at the Massachusetts Institute of Technology working at the intersection of programming languages, formal methods, and computer systems. His research focuses on building practical verified systems with end-to-end machine-checked proofs, particularly using the Coq proof assistant. His educational background includes a Computer Science undergraduate degree from Carnegie Mellon University (2003) and a PhD in Computer Science from the University of California, Berkeley (2007). Following a postdoctoral position at Harvard University through 2011, he joined MIT as faculty. Chlipala's research spans multiple domains with strong emphasis on dependent types , verified compilation , and hardware-software co-verification . His work consistently bridges theoretical foundations with practical implementation, as evidenced by his development of the Ur/Web programming language and his focus on creating clean-slate hardware-software stacks with formal guarantees. Key research thrusts include cryptographic constant-time verification, side-channel security, and verified tensor compilation. His recent publications (2020-2025) reveal a clear trajectory toward increasingly complex verified systems, with growing emphasis on hardware-software integration, cryptographic implementations, and performance-critical applications. The work consistently leverages Coq for machine-checked proofs while addressing real-world constraints like timing channels and hardware interfaces. Chlipala is the author of the influential textbook Certified Programming with Dependent Types , which serves as a primary educational resource for Coq at numerous institutions worldwide. His professional activities include significant service to the PL community through program committees for major conferences including PLDI, POPL, ICFP, and CPP. He leads research initiatives connecting hardware and software verification, most notably through the DeepSpec project which aims to build fully verified computing stacks. His current work focuses on practical applications of dependent types for business applications through Ur/Web and verified cryptographic implementations.

پروفایل رسمی دانشگاه

Jaejin Leeمشاهده پروفایل

استاد

National and Kapodistrian University of AthensGreece

Jaejin Lee is a Professor in the Department of Computer Science and Engineering at Seoul National University (SNU) and serves as the Director of the Center for Manycore Programming and Multicore Computing Research Laboratory. He holds a BS in Physics from SNU (1991), an MS in Computer Science from Stanford University (1995), and a PhD in Computer Science from the University of Illinois at Urbana-Champaign (1999), where his research was supported by IBM and Korea Foundation for Advanced Studies fellowships. Research Focus: His work centers on heterogeneous computing systems with expertise in GPU/FPGA programming, deep learning compiler architectures, PyTorch/TensorFlow optimization, and quantum computing simulation environments. Key areas include parallelization techniques and performance enhancement for machine learning frameworks. Publications: His research output demonstrates consistent focus on GPU efficiency, compiler-directed optimizations, and distributed computing, with recent emphasis on deep learning acceleration and error resilience in heterogeneous architectures. Awards & Honors: IEEE Fellow IBM Graduate Fellowship Korea Foundation for Advanced Studies Graduate Fellowship Leadership: Directs the Multicore Computing Research Laboratory and Center for Manycore Programming, focusing on next-generation parallel computing architectures.

پروفایل رسمی دانشگاه

Stefano Markidisمشاهده پروفایل

استاد

National and Kapodistrian University of AthensGreece

Stefano Markidis is a Professor of Computer Science specializing in high-performance computing systems at KTH Royal Institute of Technology in Sweden. He works in the Division of Computational Science and Technology, focusing on supercomputers, quantum computers, and computational methods for scientific simulations. His research spans multiple domains including plasma physics, computational fluid dynamics, and quantum computing. Markidis holds an MS degree from Politecnico di Torino and a PhD in Nuclear Engineering from the University of Illinois at Urbana-Champaign. Prior to joining KTH, he was a graduate research assistant at Los Alamos National Laboratory and Lawrence Berkeley National Laboratory, followed by a postdoc at KU Leuven. His academic journey reflects a strong foundation in both engineering and computational science. His primary research interests include High-Performance Computing , Heterogeneous Systems , and Quantum Computing . Markidis develops computational methods for plasma physics, particle-in-cell simulations, and fluid dynamics. His work bridges theoretical physics and practical computing, with applications in space physics, fusion energy, and materials science. He is particularly known for contributions to parallel computing, GPU acceleration, and the development of scalable simulation frameworks like Neko for computational fluid dynamics. His research increasingly integrates machine learning techniques with traditional numerical methods. Analysis of Markidis' recent publications reveals a strong focus on quantum-classical hybrid computing, advanced particle-in-cell methods, and high-fidelity computational fluid dynamics. His work demonstrates expertise in programming models for heterogeneous architectures including GPUs and quantum processors, with growing emphasis on AI-enhanced scientific computing. R&D100 award (2005) for the CartaBlanca project R&D100 award (2017) for the SHIELDS project Markidis teaches multiple courses at KTH including Applied GPU Programming, Quantum Computing for Computer Scientists, and High-performance Computing for Computational Scientists. He has supervised numerous degree projects across various specializations in computer science and electrical engineering. His research has been supported by various grants related to high-performance computing and quantum technologies, with applications spanning from space physics to medical treatments. Markidis leads research in computational science with a focus on developing frameworks like Neko for extreme-scale computational fluid dynamics. His team works on integrating traditional HPC methods with emerging technologies including quantum computing and AI, contributing to advancements in scientific simulation across multiple disciplines.

پروفایل رسمی دانشگاه

Mayur Naikمشاهده پروفایل

استاد

National and Kapodistrian University of AthensGreece

Mayur Naik is the Misra Family Professor in the Department of Computer and Information Science at the University of Pennsylvania's School of Engineering and Applied Science. He holds office in Room 642B, Amy Gutmann Hall and maintains an active research program focused on the intersection of programming languages and artificial intelligence. Before joining UPenn, he was faculty at Georgia Institute of Technology and a researcher at Intel Labs, Berkeley. Naik received his PhD in Computer Science from Stanford University in 2008 under Alex Aiken, a Masters from Purdue University in 2003 under Jens Palsberg, and a Bachelors from BITS Pilani in 1999. He grew up in Goa, India. His primary research interests center around neurosymbolic programming, which combines symbolic reasoning with machine learning to create more accurate, interpretable, and domain-aware AI systems. His group develops language design, learning algorithms, and compiler optimizations in this space, with their most mature effort being the Scallop neurosymbolic programming language and compiler toolchain. He also conducts research in trustworthy AI for healthcare applications and AI-enabled programming tools that improve programmer productivity. Analysis of his recent publications shows a strong trend toward neurosymbolic programming frameworks (Scallop, TorchQL), LLM-assisted program analysis (IRIS), and applications of these techniques to security, healthcare, and computer vision. His work consistently bridges theoretical foundations with practical implementations, often releasing open-source systems. Misra Family Professor (endowed chair, effective July 2024) Multiple distinguished paper awards (PLDI 2019, FSE 2015, PLDI 2014) Test-of-Time Paper Awards (FSE 2013, FSE 2012, EuroSys 2011) His student Elizabeth Dinella won the 2025 ACM SIGSOFT Outstanding Dissertation award Naik has advised numerous PhD students who have gone on to faculty positions at top institutions including Peking University, University of Toronto, Ashoka University, Bryn Mawr College, and Johns Hopkins University. His research is supported by grants from NSF, Google, Amazon, and other industry partners. His lab maintains active collaborations with clinicians and bioinformatics researchers to apply neurosymbolic programming to healthcare problems. His research group, which includes current PhD students and postdocs, develops practical open-source systems and applies them to diverse domains including computer vision, cybersecurity, medicine, and bioinformatics. The group maintains strong industry connections with Google, Microsoft, Amazon, and other tech companies.

پروفایل رسمی دانشگاه

Kunle Olukotunمشاهده پروفایل

استاد

National and Kapodistrian University of AthensGreece

Kunle Olukotun is a Professor of Electrical Engineering and Computer Science at Stanford University's School of Engineering, where he has been faculty since 1991. He directs the Stanford Pervasive Parallelism Lab (PPL) and co-leads the Transactional Coherence and Consistency (TCC) project. His research focuses on computer architecture, parallel programming environments, and scalable parallel systems. Key areas include chip multiprocessors (CMPs), transactional memory systems, domain-specific languages (DSLs) for heterogeneous computing, and hardware-software co-design for machine learning workloads. His work bridges theoretical foundations with practical systems implementation. Notable contributions include the Stanford Hydra research project (one of the first chip multiprocessors with thread-level speculation), founding Afara Websystems (acquired by Sun Microsystems), and developing the Niagara processor architecture. His DSL frameworks like Green-Marl and Spatial enable efficient graph analysis and hardware acceleration. His publications reveal strong trends in parallel systems evolution: from foundational CMP research (2000s) to transactional memory (2004-2010), then DSLs for heterogeneous computing (2010-2015), and currently foundation model systems (2023-2025). Subfield analysis shows consistent focus on hardware-software co-design, sparse computation, and compiler techniques across decades. ACM Fellow (2006) for contributions to multiprocessors on a chip and multi-threaded processor design Best Paper Award at IEEE International Symposium on Workload Characteristics (IISWC '10) for EigenBench Olukotun actively mentors researchers through the Stanford Pervasive Parallelism Lab (PPL), which seeks to proliferate parallelism across application domains. His projects have secured significant industry partnerships, including the acquisition of his startup Afara Websystems by Sun Microsystems. Current research focuses on compiler frameworks for foundation model systems and hardware acceleration for sparse machine learning workloads, supported by collaborations with major tech companies. He leads the Stanford Pervasive Parallelism Lab (PPL), which develops compiler and runtime systems for heterogeneous architectures. The lab's work spans DSLs, hardware acceleration, and parallel programming models, with strong industry ties to companies like NVIDIA and Google. Current initiatives include the Mosaic compiler framework and Stardust architecture for sparse tensor computation.

پروفایل رسمی دانشگاه

Fernando Magno Quintão Pereiraمشاهده پروفایل

دانشیار

National and Kapodistrian University of AthensGreece

Fernando Magno Quintão Pereira is an Associate Professor at the Federal University of Minas Gerais (UFMG), Brazil, specializing in compiler design and program analysis. His academic journey began with a Ph.D. from UCLA in 2008 under Jens Palsberg's supervision, establishing his foundation in compiler research. His research focuses on compilers , with core expertise in code generation , compiler optimizations , and static program analyses . Recent work explores quantum compilation, binary analysis, and security-aware compilation techniques. His publications reveal consistent contributions to major conferences including PLDI, CGO, and SPLASH, with emphasis on practical optimization frameworks and theoretical compiler advancements. Analysis of his 15 most recent publications (2020-2026) shows dominant themes in binary optimization (e.g., AnghaBench), security-aware compilation (e.g., Memory-Safe Elimination of Side Channels), and emerging architecture support (e.g., Quantum Computing Compilation). His work bridges theoretical compiler principles with real-world systems challenges. He actively contributes to the academic community through: Program committees for PLDI (2020-2025), CGO (2021-2026), and SPLASH conferences Leadership roles including CGO Finance Chair (2026) and PLDI Diversity & Inclusion Co-Chair (2023-2024) Organizing JENSFEST 2024 and serving on multiple conference steering committees Pereira maintains an active research group evidenced by continuous publication output and conference leadership, with his personal website ( homepages.dcc.ufmg.br/~fernando/ ) serving as a hub for his academic activities.

پروفایل رسمی دانشگاه

Angelo Sifalerasمشاهده پروفایل

استاد

University of MacedoniaGreece

Angelo Sifaleras is a Full Professor at the Department of Applied Informatics, School of Information Sciences, University of Macedonia (Thessaloniki, Greece). He also serves as an Adjunct Professor of Quantitative Methods at the Hellenic Open University. His academic credentials include a Ph.D. in Applied Informatics (University of Macedonia, 2007) and a B.Sc. in Mathematics (Aristotle University of Thessaloniki, 1999). Research Focus: Professor Sifaleras specializes in Mathematical Programming , Network Optimization , and Heuristic Methods . His work integrates computational optimization with real-world logistics, supply chains, and sustainable systems. Key research themes include metaheuristic algorithms for vehicle routing, pollution-aware logistics, and parallel computing solutions for network analysis. Publication Trends: His 15 most recent articles emphasize hybrid metaheuristics (e.g., combining reinforcement learning with Variable Neighborhood Search), sustainable supply chain modeling, and high-performance computing applications. Dominant domains include operations research, environmental optimization, and educational algorithm visualization. Teaching & Service: He instructs courses in Combinatorial Optimization, Linear Algebra, and Heuristic Methods, employing tools like CPLEX, Gurobi, and SageMath. As an editor for Operations Research Forum and the Yugoslav Journal of Operations Research , he supports academic discourse in optimization. A Senior ACM member, he contributes to conferences like ICVNS and ITS.

پروفایل رسمی دانشگاه

John P. Makrisمشاهده پروفایل

استاد

Hellenic Mediterranean UniversityGreece

Professor John P. Makris is a distinguished academic at the Hellenic Mediterranean University where he serves in the Department of Electronics Engineering. With over 25 years of experience in geophysics and seismology, Professor Makris has established himself as a leading researcher in earthquake prediction and seismic monitoring, particularly in the seismically active Hellenic Arc region of Greece. His academic journey began with a BSc in Physics (1992) followed by a PhD in Applied Geo-Electromagnetism (1997), both from the National and Kapodistrian University of Athens (NKUA). Professor Makris has held significant leadership roles including Head of the Department of Electronics Engineering (2008-2012) and Head of the Institute of Natural Resources and Natural Hazards (2005-2015). Professor Makris's research spans several interconnected domains: Seismoelectromagnetic phenomena and earthquake prediction through VAN method Magnetotelluric studies of the Hellenic subduction zone Development of seismic monitoring networks (HC-SNC) Structural health monitoring systems for earthquake zones Integration of machine learning and IoT technologies with seismic monitoring His recent publications (2024) demonstrate a strategic evolution toward incorporating modern computational methods with traditional geophysical approaches. This work focuses on laboratory studies of rock fracturing, smart sensor networks, and analysis of recent seismic sequences in Central Crete. Professor Makris has secured significant research funding throughout his career, with '25+ research projects (funding ~4.5M€)'. His work has resulted in '60+ articles in refereed journals and conference proceedings, 7 monographs' with 815 citations according to ResearchGate metrics. As supervisor of HC-SNC (2002-2024), Professor Makris has led the development of critical seismic monitoring infrastructure in Crete. His laboratory work bridges theoretical modeling and practical instrumentation development, creating comprehensive research opportunities for students and collaborators.

پروفایل رسمی دانشگاه