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

• Parallel and Distributed Systems
• High Performance Computing
• GPU Programming
• +۹ مورد دیگر

Prof. Dr. Sergei Gorlatch is a full professor at the University of Münster, Germany, in the Department of Mathematics and Computer Science, where he holds the Chair of Practical Computer Science (Parallel and Distributed Systems) within the Institute of Computer Science. He has been a leading figure in high-performance and parallel computing since joining the university in 2003. University: University of Münster School: Department of Mathematics and Computer Science Department: Institute of Computer Science Academic Rank: Professor His research focuses on algorithm and software development for modern computer systems, particularly in parallel and distributed computing, high-performance computing (HPC), GPU-based systems, cloud and grid computing, and performance optimization. His work bridges theoretical formal methods and practical applications, especially in real-time online interactive systems such as online games and simulations. He has pioneered frameworks like SkelCL, dOpenCL, and the Real-Time Framework (RTF) to simplify parallel programming and improve performance portability. The recent publications (2020–2024) reflect a strong trend in GPU programming, performance optimization, formal verification, and distributed systems. Key themes include the development of safe and high-level GPU languages (e.g., Descend), autotuning and model checking for performance, multi-cloud orchestration, and performance modeling of legacy and real-time systems. His work often combines compiler techniques, functional programming, and systematic transformations to achieve efficient and portable code. Best Poster Award – PUMPS+AI, 2019 Best Paper Award – CGO, 2018 Alexander von Humboldt Research Fellowship, 1991 Prof. Gorlatch has supervised numerous students and researchers, many of whom are frequent co-authors on his publications. He has led multiple funded projects from DFG, EU (e.g., CoreGrid, MONICA), and industry (e.g., NVIDIA Graduate Fellowship). His work includes both theoretical contributions (e.g., algorithmic skeletons, formal verification) and applied systems development, demonstrating a strong record of advising, grant acquisition, and interdisciplinary collaboration. He is actively involved in several research labs and teams at the University of Münster, particularly those focused on parallel computing, GPU programming, and real-time systems. His group develops high-level programming models and tools to make parallel computing more accessible and efficient across diverse architectures.

• Computer Science
• Parallel Computing
• Data Stream Processing
• +۳ مورد دیگر

Dr. Jakub Yaghob is a researcher at the Faculty of Mathematics and Physics , Charles University , specializing in computer science and parallel computing. He teaches advanced programming topics including Compiler Principles , Parallel Programming , and Cloud Computing . Research Interests : Parallel data stream processing, virtualization technologies, semantic web infrastructures, and performance optimization Teaching : Advanced C++ programming, virtualization administration, and computer systems architecture Technical Expertise : Design of parallelization frameworks, astrophysical data analysis, and hybrid CPU-GPU systems His publications focus on: Optimizing stream data processing across distributed architectures Developing domain-specific languages like Bobolang Performance evaluation in educational programming contexts Applications of parallel computing in astrophysics

Virendra Singhمشاهده پروفایل

استاد

• Cyber Security
• Computer Architecture
• Compiler Support for Modern Architectures
• +۶ مورد دیگر

Virendra Singh is a Professor at the Indian Institute of Technology Bombay , affiliated with both the Department of Electrical Engineering and Department of Computer Science & Engineering . He leads the Computer Architecture and Dependable Systems Lab (CADSL) and coordinates the Indo-Japanese Joint Laboratory for Intelligent Dependable Cyber Physical Systems and the Information Security Research and Development Centre (ISRDC). Ph.D. in Computer Science from Nara Institute of Science and Technology (NAIST), Japan (2002-2005) M.E. and B.E. in Electronics & Communication from Malaviya National Institute of Technology (MNIT), Jaipur (1994-1996 and 1990-1994) Research Interests : Virendra Singh focuses on Cyber Security , Computer Architecture , Fault-Tolerant Computing , Formal Verification , Trusted Computing , and Blockchain Technology . His work integrates security into hardware design, with a strong emphasis on Cyber Physical Cognitive Systems and Software Defined Networking . Recent Publications highlight advancements in cache security , quantum-resistant cryptography , malware detection , and heterogeneous computing , reflecting his interdisciplinary approach. Awards : SP Sukhatme Excellence in Teaching Award (2021) Students : He currently supervises 15 Ph.D. students, advancing cutting-edge research in security and architecture.

