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

Pavel Panchekhaمشاهده پروفایل

استادیار

• Programming Languages
• Program Synthesis
• Verification
• +۴ مورد دیگر

Pavel Panchekha is an Assistant Professor in the School of Computing at the University of Utah, where he holds the Warnock Chair for Junior Faculty. His research spans programming languages, web browsers, and numerical analysis, with a focus on developing programming language techniques to address challenges across computer science. Dr. Panchekha received his educational training at prestigious institutions: PhD in Computer Science from the Paul G. Allen School for Computer Science and Engineering at the University of Washington, advised by Michael D. Ernst and Zachary Tatlock BS in Mathematics from MIT Panchekha's research program has two major thrusts. First, he works on web browser internals , with projects including fuzzing layout invalidation, multi-tenant garbage collection, and optimizing 2D graphics. He is also authoring a textbook on web browsers that informs much of this research. Second, he focuses on automatic numerical analysis , with projects such as automatic accuracy improvement, synthesis via term rewriting, scalable static accuracy analysis, and math library implementation. He leads the FPBench and Herbie projects, which are major deployments of his research. His scholarly output demonstrates consistent contributions across programming languages, verification, and numerical methods. Recent work shows a growing emphasis on bidirectional typing systems, layout invalidation in browsers, and robust floating-point error analysis. His publications reveal a trajectory from foundational work on floating-point accuracy (notably the Herbie tool that won a Distinguished Paper Award at PLDI 2015) toward more comprehensive systems for program synthesis, verification, and browser optimization. Panchekha has received significant recognition for his research contributions: NSF Fellowship ARCS Foundation Fellowship Adobe Research Fellowship Wissner-Slivka Foundation Fellowship 2015 PLDI Distinguished Paper Award for work on the Herbie numerical analysis and repair tool As an advisor, Panchekha mentors a substantial group of students across multiple levels. He currently advises six students: Marisa Kirisame (PhD), Bhargav Kulkarni (PhD), Yumeng He (PhD), Artem Yadrov (MS), Jesus Ponce (BS), and Jonas Regehr (BS). Previously, he has advised over twenty students including PhD candidates like Ian Briggs and numerous MS and BS students. His advising spans theoretical topics in programming languages and practical applications in web browsers and numerical computing. Panchekha leads research groups focused on programming languages applications to web browsers and numerical analysis. His work on the Herbie tool for floating-point accuracy improvement has become influential in the programming languages community, and his more recent work on browser internals is shaping how researchers understand and optimize modern web rendering engines. He is currently developing a textbook on web browsers that aims to synthesize knowledge about browser architecture and implementation.

Christos Makrisمشاهده پروفایل

دانشیار

• Data Structures
• Information Retrieval
• Data Mining
• +۵ مورد دیگر

Christos Makris is an Associate Professor in the Department of Computer Engineering and Informatics at the University of Patras, Greece. His academic career spans over two decades with significant contributions to computer science, particularly in data structures, algorithms, and information systems. He maintains active research collaborations and supervises graduate students in his areas of expertise. Dr. Makris's research spans several key areas in computer science with a strong focus on efficient data organization and processing. His work encompasses Data Structures , Information Retrieval , Data Mining , String Management and Processing Algorithms , Computational Geometry , Internet Technologies , Bioinformatics , and Multimedia Databases . His interdisciplinary approach bridges theoretical computer science with practical applications across various domains including web technologies, bioinformatics, and emergency response systems. Analysis of Dr. Makris's publication record reveals a consistent research trajectory focused on efficient algorithms for information management. His work demonstrates evolution from foundational data structure research in the 1990s to more applied work in web technologies, social media analysis, and machine learning applications in recent years. A notable pattern is his ability to adapt core algorithmic techniques to emerging application domains while maintaining theoretical rigor. Dr. Makris maintains an impressive scholarly record with over 3,000 citations, an h-index of 29, and an i10-index of 71 according to Google Scholar metrics. These indicators reflect the significant impact of his research within the computer science community. As an active faculty member, Dr. Makris maintains regular office hours on Tuesdays from 18:00-20:00 and Thursdays from 12:00-14:00. He is accessible via email at makri@ceid.upatras.gr or makri@upatras.gr for academic inquiries and student supervision.

• 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.

Laxman Dhulipalaمشاهده پروفایل

