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

Evi Papaioannou is an Assistant Professor at the Department of Computer Engineering and Informatics , University of Patras. Her research focuses on foundational and applied aspects of algorithms, computational complexity, and distributed systems, with interdisciplinary applications in education and the humanities. Researcher at the Computer Technology Institute & Press (CTI "Diophantus") Teaches courses like Theory of Computation , Parallel Algorithms , and Computational Complexity Research Interests span algorithmic design, wireless networks, game theory, and pedagogical approaches to computational thinking. She also integrates theoretical computer science into educational technology and humanities. Her affiliations include the Division of Applications and Foundations of Computer Science , which oversees research in fundamental principles and emerging areas like high-performance computing, artificial intelligence, and multimedia networks. She contributes to laboratories in combinatorial algorithms, distributed systems, and machine learning.

• Design and analysis of algorithms
• Approximation and online algorithms
• Algorithmic aspects of wireless communication networks
• +۹ مورد دیگر

Assistant Professor at the Department of Agricultural Economics and Rural Development, Agricultural University of Athens. Holds a PhD, MSc, and BSc in Computer Engineering and Informatics from the University of Patras. Research focuses on dynamic graph problems, query optimization, and theoretical data structures with sublinear space. Teaches courses like Business Intelligence Systems and Informatics , emphasizing computer systems, databases, and data processing. His work bridges computer science theory with agricultural informatics applications. Educated at the University of Patras, he transitioned from the Department of Science (2004-2013) to his current role. Course content highlights his expertise in ETL processes, operating systems, and collaborative learning technologies.

• Computer Science
• Data Structures and Algorithms
• Theoretical Computer Science
• +۱ مورد دیگر

George Amanatidis is an Assistant Professor in the Department of Informatics at the Athens University of Economics and Business (AUEB) since December 2024 and a Research Associate at the Archimedes Unit of the Athena Research Center since February 2023. His academic career spans multiple international institutions with progressive roles in theoretical computer science and algorithmic economics. His educational qualifications include: PhD in Computer Science (2017) from Athens University of Economics and Business with thesis "Design of algorithms and mechanisms for problems with limited—or no—payoffs" Diploma in Applied Mathematics from National Technical University of Athens Master of Science in Mathematics from Georgia Institute of Technology Dr. Amanatidis specializes in algorithmic problems at the intersection of Discrete Mathematics, Computer Science, and Economics. His research critically examines fair allocation of goods, mechanism design frameworks, and graph sampling methodologies, contributing to foundational advancements in computational social choice and resource distribution theory. His work bridges theoretical computer science with economic modeling to solve complex optimization problems under constraints. No scientific awards are documented in the provided information. While no student advisement details or research grants are specified in the source material, his career trajectory demonstrates sustained engagement with high-impact academic institutions including the University of Essex, University of Amsterdam, Sapienza University of Rome, and CWI Netherlands. His current research activities at the Archimedes Unit focus on algorithmic design and computational theory, leveraging interdisciplinary approaches to address challenges in economic modeling and discrete systems.

• Fair Allocation
• Mechanism Design
• Graph Sampling
• +۳ مورد دیگر

Işıl Dillig is an Associate Professor of Computer Science at the University of Texas at Austin, where she leads the UToPiA research group. Her academic career spans over a decade of significant contributions to programming languages research, particularly in program analysis, verification, and synthesis. Dr. Dillig received all her academic degrees (BS, MS, and PhD) from Stanford University before joining the faculty at UT Austin. Her educational background established the foundation for her innovative research approach that bridges theoretical computer science with practical applications. Her research focuses on developing techniques to make software systems more reliable, secure, and easier to build through advanced program analysis, verification, and synthesis methods. She has pioneered approaches that combine symbolic reasoning with machine learning to tackle complex software engineering challenges across multiple domains including security, databases, and programming language theory. Her work demonstrates exceptional depth in creating practical tools that address real-world software development problems while maintaining strong theoretical foundations. Analysis of Dr. Dillig's publication record reveals a consistent trajectory of innovation in program synthesis, with recent work expanding into neurosymbolic approaches that bridge neural networks with formal methods. Her research shows strong connections between theoretical foundations and practical applications, particularly in security-critical systems, database technologies, and blockchain applications. The evolution of her work demonstrates increasing sophistication in handling complex program structures while maintaining practical usability. Dr. Dillig has received prestigious recognition for her research contributions: Sloan Fellowship NSF CAREER award As a dedicated educator and research leader, Dr. Dillig has served in significant roles including Program Chair for PLDI 2022 and Steering Committee member for PLDI. She has mentored numerous students through her UToPiA research group, guiding research in program synthesis, verification, and analysis. Her work has been supported by substantial research grants that have enabled innovative projects at the intersection of programming languages and security. Dr. Dillig leads the UToPiA (UT Austin Programming, Languages, and Analysis) research group, which focuses on developing novel techniques for program analysis, verification, and synthesis. The group maintains strong collaborations with industry partners and academic institutions worldwide, translating theoretical advances into practical tools that address real software engineering challenges.