Chandrakana Nandiمشاهده پروفایل

استادیار

• Formal Verification
• Smart Contracts
• DeFi Applications
• +۷ مورد دیگر

Chandrakana Nandi is the Director of US R&D at Certora and an affiliate assistant professor at the University of Washington, Seattle . Her work bridges formal verification, computational fabrication, and programming language design. Education : PhD in Computer Science from University of Washington (2021), MS in Computer Science (2014), BS in Computer Science (2012). Research Interests focus on: Automated formal verification of DeFi applications and smart contracts. Equality saturation for program synthesis, verification, and compiler optimizations. Programming languages and compilers for computational fabrication and 3D modeling. Publication Trends highlight her contributions to: Formal verification tools for real-world programs (WASM, G-code). Equality saturation applications in synthesis, optimization, and rule inference. Domain-specific languages like LambdaCAD, Taxon, and Carpentry Compiler. Scientific Awards : Distinguished Paper Award (OOPSLA 2021). Distinguished Paper Award and Sigplan Research Highlight (POPL 2021). Contact : chandra@certora.com . Her CV is available here .

Angela Pohlمشاهده پروفایل

استاد

• Vectorization
• SIMD Programming
• Compiler Optimization
• +۳ مورد دیگر

Angela Pohl serves as a Professor in the Department of Computer Science and Media at Brandenburg University of Technology. Her academic office is located in Building C, Room C.2.18 at Magdeburger Straße 50, 14770 Brandenburg an der Havel, Germany, with contact available via telephone (+49 3381 355 - 459) and email (angela.pohl@th-brandenburg.de). Her research program centers on high-performance computing and compiler optimization , with critical contributions in: Vector length agnostic programming models for modern SIMD architectures Cost modeling and performance prediction for auto-vectorizers Architecture-specific optimizations for ARM NEON, Intel AVX, and SVE Application of vectorization to multimedia (VVC decoder) and scientific computing (RICH particle detector) Analysis of her 2015-2020 publications reveals a progression from foundational SIMD model evaluation to advanced portable cost modeling. Her work demonstrates consistent focus on bridging compiler technology with hardware capabilities, particularly emphasizing real-world applications in video coding and high-energy physics where vectorization delivers substantial performance gains.

Arianne Meijerمشاهده پروفایل

پژوهشگر

• Quantum Computing
• Quantum Software Engineering
• Quantum Algorithms
• +۳ مورد دیگر

Arianne Meijer is a Postdoctoral Researcher in the Department of Computer Science at the University of Helsinki and serves as a Quantum Software Engineer at IQM Germany GmbH since September 2024. Her research focuses on quantum computing, particularly quantum software engineering, compilation, and algorithm optimization for NISQ devices. She has contributed to advancements in stabilizer circuits, Pauli string decompositions, and hybrid quantum-classical systems. Institution: University of Helsinki Department: Computer Science Industry Role: Quantum Software Engineer (IQM Germany GmbH) Collaborations: Finnish Quantum Flagship, QuantumWare Her research output spans quantum compilation, algorithm design, and hardware-software integration. Projects like EM4QS and Finnish Quantum Flagship highlight her work in quantum middleware and device benchmarking. She has published extensively on topics such as barren plateaus, variational quantum regression, and architecture-aware synthesis. Notably, her 2024 work critiqued the practicality of quantum circuit models and explored quantum string matching for graphs. Meijer's recent activities include external teaching on quantum software, and her collaborations extend across Finland and Germany. Her work emphasizes practical solutions for quantum software stack limitations and optimizing compilation processes for current hardware constraints.

• Bayesian Statistics
• Category Theory
• Compiler Construction
• +۴ مورد دیگر