استادیار

• Parallel Algorithms
• Graph Processing
• Parallel Graph Algorithms
• +۷ مورد دیگر

Laxman Dhulipala serves as an Assistant Professor in the Department of Computer Science at the University of Maryland, College Park, while also working as a research scientist at Google Research with the Graph Mining team. Dr. Dhulipala earned his Ph.D. from Carnegie Mellon University under Guy Blelloch's supervision and completed a postdoctoral fellowship at MIT with Julian Shun. His research centers on efficient parallel algorithms, particularly for parallel clustering and graph processing, along with developing computational models for emerging hardware technologies. His scholarly output demonstrates significant expertise across parallel computing domains, with particular emphasis on scalable graph algorithms, dynamic data structures, and computational geometry. Dr. Dhulipala's work bridges theoretical computer science with practical systems implementation, producing algorithms that achieve both theoretical optimality and real-world performance. His research group has made substantial contributions to benchmarking frameworks including the Graph Based Benchmark Suite (GBBS) and ParClusterers Benchmark Suite, establishing standardized evaluation methods for graph processing systems. The collective work shows progression from theoretical foundations to practical implementations that handle massive-scale datasets. Best Paper Award at SPAA 2022 Best Paper Runner Up at VLDB 2022 Distinguished Paper Award at PLDI 2019 Memorable Paper Award Finalist at NVMW'20 CMU's SCS Dissertation Award Honorable Mention As an educator, Dr. Dhulipala mentors numerous graduate students while teaching advanced courses in algorithm design and parallel computing. His research collaborations span multiple institutions including Carnegie Mellon University, MIT, and Google Research, reflecting his position at the intersection of academia and industry research.

• Multibody dynamics
• Control of nonlinear systems
• Model predictive control

Michael Mühlebach is a Lecturer at the Department of Information Technology and Electrical Engineering at ETH Zurich, affiliated with the Max Planck Institute for Intelligent Systems in Tübingen, Germany. He received Bachelor (2010) and Master (2013) degrees from ETH Zurich, awarded the Outstanding D-MAVT Bachelor Award and Willi-Studer Prize for top performance. His research specializes in multibody dynamics , control of nonlinear systems , and model predictive control , with applications in robotics and aerospace systems. Publications demonstrate consistent focus on theoretical control frameworks validated through experimental platforms like ducted fans and reaction-wheel systems. Awards: Outstanding D-MAVT Bachelor Award Willi-Studer Prize (Best Master in Robotics, Systems, and Control)

• Electromagnetic Theory
• Holographic and Diffractive Devices
• Optical Interconnects
• +۶ مورد دیگر

Elias N. Glytsis is a Professor at the National Technical University of Athens (NTUA), affiliated with the Department of Electromagnetic Applications, Electro-Optics and Electronic Materials. He previously held a Professorship at the Georgia Institute of Technology (USA) from 1988 to 2003. His research focuses on electromagnetic theory, diffractive devices, optical interconnects, quantum heteromaterials, and numerical methods for electromagnetic problems. Glytsis has published over 115 journal articles, 95 conference papers, and holds 17 U.S. patents with an h-index of 31 (as of 2017). Education: Diploma in Electrical Engineering (NTUA, 1982), M.S. and Ph.D. (Georgia Tech, 1984–1987). Professional memberships include IEEE (Senior Member), Optical Society of America (Fellow), and EURATOM-Hellenic Republic. Research highlights include work on holographic gratings, optical fiber gratings, and plasma-edge RF scattering. He has developed optimization methods for photonic devices and contributed to stochastic modeling via polynomial chaos expansions. Glytsis teaches courses on electromagnetic fields, optical science, and integrated optics at both undergraduate and postgraduate levels. Key technical contributions span microwave interconnects, quantum device modeling, and fusion plasma physics. His methodologies address challenges in material variability, waveguide design, and electromagnetic compatibility.

Efthymios N. Karatzasمشاهده پروفایل

استادیار

• Numerical Analysis
• Computational Mathematics
• Optimal Control
• +۵ مورد دیگر