• Program analysis
• Program synthesis
• Program verification
• +۴ مورد دیگر

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.

• Compiler Technology
• Machine Learning
• Quantum Computing
• +۳ مورد دیگر

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.

• Program Analysis
• Programming Languages
• Software Engineering
• +۴ مورد دیگر

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.

• Computer Graphics
• Programming Languages
• High-Performance DSLs
• +۷ مورد دیگر

Ranjit Jhala is a Professor of Computer Science Engineering in the Jacobs School of Engineering at the University of California, San Diego. His research focuses on building reliable computer systems through programming languages and software engineering techniques. His primary research interests include Programming Languages, Formal Verification, and Software Engineering. He draws from and contributes to areas such as Type Systems, Model Checking, Program Analysis, and Automated Deduction, bridging theoretical foundations with practical implementations for real-world software development. Prof. Jhala's publication record shows a consistent trajectory in refinement type systems, evolving from Liquid Haskell to Flux for Rust, while also exploring neurosymbolic approaches to error repair and type error diagnosis. His work demonstrates a commitment to making formal verification techniques accessible to practitioners. He leads the Programming Systems Group at UCSD, mentoring graduate students and collaborating with researchers across the programming languages community. His service includes General Chair roles for POPL 2018 and PLDI 2022, reflecting his leadership position in the field. Prof. Jhala is also known for his mentoring activities, including talks on academic presentation skills and participation in ICFP's mentoring programs for students and early-career researchers.

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

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.

• Compilers
• Code Generation
• Compiler Optimizations
• +۳ مورد دیگر

Nadia Polikarpova is an Associate Professor in the Computer Science and Engineering Department at the University of California, San Diego. She leads the Programming Systems group and serves as a member of IFIP Working Group 2.8 on Functional Programming since 2022. Her academic journey includes a PhD from ETH Zurich (Switzerland) under Bertrand Meyer's supervision in 2014, followed by postdoctoral work at MIT CSAIL with Armando Solar-Lezama. Her research interests center around program synthesis, program verification, and type systems, with a focus on building practical tools that enhance software security and reliability. Polikarpova's work bridges theoretical foundations with real-world applications, particularly in the emerging area of AI-assisted programming. Her recent publications demonstrate a strong trajectory in program synthesis techniques, with increasing integration of machine learning approaches. The research spans from foundational type-driven synthesis methods to practical applications for validating AI-generated code and synthesizing heap-manipulating programs. Her work frequently appears in top-tier programming languages venues including PLDI, POPL, ICFP, and OOPSLA. 2020 Sloan Fellow 2020 Intel Rising Stars Award 2020 NSF CAREER Award Distinguished paper awards at PLDI'21, ICFP'20, and POPL'19 Best paper award at FM'15 Polikarpova actively mentors PhD students and has advised numerous graduates who now work at Microsoft Research, University of Michigan, and various tech companies. She teaches core programming languages courses including CSE 130 and specialized graduate courses on program synthesis (CSE 291). Her service to the community includes program committee roles for major conferences and co-chairing the Haskell conference in 2022.

• Program Synthesis
• Program Verification
• Type Systems
• +۲ مورد دیگر