Matthijs Vákár is an Assistant Professor at the Department of Information and Computing Sciences , Utrecht University , focusing on the software foundations of machine learning . He actively develops the Stan language , a state-of-the-art probabilistic programming language. Areas of Expertise: Bayesian Statistics, Category Theory, Compiler Construction, Machine Learning, Programming Languages. Research Themes: Probabilistic programming languages, differential programming languages, separation of modeling from algorithmic tasks, automatic differentiation in ML-family languages. His research bridges theoretical computer science and practical machine learning, emphasizing logical relations, monoidal structures, and efficient compiler designs for differentiable programming. His recent publications explore correctness proofs, category-theoretic models, and optimization techniques in automatic differentiation. Scientific Awards: ERC Starting Grant NWO Veni Fellowship Marie Sklodowska-Curie Fellowship Academic Journey: PhD from the University of Oxford (dependent types and computational effects), MSc in Pure Mathematics (University of Cambridge), and BScs in Mathematics and Physics (Utrecht University). Prior roles include postdoctoral research at Columbia University and the University of Oxford. Industrial Experience: Build systems at Microsoft Research, NLP at Linguamatics, and compiler design for Stan.

John van de Weteringمشاهده پروفایل

استادیار

• Quantum Computing
• Quantum Foundations
• ZX-calculus
• +۴ مورد دیگر

John van de Wetering is an active Assistant Professor at the Theoretical Computer Science group of the Informatics Institute of the University of Amsterdam (UvA), working in collaboration with the QuSoft research center. He joined the university in December 2022 after completing his PhD at Radboud University in 2020 and a postdoc position at Oxford University. His research spans two primary domains: diagrammatic techniques in quantum computation (particularly ZX-calculus applications for quantum circuit optimization, classical simulation and verification) and quantum foundations where he explores the nature of quantum mechanics through algebraic and compositional methods. He is the co-creator of PyZX, an open-source optimizing quantum compiler, and has co-authored the book "Picturing Quantum Software" with Aleks Kissinger. His work bridges theoretical computer science with practical quantum computing applications. His publication record shows consistent high-impact output with multiple papers in Physical Review A, Quantum, and proceedings of major conferences like QPL. His recent work focuses on quantum circuit optimization, ZX-calculus completeness, and applications to quantum error correction. His research demonstrates a strong trajectory with publications extending into 2025. VENI grant recipient for quantum computing research He currently supervises three PhD students (Lia Yeh, Sarah Li, and Marc Farreras) and has previously mentored numerous Master's and Bachelor's students whose work has led to publications. He serves as program director for the new Master in Quantum Computer Science at UvA and is an editor for the diamond open-access journal Quantum. His professional activities include developing educational resources like the ZX-calculus website and contributing to the ZX-calculus Wikipedia page.

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

دانشیار

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

Yufei Ding is an Associate Professor in the Computer Science & Engineering Department at the University of California, San Diego (UCSD), and founder of the PICASSO Lab. She earned a 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. Research Interests: Quantum Computing Machine Learning Domain-Specific Languages Compiler Optimization Hardware Acceleration High-Performance Computing Her recent publications focus on quantum compilation, error correction, and machine learning systems, with a particular emphasis on hardware-aware optimizations. She has received multiple prestigious awards, including the NSF CAREER Award (2020) and the IEEE TCHPC Early Career Researchers Award (2019). Scientific Awards: NSF CAREER Award (2020) IEEE Computer Society TCHPC Early Career Researchers Award (2019) Yufei actively advises Ph.D. students and postdoctoral researchers in quantum computing and machine learning systems. Her lab offers openings for both quantum computing and machine learning research.

• Quantum Computing
• Machine Learning
• Medical Image Analysis
• +۳ مورد دیگر

Linas Petkevičius serves as an Associate Professor at Vilnius University's Faculty of Mathematics and Informatics, actively teaching courses including Introduction to Quantum Computing across 10 consecutive academic years from 2016/2017 through 2025/2026 as evidenced by institutional schedules. His research demonstrates remarkable interdisciplinary breadth spanning quantum computing algorithm optimization, medical diagnostics through digital pathology analysis, and satellite-based environmental monitoring. He develops machine learning solutions for breast cancer prognosis using Ki67 heterogeneity metrics, creates quantum circuit schemes adapted to hardware constraints, and implements deep learning models for algal bloom detection in Baltic waters using Sentinel-2 data. His work consistently bridges theoretical computer science with practical healthcare and environmental applications. Analysis of his 15 most recent publications (2023-2025) reveals three dominant research thrusts: 1) Quantum computing optimization for NISQ devices, 2) Medical image analysis focusing on spatial tumor microenvironment characterization in breast cancer, and 3) Remote sensing applications using transformer models and few-shot learning for satellite change detection. His publications show increasing specialization in combining deep learning architectures with domain-specific constraints across these fields. Scientific Awards: No scientific awards were mentioned in the provided materials. Advising and Grants: The provided texts contain no information regarding student advisement, research grants, or funded projects.