Efthymios N. Karatzas serves as an Assistant Professor in the Department of Mathematics at Aristotle University of Thessaloniki, Faculty of Sciences, within the Computer Science and Numerical Analysis Section. He maintains an active research profile in computational mathematics with strong institutional affiliations including collaborations with SISSA mathLab and FORTH Institute of Applied and Computational Mathematics. His academic credentials include: PhD in Mathematics, National Technical University of Athens (2015) Master's in Applied Mathematical Sciences – Computational Mathematics, NTUA (2009) Master's in Applied Mathematics, University of Patras (2001) Bachelor's in Mathematics (Computational Mathematics), University of Patras (1999) Dr. Karatzas' research program centers on advanced numerical techniques for partial differential equations , with pioneering work in reduced order modeling , embedded boundary methods , and optimal control systems . His expertise spans computational fluid dynamics, uncertainty quantification, and biomechanical applications, characterized by methodological innovation in handling geometrically complex domains through cut finite element approaches and shifted boundary formulations. Analysis of his 15 most recent publications reveals a cohesive research trajectory focused on developing efficient numerical frameworks for parametrized PDE systems. His work consistently bridges theoretical rigor with practical implementation, particularly in advancing reduced basis methods for fluid-structure interaction and biological modeling, demonstrating significant contributions to computational mathematics through high-impact journal publications. No major scientific awards are documented in the available sources. Dr. Karatzas demonstrates research leadership through project management roles including Scientific Manager for the ELIDEK project at NTUA (2019-2021) and Project Manager for the European Social Fund HEaD initiative at SISSA (2017-2019). His grant administration experience encompasses coordinating interdisciplinary teams and securing external funding for computational mathematics research. He maintains active collaborations with the SISSA mathLab in Trieste (particularly with Prof. Gianluigi Rozza's group) and the FORTH Institute in Crete, participating in international workshops including the Reduced Order Methods in CFD Summer School (2019) and SIAM UQ conferences. His research network spans computational mathematics groups across Europe with emphasis on advancing numerical methodologies for real-world engineering and biological applications.

• Database Systems
• Distributed Systems
• Machine Learning Systems
• +۳ مورد دیگر

Tim Kraska is an Associate Professor in the Department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT), affiliated with the Computer Science and Artificial Intelligence Laboratory (CSAIL) within the School of Engineering. His research spans foundational areas in modern data systems: Database Systems Distributed Systems Machine Learning Systems Learned Indexes Cloud Databases Dr. Kraska pioneers the integration of machine learning into core database components, developing "learned systems" that replace traditional algorithms with ML models for significant performance gains. His work on learned indexes redefined indexing paradigms, while recent research extends this approach to garbage collection, query optimization, and concurrency control. His publication trends reveal a strategic shift toward applying ML to low-level systems problems, particularly in memory management and runtime optimization as demonstrated by his PLDI 2020 paper on Learned Garbage Collection. Award highlights include: ACM SIGMOD Jim Gray Doctoral Dissertation Award VLDB Early Career Research Contribution Award Marie Curie Fellowship At MIT, he leads a research group focused on next-generation data systems, securing grants from NSF and industry partners to explore the theoretical and practical boundaries of learned components in database engines. His team collaborates extensively with industry research labs on real-world deployment challenges. As a core member of CSAIL's distributed systems group, he contributes to MIT's leadership in reimagining data infrastructure for the AI era through cross-lab initiatives on scalable machine learning systems.

Archontia C. Giannopoulouمشاهده پروفایل

دانشیار

• Graph Algorithms
• Structural Graph Theory
• Parameterized Algorithms and Complexity
• +۳ مورد دیگر

Archontia C. Giannopoulou is an Associate Professor at the Department of Informatics and Telecommunications, National and Kapodistrian University of Athens, Greece. Her research focuses on Graph Algorithms, Structural Graph Theory, and Parameterized Algorithms and Complexity. She explores advanced topics such as matching minors, tree-cut width, immersion minors, and kernelization. Her work emphasizes algorithmic design and structural graph theory with applications in combinatorial optimization. Giannopoulou’s academic contributions include seminal papers on edge deletion problems, cutwidth obstructions, and polynomial kernelization. Notable publications include studies on bipartite graphs and their structural properties, as well as algorithmic advancements in parameterized complexity. Her research bridges theoretical foundations with practical algorithmic solutions. Her contact information includes an email at archontia.giannopoulou@gmail.com and a postal address at the University of Athens. Her work spans international collaborations, reflected in co-authored articles with leading researchers in the field.

Sotiris Christodoulouمشاهده پروفایل