Koushik Sen is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. His academic career spans major contributions to software engineering and programming languages research through active participation in premier conferences including PLDI, ICSE, and ISSTA. His research focuses on Software Engineering , Programming Languages , and Formal Methods , with particular emphasis on developing software tools that enhance programmer productivity and software quality. Key research thrusts include automated test generation , symbolic execution , fuzzing techniques , and program synthesis . His work bridges theoretical foundations with practical tool development for real-world software verification challenges. Analysis of his publication record reveals consistent contributions to automated testing methodologies, with recent work integrating machine learning (particularly large language models) into traditional program analysis techniques. His research shows strong continuity in improving software reliability through innovative input generation and vulnerability detection approaches. As an active academic leader, he has served as General Chair for MAPL (2020), Program Chair for ISSTA (2017), and committee member for numerous top-tier conferences including PLDI, ICSE, and SPLASH across multiple years. His academic advising manifests through collaborative publications with students on topics like test corpus expansion (Bonsai Fuzzing), visualization synthesis (VizSmith), and smart contract auditing (ItyFuzz), though specific student names aren't listed in the source material. His research has been supported through conference participations and likely associated grants given his extensive publication record.

• Software Engineering
• Programming Languages
• Formal Methods
• +۳ مورد دیگر

Maria Halkidi is an Associate Professor in the Department of Digital Systems at the University of Piraeus, Greece, where she conducts cutting-edge research in data mining and machine learning with over two decades of academic experience. Her educational background includes: Bachelor's degree in Informatics from the University of Piraeus (1997) Master's degree from Athens University of Economics and Business (1999) Ph.D. from Athens University of Economics and Business (2003) Dr. Halkidi's research focuses on fundamental and applied aspects of data mining, particularly recommender systems, graph data mining, cluster validity assessment, and distributed data mining. Her work bridges theoretical frameworks with practical implementations in sensor networks, social media, and real-time analytics, contributing significantly to algorithmic development in these domains. Analysis of her recent publications reveals a strong trajectory toward fairness and diversity optimization in recommender systems, alongside innovative approaches to graph clustering quality assessment and scalable sentiment analysis. Her research consistently addresses real-world challenges in dynamic data environments, with increasing emphasis on multi-stakeholder optimization and privacy-aware recommendation frameworks. Scientific awards: No specific awards or honors were documented in the provided materials. Dr. Halkidi has participated extensively in National and European-funded research projects, including a prestigious Marie-Curie fellowship at the University of California, Riverside. She serves on program committees for major international conferences in data mining and machine learning, demonstrating active community engagement. While specific graduate students aren't listed in the source materials, her professorial role indicates ongoing mentorship of Master's and Ph.D. candidates. She maintains active research affiliations with the Network oriented systems & services lab and the DataStories research group at the University of Piraeus, where she collaborates on interdisciplinary projects involving big data analytics, social network analysis, and distributed systems.

• Data Mining
• Machine Learning
• Recommender Systems
• +۶ مورد دیگر

Dr. Paraskevas Koukaras is an Academic Scholar at the International Hellenic University (IHU) and a Postdoctoral Research Associate at the Information Technologies Institute (ITI) of the Centre for Research and Technology - Hellas (CERTH), affiliated with the School of Science and Technology at IHU. His educational background includes: IT Engineer from the Department of Informatics, Alexander Technological Educational Institute of Thessaloniki (ATEI) PhD in Interdisciplinary data science methods using machine learning for enhanced knowledge acquisition from the School of Science and Technology, International Hellenic University (IHU) Dr. Koukaras' research spans social media analytics, energy systems, and machine learning. His work focuses on energy load forecasting and optimization, data analytics, information modeling, and graph mining in heterogeneous networks. He applies these techniques to address challenges in public health, financial markets, and building energy efficiency through prescriptive analytics. His recent publications (2020-2023) demonstrate a strong focus on applying machine learning to real-world problems, particularly in social media analysis for public health during the COVID-19 pandemic, energy forecasting, and fake news detection. His work consistently employs multi-model approaches leveraging both traditional and deep learning techniques across healthcare, finance, and energy domains. Dr. Koukaras has participated in major European research projects including eDREAM (H2020), DRIMPAC (H2020), PRECEPT, SmartWins, easySRI, and SMACCs, focusing on demand response technologies and energy ecosystems. He contributes to academic training through teaching courses in data science and computing despite no formal advisees being listed. He operates within interdisciplinary research teams at ITI/CERTH and IHU's School of Science and Technology, collaborating on AI applications for energy efficiency, healthcare support, and social media analytics in residential and industrial contexts.

• Machine Learning
• Data Analytics
• Social Media Analysis
• +۵ مورد دیگر

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.

• Mathematical Programming
• Network Optimization
• Heuristic Methods
• +۲ مورد دیگر