Daniel Kangمشاهده پروفایل

استادیار

• Machine Learning
• Data Systems
• Video Analytics
• +۴ مورد دیگر

Dr. Daniel Kang is an Assistant Professor at the University of Illinois at Urbana-Champaign (UIUC) in the Department of Computer Science and Department of Electrical and Computer Engineering (by courtesy). His research focuses on integrating machine learning with data systems and zero-knowledge proofs to enhance privacy and trust in AI deployments. He previously worked as a postdoctoral researcher at UC Berkeley's Sky Lab and earned his PhD at Stanford University under Peter Bailis and Matei Zaharia. Developed frameworks like ZKML and ZK-IMG Co-creator of DawnBench and MLPerf benchmarks Research funded by Google, Open Philanthropy Project, and Emergent Ventures His research spans machine learning systems , privacy-preserving AI , and security risks in LLMs . Recent work includes optimizing zero-knowledge proofs for ML inference and studying adversarial attacks on AI agents. Articles reveal expertise in benchmark design , video analytics , and ML deployment systems . Dr. Kang actively recruits students at all levels and focuses on trustless AI verification and efficient query processing . His work addresses critical challenges in ML reproducibility , code generation , and web security .

Rajesh Kediaمشاهده پروفایل

استادیار

• Computer Architecture
• Embedded Systems
• VLSI Design Automation
• +۶ مورد دیگر

Rajesh Kedia is an Assistant Professor in the Department of Computer Science & Engineering at Indian Institute of Technology Hyderabad . He received his Ph.D. from IIT Delhi under the supervision of Prof. M. Balakrishnan and Prof. Kolin Paul, and holds a B.Tech. in Electronics and Communication Engineering from MNIT Jaipur (2006). His research focuses on computer architecture , embedded systems , and VLSI design automation , with specific emphasis on thermal management of processors and memories , shared resource management , and FPGA-based accelerator design . His recent publications address CNN execution time prediction, thermal modeling for 3D systems, and efficient resource allocation in multi-accelerator environments. Rajesh has received multiple scientific awards including the Visvesvaraya Ph.D. fellowship , IEEE Senior Member designation, and a BEST PAPER NOMINATION at DATE 2022 . He has mentored several Ph.D. and M.Tech students, including Lakshay Arora , Venugopal Ramamurthy , and M A Muneeb , with research topics spanning compilers, thermal management, and RISC-V architecture. He actively contributes to the academic community as a reviewer for leading conferences/journals (ASPDAC, DAC, IEEE ESL, CODES+ISSS) and previously served as Design Contest co-chair for ISLPED 2024 . His work has been supported by a SERB startup research grant (INR 20.26L) for shared resource management research.

Owolabi Legunsenمشاهده پروفایل

استادیار

• Software Engineering
• Software Testing
• Runtime Verification
• +۳ مورد دیگر

Owolabi Legunsen is an Assistant Professor of Computer Science at Cornell University, specializing in software engineering with a focus on software testing and runtime verification. He is part of Cornell's Software Engineering Group and has made significant contributions to automated testing frameworks and tools. Ph.D. in Computer Science, University of Illinois at Urbana-Champaign Master's in Computer Science, University of Texas at Dallas B.Sc. in Computer Engineering, Obafemi Awolowo University His research explores software testing for cloud systems, probabilistic programming, and regression test selection. He develops tools like TraceMOP and pytest-inline to enhance testing precision and automation. NSF CAREER Award recipient Intel Rising Star Faculty Award Three ACM SIGSOFT Distinguished Paper Awards Legunsen actively mentors graduate students and collaborates on projects addressing runtime verification overheads, cloud configuration testing, and test flakiness detection. He leads grants focused on improving software reliability through evolution-aware techniques.

• Knowledge Representation and Reasoning
• Quantum Computation
• Artificial Intelligence
• +۳ مورد دیگر