دانشیار

• Web Engineering
• Web Application Performance Optimization
• Web Code Quality
• +۷ مورد دیگر

Sotiris Christodoulou is an Associate Professor at the Department of Electrical and Computer Engineering within the College of Engineering at the University of Peloponnese. He also serves as a research associate at the 'Diofantos' Institute of Computer Technology and Publishing. His academic career spans multiple institutions where he has taught graduate and undergraduate courses across seven different universities since 2004. Dr. Christodoulou earned his B.A. in Computer Engineering and Informatics from the University of Patras in 1994 and completed his PhD in Web Engineering from the same institution in 2004. His educational background established the foundation for his extensive research career focused on web technologies and applications. His primary research interests include Web Engineering, Web Application Performance Optimization, Web Code Quality, Semantic Web technologies, Hypermedia Systems, and emerging Web 2.0 and Web 3.0 technologies. His work extends to Virtual Interactive Environments, 3D and Augmented Reality applications, and Spatial Hypertext systems. Christodoulou's research bridges theoretical web engineering principles with practical applications in cultural heritage, education, and urban infrastructure systems. His research output comprises over 45 publications in international journals, book chapters, and conferences, accumulating more than 450 citations. He has participated in over 23 European and National Research and Development Projects focused on web software technology, hypermedia applications, and 3D educational and cultural applications. Professional member of ACM Professional member of IEEE Member of organizing committees for over 15 international scientific conferences Reviewer for recognized international journals (ACM, IEEE, etc.) Christodoulou has extensive teaching experience across seven universities, specializing in programming languages, web software engineering, software quality, and data management. His research projects typically combine applied research with cutting-edge technology implementation for real-world problems in large organizational information systems. He maintains regular office hours at Building K, Office K2.02 at the University of Peloponnese, with appointments available on Mondays and Thursdays.

• Operational Research
• Computational Optimization
• Transportation Logistics
• +۳ مورد دیگر

Emmanouil Zachariadis serves as an Associate Professor at the Department of Management Science and Technology (DMST) within the School of Business at Athens University of Economics and Business (AUEB). He specializes in operational research and computational optimization, focusing on transportation logistics, supply chain systems, and environmental impact minimization. Education : BSc in Chemical Engineering from National Technical University of Athens (NTUA) MSc in Computing Science from Imperial College London PhD in Chemical Engineering from NTUA His research integrates mathematical programming with optimization algorithms for operational challenges in transportation and production systems. He has published 26 articles in top-tier journals, accumulating over 1200 Scopus citations by June 2024. Recent scholarly trends emphasize vehicle routing problems with complex constraints (cross-docking, loading, time windows) and optimization methods for logistics sustainability. His work spans production-routing integration, emergency evacuation planning (EVITA project), and hybrid metaheuristics. Scientific Awards : Teaching excellence award for undergraduate course 'Optimization Methods in Management Science', Dept. of Management Science & Technology AUEB (2021-22) Teaching excellence awards for postgraduate course 'Large Scale Optimization', MSc in Business Analytics AUEB (2020-21, 2021-22, 2022-23) He has participated in European and National research projects, applying his expertise in supply chain optimization and sustainability. His teaching portfolio covers quantitative methods, operational research, and supply chain optimization at both undergraduate and postgraduate levels.

Nikolaos Papaspyrouمشاهده پروفایل

استاد

• Programming Languages
• Software Engineering
• Formal Verification
• +۴ مورد دیگر

Nikolaos Papaspyrou is a Professor at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA) and a member of the Software Engineering Laboratory . His research focuses on the theory and implementation of programming languages, including semantics, type systems, compilers, static analysis, and formal verification. Since October 2021, he has been on leave from NTUA, working as a Software Engineer for Google in the memory management team for the V8 JavaScript and WebAssembly engine. He previously served as Director of the Division of Computer Science (2017-2019) and was on sabbatical with Google's compiler group in Munich (2015-2016). His work includes the RELEASE project (EU FP7 STREP) for reliable large-scale server software and uncertainty handling in distributed databases (European Social Fund). Ph.D. and Diploma in Electrical and Computer Engineering from NTUA M.Sc. in Computer Science from Cornell University His research interests span programming languages , software engineering , and formal verification , with recent publications on coinductive proofs in Liquid Haskell, concurrency semantics, and quantum compilation. He has supervised over 50 diploma projects and mentored numerous students now at institutions like MIT, Princeton, and UC Berkeley. Awards include conference organizing and program committee roles, though no formal scientific prizes are listed.

Iraklis Simosمشاهده پروفایل

دانشیار

• Photonics
• Optical Networks
• Fiber Optics Sensing
• +۴ مورد دیگر

Iraklis Simos is an Associate Professor in the Department of Electrical and Electronics Engineering at the University of West Attica, where he is a member of the WaveComm laboratory. Previously, he served as a Lecturer in the Department of Electronics Engineering at the Technological Education Institute of Piraeus (2012–2018) and conducted research at the Optical Communications Laboratory of the National and Kapodistrian University of Athens (2002–2012). He holds a B.Sc. in Informatics, M.Sc. in Telecommunications Engineering, and Ph.D. in Photonic Devices from the National and Kapodistrian University of Athens (1998–2007). His research focuses on semiconductor and fiber laser dynamics, ultrafast lasers, photonic devices for optical networks, and advanced fiber-optic sensing techniques such as Distributed Acoustic Sensing (DAS) and Microwave Frequency Fiber Interferometry (MFFI) for earthquake monitoring. His work integrates theoretical modeling, experimental validation, and applications in telecommunications, environmental sensing, and infrastructure monitoring. With over 60 peer-reviewed publications, his contributions span high-speed communication systems, optical signal processing, and novel fiber-optic sensor technologies. Recent studies emphasize leveraging commercially deployed fiber-optic cables for seismic monitoring in urban environments (e.g., Athens, Greece), demonstrating the potential of DAS and MFFI for cost-effective earthquake early warning systems. His publications also address synchronization dynamics in laser frequency combs, fiber Bragg grating interrogation, and nonlinear effects in optoelectronic systems. Dr. Simos has advised numerous diploma and doctoral theses, focusing on cutting-edge topics in photonics and optical communications. His research aligns with national and European-funded projects, emphasizing translational applications of photonics in sensing and telecommunications.

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

استادیار

• Numerical Analysis
• Scientific Computing
• Mathematical Modelling
• +۹ مورد دیگر

Costas Smaragdakis is an Assistant Professor in Numerical Analysis and Scientific Computing at the Department of Statistics and Actuarial - Financial Mathematics, University of the Aegean. He is also a Member of the Institute of Applied and Computational Mathematics (IACM) at FORTH. His work bridges numerical methods, machine learning, and applied mathematics, with a focus on solving complex problems in finance and oceanography. Research Interests : Numerical Analysis Scientific Computing Mathematical Modelling Deep Learning Machine Learning Applications to PDEs/PIDEs Recent Research Trends : His articles highlight a strong focus on integrating deep learning with traditional numerical methods for functional minimization, PDE/PIDE solutions, and financial applications. Earlier work emphasizes acoustic signal processing, inverse problems in oceanography, and wavelet-based analysis. Events : Organized a mini-symposium on Machine Learning Methods in Finance (ICCF24, Amsterdam) and attended international workshops in Canada and Greece. Contact : kesmarag@aegean.gr , kesmarag@iacm.forth.gr , Office A5, Vourlioti Building, Karlovassi, Samos, Greece.

• Algorithmic Game Theory
• Fair Division
• Mechanism Design
• +۳ مورد دیگر

Alex Psomas is an Assistant Professor in the Department of Computer Science at Purdue University, directing research at the intersection of computer science and economics. His work develops algorithmic solutions for fair resource allocation, with applications to food rescue networks and social welfare systems. Funded by NSF and Google, his lab collaborates with non-profits including 412 Food Rescue. Research combines theoretical computer science with practical implementations, particularly in dynamic fair division and mechanism design. Current projects develop AI systems for equitable food distribution through the Indy Hunger Network partnership. Recent publications advance multi-agent resource allocation with work appearing in NeurIPS, EC, and ACM Transactions. The 2024 EAAMO paper received Best Student Paper honors for its impact on food insecurity interventions. Major Recognition: NSF CAREER Award for algorithmic fairness research Google AI for Social Good Award MEGA-ACE grant for blockchain applications The Purdue AI for Social Good Lab develops open-source tools deployed in food banks nationally. PhD students investigate approximation algorithms for combinatorial optimization problems.