Professor Sanjiang Li is affiliated with the University of Technology, Sydney (UTS) as a Professor in the Faculty of Engineering and Information Technology , specifically within the Centre for Quantum Software and Information . With a PhD in Mathematics from Sichuan University and a BSc from Shaanxi Normal University, his research spans quantum computation , knowledge representation and reasoning , and formal verification of quantum systems . His recent work focuses on quantum circuit transformation , including novel methods like adaptive divide-and-conquer and Monte Carlo Tree Search frameworks. He has advanced symbolic verification techniques using tensor decision diagrams and explored classical-quantum hybrid algorithms for resource-efficient training. Dr. Li has received prestigious awards such as the ARC Future Fellowship and Alexander von Humboldt Research Fellowship . He supervises PhD students including Calum Holker and Guangxi Li , and contributes to quantum software development through funded projects like the Sydney Quantum Academy and ARC Discovery Projects .

• Quantum computation
• Quantum algorithms
• Quantum simulation
• +۳ مورد دیگر

Dr. Yuval Rishu Sanders is a Senior Lecturer at the School of Computer Science within the Faculty of Engineering and Information Technology at the University of Technology Sydney (UTS). He is affiliated with the Centre for Quantum Software and Information (QSI), where he conducts cutting-edge research in quantum computing and quantum information theory. Dr. Sanders holds a PhD from the University of Waterloo, Canada, and has established himself as a prominent researcher in the quantum computing field with numerous high-impact publications. Dr. Sanders' academic journey began with a Bachelor of Science (First Class Honours) from the University of Calgary in 2008, followed by a Master of Science from the same institution in 2011. He completed his Doctor of Philosophy at the University of Waterloo in 2016. His career progression includes positions as a Research Associate at Macquarie University (2016-2021) and at UTS (2021-2022), before becoming a Permanent Faculty member at UTS in September 2022. Dr. Sanders' research focuses on the theoretical foundations of quantum computing, with particular expertise in quantum algorithms, quantum simulation, and quantum error correction. His work addresses fundamental questions about the computational advantages of quantum computers over classical systems, with a special emphasis on developing practical quantum algorithms for real-world applications. He is particularly interested in improving the efficiency and accuracy of quantum simulations, developing better methods for quantum state preparation, and establishing rigorous computational cost models for quantum algorithms. Dr. Sanders has made significant contributions to the field of quantum linear systems solvers, quantum measurement theory, and quantum resource theories. His research statement emphasizes the need for reliable computational cost analysis to determine when quantum computers will outperform classical computers for useful tasks. Analysis of Dr. Sanders' publication record reveals a consistent focus on advancing the theoretical underpinnings of quantum computing. His most recent work (2024-2025) centers on improving quantum simulation techniques through better product formulae, while his earlier work (2018-2022) demonstrates expertise across multiple quantum computing subfields including quantum algorithms for fermionic systems, quantum error characterization, and quantum measurement theory. A notable trend in his research is the development of more efficient quantum algorithms that reduce resource requirements while maintaining accuracy, which is crucial for near-term quantum applications. Dr. Sanders serves as an Associate Editor for the IEEE Transactions on Quantum Engineering since February 2023, demonstrating his standing in the quantum computing research community. His publication record includes articles in prestigious journals such as PRX Quantum, Physical Review Letters, and New Journal of Physics, with significant citation counts indicating the impact of his research. Dr. Sanders is actively involved in funded research projects that advance quantum computing theory and applications. His current projects include 'Building the Theoretical Foundation of Refinement Techniques for Quantum Programming' (2025-2027), 'The QB-suite: a framework for quantum algorithm design and benchmarking' (2024-2027), and 'Quarkov Decision Processes' (2023-2027). He has also contributed to significant projects such as 'Tools for fault-tolerant resource estimation' (2022-2025) and 'Defence acquisition optimisation using quantum algorithms' (2021-2024). His research vision includes developing software tools that can automate the analysis of quantum computations, potentially enabling a 100,000-fold speedup in the design iteration process for quantum applications. As a member of the Centre for Quantum Software and Information at UTS, Dr. Sanders collaborates with a multidisciplinary team of researchers working on various aspects of quantum computing. His research group focuses on developing theoretical frameworks and practical tools for quantum algorithm design, with particular emphasis on making quantum computing more accessible and efficient. Dr. Sanders' work bridges theoretical quantum computing with practical applications, contributing to the broader goal of realizing useful quantum advantage.