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

Antonio Gonzálezمشاهده پروفایل

استاد

• Computer Architecture
• Microarchitecture
• Compilers
• +۷ مورد دیگر

Antonio González is a full Professor at the Barcelona School of Informatics (FIB), Universitat Politècnica de Catalunya (UPC), where he is affiliated with the Department of Computer Architecture. He leads the Microarchitecture and Compilers (ARCO) research group, focusing on robust and energy-efficient computing systems, including general-purpose processors, GPUs, and cognitive computing architectures. His research spans computer architecture, microarchitecture, compilers, GPU design, and deep learning acceleration, with a strong emphasis on energy efficiency and memory optimization. His work integrates hardware and compiler techniques to enhance performance in modern computing systems. The recent publications highlight a strong trend in energy-efficient DNN acceleration, GPU microarchitecture, memory systems, and near-data processing. His team explores novel quantization methods, adaptive caching, and architectural extensions for vision and AI workloads, published in top-tier venues such as MICRO, ISCA, and IEEE/ACM journals. ACM Fellow (2020) ICREA Academia Award (2014, 2019, 2024) UPC Duran Farell Award (2008) HiPEAC 2024 Paper Award (twice) González has supervised several PhD students and leads competitive R&D+i projects, including those funded by ICREA and the European Research Council. His research group collaborates extensively within UPC and with international institutions. He is actively involved in advancing computer architecture through innovation in simulation, hardware design, and AI acceleration. He is a member of IEEE and ACM, and his work continues to influence both academic and industrial developments in high-performance and energy-efficient computing.

Michael Ferdmanمشاهده پروفایل

دانشیار

• Computer Architecture
• Operating Systems
• Machine Learning
• +۷ مورد دیگر

Michael Ferdman is an Associate Professor in the Department of Computer Science at Stony Brook University, where he leads research in computer architecture and systems. His office is located in Room 343 at Stony Brook, NY 11794-2424, and he can be contacted via phone (631-632-8449) or email. Ferdman directs the Computer Architecture and Systems Laboratory (compas.cs.stonybrook.edu), focusing on next-generation server infrastructure. Ferdman's research spans the entire computing stack with emphasis on: FPGA integration for server environments (Intel HARP, Microsoft Catapult) Machine learning accelerators for convolutional neural networks Server systems optimization in the post-Moore era Network processing and software-defined networking Programming models for emerging memory technologies (HBM, 3D XPoint) Reconfigurable hardware and high-level synthesis His work addresses both performance and security challenges in modern computing infrastructure. Analysis of his 15 most recent publications (2022-2025) reveals consistent focus on: Hardware acceleration techniques (FPGAs, specialized processors) Memory hierarchy optimization and cache management Security vulnerabilities in web applications and systems Post-Moore computing architectures Parallel processing and distributed systems His research shows strong emphasis on practical implementations bridging hardware and software layers. Awards recognizing his contributions include: Graduate Teaching Award (2014) Best Paper Award at ASPLOS XVII Best Paper Finalist at HPCA XVII Three IEEE Micro Top Picks selections (2009, 2012) He teaches advanced courses including CSE 502, CSE 602, and CSE 506 at Stony Brook University.

Daniel J. Sorinمشاهده پروفایل

استاد

• Computer Architecture
• Memory Systems
• Cache Coherence Protocols
• +۷ مورد دیگر

Daniel J. Sorin is a Professor of Electrical and Computer Engineering at Duke University's Pratt School of Engineering, where he also serves as Associate Chair of Education. He holds joint appointments in both the Electrical and Computer Engineering department and Computer Science department, and is recognized as a Bass Fellow for his contributions to education and research. His research focuses on computer architecture with specific expertise in memory systems, cache coherence protocols, fault tolerance, and verification-aware design. Dr. Sorin's work bridges theoretical computer architecture with practical implementations, often incorporating coding theory to solve architectural challenges. His research group has made significant contributions to automated protocol generation, hardware acceleration, and robot motion planning systems. Dr. Sorin's publications reveal a consistent focus on memory consistency models, cache coherence protocols, and verification techniques. His recent work has expanded into robot motion planning acceleration, FPGA resource management, and novel error correction techniques for emerging memory technologies. The trend shows increasing interdisciplinary work connecting computer architecture with robotics and machine learning applications. Program Chair of HiPEAC 2017 Co-chair of IEEE Micro's Top Picks selection committee (2016) Lois and John L. Imhoff Distinguished Teaching Award (2011) NSF CAREER Award recipient IEEE Micro Top Pick awards (2011, 2015) ACM Senior Member As an advisor, Dr. Sorin has mentored numerous PhD students who have gone on to successful careers at leading technology companies including Google, Microsoft, Oracle, and Nvidia. His research group maintains strong industry connections and has produced influential work in cache coherence protocols, memory systems, and fault-tolerant architectures. He has also authored the widely-used textbook 'A Primer on Memory Consistency and Cache Coherence' (2nd edition). Dr. Sorin leads an active research laboratory focused on next-generation computer architecture challenges, with ongoing projects in hardware acceleration, memory systems, and robot motion planning. His group collaborates with researchers across multiple disciplines including robotics, coding theory, and semiconductor design.

Angshuman Karmakarمشاهده پروفایل

استادیار

• Post-Quantum Cryptography
• Computation On Encrypted Data
• Side-Channel Analysis
• +۴ مورد دیگر

Angshuman Karmakar is an Assistant Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Kanpur, India. His research focuses primarily on Post-Quantum Cryptography (PQC) and Computation On Encrypted Data (COED), which are critical areas in modern cryptography and computer security. Dr. Karmakar received his Ph.D. from Katholieke Universiteit Leuven (KU Leuven), Belgium, where he worked under Prof. Ingrid Verbauwhede in the COSIC research group. He was awarded the prestigious Erasmus Mundus fellowship for his doctoral studies and the FWO (Fonds voor Wetenschappelijk Onderzoek – Vlaanderen) fellowship for his post-doctoral research at KU Leuven. His research spans theoretical development of cryptographic schemes, implementation algorithms, side-channel and fault attack analysis, and countermeasure development. Dr. Karmakar has established extensive international collaborations with researchers and engineers worldwide to address complex challenges in cryptography and security. Recent publications demonstrate a strong focus on practical post-quantum cryptographic implementations with particular attention to hardware and software efficiency, side-channel resistance, and novel attack methodologies. His work bridges theoretical cryptography with real-world implementation challenges across diverse platforms from IoT devices to high-performance computing systems. Erasmus Mundus fellowship for doctoral studies at KU Leuven FWO fellowship for post-doctoral study at KU Leuven Google India Research Award for work on practical transition to post-quantum cryptography Dr. Karmakar is actively seeking graduate students and postdoctoral researchers to collaborate on cutting-edge research in cryptography and computer security. His work has significant implications for securing future communication systems against quantum computing threats, with applications spanning blockchain technologies, IoT security, and general-purpose computing systems.

• Computational Fluid Dynamics
• Discontinuous Galerkin Methods
• Finite Volume Methods
• +۶ مورد دیگر

Michael Dumbser is a Full Professor at the University of Trento's Department of Civil, Environmental and Mechanical Engineering. His research focuses on computational fluid dynamics, numerical methods for hyperbolic conservation laws, and high-performance computing. He specializes in developing structure-preserving numerical schemes such as discontinuous Galerkin and finite volume methods for continuum mechanics, relativistic fluid dynamics, and multiphase flows. Teaching responsibilities include courses like Calcolo numerico e programmazione , High-Performance Computing for Multi-Functional Metamaterials , and Metodi numerici per l'ambiente . His work emphasizes thermodynamically compatible formulations and adaptive numerical methods for complex physical systems. Recent research trends involve hyperbolic reformulations of classical models (e.g., Navier-Stokes-Korteweg, Einstein equations), staggered semi-implicit schemes for incompressible flows, and GPU-accelerated algorithms. His publications span topics from geophysical fluid dynamics to relativistic astrophysics, with a focus on maintaining physical conservation principles in numerical implementations. No scientific awards are explicitly listed in the provided information. His advising record is not detailed here, though his courses suggest involvement in student mentorship. Research collaborations include projects on metamaterials and computational geophysics. Current initiatives include developing unified models for earthquake rupture dynamics, non-Newtonian fluid simulations, and adaptive mesh refinement techniques. His lab work involves high-performance computing frameworks like ExaHyPE for large-scale wave propagation studies.

Shuangshuang Jinمشاهده پروفایل

دانشیار

• High-Performance Computing
• Parallel Computing
• Distributed Computing
• +۶ مورد دیگر

Dr. Shuangshuang Jin is an Associate Professor in the School of Computing with a joint appointment in the Department of Electrical and Computer Engineering at Clemson University's College of Engineering, Computing and Applied Sciences. Previously, she served as a Senior Research Scientist at Pacific Northwest National Laboratory. Her educational background includes a Ph.D. in Computer Science (2007), M.S. in Computer Science (2003) from Washington State University, and a B.S. in Computer Science (2001) from Wuhan University. Ph.D., 2007 - Washington State University, Computer Science M.S., 2003 - Washington State University, Computer Science B.S., 2001 - Wuhan University, Computer Science Dr. Jin specializes in high-performance computing (HPC), distributed and parallel computing, general-purpose computation on graphical processing units (GPGPU), and HPC-based big data analysis, machine learning, scientific computation, and visualization. Her research focuses on applying these technologies to electrical engineering (power and energy systems, power electronics), automotive engineering, systems biology, and computer graphics. She leads the High-Performance Computing Enabled Science and Engineering (HPCeSE) Lab, where she supervises six PhD students working on HPC implementations for power system dynamic simulation, GridPACK application development, data-driven model-based smart control of power electronics converters, and other cutting-edge projects. Her recent publications demonstrate expertise in accelerating power system simulations, PV inverter reliability assessment, edge computing for power systems, and virtual prototyping of vehicle powertrain systems. The research trends show increasing focus on GPU acceleration, real-time simulation capabilities, and integration of HPC with emerging power system challenges. Junior Faculty Excellence in Teaching award (2021) Churchill Carter Fellowship (2022-2023) Zucker Graduate Education Center PhD Grant (2023) Doctoral Dissertation Completion Award (2023-2024) Outstanding Masters Student in Computer Science award (2022) Dr. Jin has successfully secured multiple grants from DOE, DOD, and other agencies for projects including 'Vehicle Propulsion Digital Twins', 'GridPACK-Wind', and 'Tool for Reliability Assessment of Critical Electronics in PV (TRACE-PV)'. She has advised numerous PhD and Master's students who have gone on to positions at national laboratories and industry. Her HPCeSE Lab maintains strong connections with Pacific Northwest National Laboratory, Fermi National Accelerator Laboratory, and other research institutions, providing students with valuable internship opportunities. Dr. Jin leads the High-Performance Computing Enabled Science and Engineering (HPCeSE) Lab at Clemson University, which focuses on developing optimized HPC-based parallel programming algorithms and architectures to solve complex scientific and engineering domain problems. The lab works on smart grid modeling and simulation, power electronics reliability assessment, ground vehicle systems prototyping, and advanced grid analytics, utilizing OpenMP, MPI, Pthreads, and CUDA/OpenCL on various computing platforms.

Sandro Bartoliniمشاهده پروفایل

دانشیار

• High-Performance Computing (HPC)
• Computer Architecture
• Embedded Systems
• +۵ مورد دیگر

Sandro Bartolini serves as Associate Professor in the Department of Information Engineering and Mathematical Sciences at the University of Siena, Italy, where he teaches advanced courses in computer architecture and parallel programming while leading cutting-edge research in high-performance computing systems. His academic journey began with a cum laude Laurea in Computer Engineering followed by a PhD in Computer Science and Engineering from Università di Pisa. Education: PhD in Computer Science and Engineering, Università di Pisa Laurea in Computer Engineering (cum laude), Università di Pisa Research Focus: His work centers on photonic interconnects for chip multiprocessors , energy-efficient software optimization for multi-core/GPU architectures, and performance-portable parallel programming models . Current investigations span cryptographic acceleration, blockchain algorithms, and hardware/software co-design for emerging computing paradigms, with strong emphasis on practical implementations bridging theoretical advances and real-world applications. Publication Trends: Recent publications (2019-2023) reveal three dominant threads: (1) Photonic network innovations addressing energy bottlenecks in chip multiprocessors, (2) The PHAST library ecosystem enabling seamless CPU/GPU programming across domains from autonomous vehicles to UAV navigation, and (3) Hardware accelerator designs for convolutional networks and cryptographic workloads. These works consistently target performance-portability challenges in heterogeneous computing environments. Grants and Collaborations: As principal investigator for the Italian Ministry-funded PHOTONICA project, he established international research partnerships with Murcia University, Columbia University, and Hong Kong University of Science and Technology, while securing industry collaborations with STMicroelectronics, Intel Munich, IBM, and IMEC. He has also managed complex IT system deployments for Siemens Italy, RAI (Italian public broadcasting), and SpaceDys. Academic Leadership: Bartolini serves as Associate Editor for the Eurasip Journal of Embedded Computing and actively contributes to the European HiPEAC network. His research group at Siena maintains strong industry ties for technology transfer, particularly in photonic interconnect validation and parallel programming frameworks for next-generation computing systems.

Alexandru Nicolauمشاهده پروفایل

استاد

• Parallelizing compilers
• Supercomputing
• High Performance Computing (HPC)
• +۵ مورد دیگر

Alexandru Nicolau is a Distinguished Professor and Chair of the Department of Computer Science at the University of California, Irvine (USA), where he has worked since 1992. He previously held positions as Associate Professor (1988–1992) and Assistant Professor (1984–1988) at UC Irvine and Cornell University, respectively. Education : B.A., Brandeis University (1980) MS (1981), Ph.D. (1984), Yale University Research Interests : A leading expert in parallelizing compilers , high-performance computing , and software-hardware co-design , Nicolau pioneered foundational techniques like Percolation Scheduling and Optimal Loop Parallelization . His work enables efficient exploitation of instruction-level parallelism in general-purpose programs, with applications in embedded systems , matrix algorithms , and GPU-based neural networks . He has also contributed to Electronic Design Automation (EDA) and lightweight synchronization protocols . Scientific Awards : IEEE Fellow (2014) ACM SIGPLAN Most Influential Paper (PLDI 20 years) EDAA/IEEE/ACM DATE Most Influential Paper (10 years) ACM ICS Most Influential Paper (25 years) 4 Best Paper awards (VLSI design 2003, ISHPC 2005, CASES 2008, IJCNN 2009) Advising & Grants : He has mentored notable scholars now at Stanford, McGill, and Google, and secured over $20M in funding from NSF , DARPA , and industry leaders like IBM and Intel . His professional service includes chairing ACM ICS’09 and PPOPP’13, and serving on steering committees for LCPC and ICS. Labs & Collaborations : His techniques have been adopted by IBM Watson, Siemens Munich, Fujitsu Labs Japan, and the open-source GCC compiler.

Krishna Teja Chitty-Venkataمشاهده پروفایل

پژوهشگر

• Deep Learning
• Systems and Machine Learning
• Neural Network Optimization
• +۷ مورد دیگر

Krishna Teja Chitty-Venkata is a Postdoctoral Researcher at the Argonne Leadership Computing Facility (ALCF), Argonne National Laboratory, USA, where he works in the AI/ML team (formerly Data Science group). His research lies at the intersection of systems and machine learning, focusing on optimizing neural network training, finetuning, and inference on general-purpose and AI-specific hardware platforms. He is actively involved in AI for science applications and high-performance computing for AI (HPC for AI). Education: PhD in Computer Engineering, Iowa State University, 2017–2023 Bachelor of Engineering in Electronics and Communication Engineering, University College of Engineering, Osmania University, Hyderabad, India, 2013–2017 Research Interests: Krishna's research spans hardware-aware inference optimization of deep neural networks, enhancing training and finetuning of large language models (LLMs) and vision-language models (VLMs), neural architecture search (AutoML), pruning and quantization techniques, performance modeling, and AI for science. He is particularly interested in efficient adaptation methods such as LoRA-NAS integration, structured pruning (e.g., WActiGrad), and KV cache optimization (e.g., Paged Compression). Publication Trends: His recent work emphasizes benchmarking and optimization of LLMs on diverse AI accelerators (e.g., LLM-Inference-Bench), developing scalable frameworks for CNN and ViT evaluation (ConVision Benchmark), and advancing structured pruning and mixed-precision search methods. His publications span high-impact journals and conferences in computer science, AI, and systems, reflecting a strong focus on practical, hardware-aware solutions for deep learning efficiency. Scientific Contributions: Developed LLM-Inference-Bench for evaluating LLM performance across hardware and frameworks. Created ConVision Benchmark for standardized evaluation of CNNs and Vision Transformers. Proposed WActiGrad, a structured pruning method for efficient LLM finetuning and inference. Introduced Paged Compression for efficient KV cache management in vLLM. Designed LangVision-LoRA-NAS for optimizing VLMs via NAS-integrated adapters. Professional Experience and Advising: Krishna has been mentored by Prof. Arun K. Somani (Iowa State) and supervisors Murali Emani and Venkatram Vishwanath at Argonne. He has interned at AMD, Intel, and Argonne, contributing to deep learning optimization projects. While no formal students are listed, he has co-authored multiple papers with researchers and students, indicating collaborative advising. He has no publicly listed grants, but his work at Argonne is likely supported by institutional and DOE funding. Labs and Teams: He is part of the AI/ML team within the Argonne Leadership Computing Facility, a premier HPC and AI research division. His work involves close collaboration with teams developing AI accelerators and scientific applications, positioning him at the forefront of AI for science initiatives.

Jose Manuel Dominguez Alonsoمشاهده پروفایل

پژوهشگر

• Earth Physics
• Computational Fluid Dynamics
• Marine Engineering
• +۴ مورد دیگر

Jose Manuel Dominguez Alonso is a researcher at the University of Vigo , affiliated with the Faculty of Sciences and the Marine Research Center . His work focuses on Earth Physics and Smoothed Particle Hydrodynamics (SPH) applications in marine and renewable energy systems. He is part of the FA9 EphysLab research group at the Ourense campus. Education: PhD in Applied Physics from the University of Vigo (2014) under advisors Dr. Moncho Gómez Gesteira and Dr. Alejandro Jacobo Cabrera Crespo. His research explores fluid dynamics , off-shore wind turbines , wave energy converters , and fluid-structure interaction . He has developed DualSPHPhysics for high-performance computing in marine environments. His recent articles (2024-2025) emphasize teaching numerical modeling to students, 3D hydrodynamic analysis , and coupled simulation techniques . His work bridges computational methods with real-world marine engineering challenges like coastal protection and renewable energy optimization.

Patrick Shriwiseمشاهده پروفایل

استاد مدعو

• Nuclear Engineering
• Computational Physics
• Monte Carlo Methods
• +۷ مورد دیگر

Patrick Shriwise is an Adjunct Professor in the Department of Nuclear Engineering and Engineering Physics at the University of Wisconsin–Madison, College of Engineering. His research focuses on advancing open-source computational tools for nuclear and multiphysics applications, particularly through the development and enhancement of OpenMC and the DAGMC toolkit. His research interests include: Monte Carlo particle transport methods High-fidelity 3D geometry representation for nuclear systems GPU-accelerated ray tracing for scientific simulations Multiphysics coupling in nuclear applications Optimization of ray tracing data structures for radiation transport Application of RT cores and hardware-accelerated pipelines in computational physics The absence of listed publications prevents a detailed trend analysis of his scholarly output. Similarly, no scientific awards or honors are mentioned in the provided text. No information is available regarding student advising, grants, or funding sources. However, his active development roles in OpenMC, DAGMC, and GPRT suggest involvement in collaborative, software-driven research initiatives. Patrick Shriwise is associated with advanced computational research teams focusing on: The OpenMC open-source Monte Carlo code project The Cardinal multiphysics coupling framework The DAGMC CAD-based geometry toolkit The General Purpose Ray Tracing (GPRT) API for scientific applications

Weija Shangمشاهده پروفایل

استاد

• Parallel Processing
• Computer Architecture
• Parallelizing Compiler
• +۷ مورد دیگر

Weija Shang is a Professor at the School of Engineering, Santa Clara University, where she has been since 1994. She previously served at the Center for Advanced Computer Studies, University of SW Louisiana (1990–1993). Her research spans parallel processing, computer architecture, parallelizing compilers, algorithm theory, and non-linear optimization. PhD in Computer Engineering, Purdue University (1990) MS in Computer Engineering, Purdue University (1984) BS in Computer Engineering, Changsha Institute of Technology (1982) Her publications focus on parallel computing , GPGPU optimization , FPGA design , and video coding techniques. Key themes include supernode transformations , media distribution algorithms , and stack optimization in recursive programs. Scientific awards include: Clare Boothe Luce Professor (1994–2000) NSF Research Initiation Award (1991) NSF Career Award (1995) She has supervised numerous research projects in parallel programming and compiler design, contributing to high-performance computing and distributed systems through collaborations with institutions like Xilinx and NASA.

Martin Morenoمشاهده پروفایل

استادیار

• Compiler Optimizations
• High-Performance Computing
• Quantum Computing
• +۳ مورد دیگر

Martin Moreno is a tenure-track Assistant Professor in the Department of Computer Science and Engineering at The Ohio State University. His office is located in Dreese Laboratories at 2015 Neil Ave, Columbus, OH. His research focuses on the intersection of compilers, programming languages, high-performance computing, and quantum computing, with goals to enhance program execution speed, reliability, and portability across architectures. Research Interests: Dr. Moreno specializes in polyhedral compilation, GPU optimizations, quantum computing abstractions, distributed-memory algorithms, and energy-aware computing. His work bridges theoretical compiler design with practical performance improvements for modern hardware, including GPUs and quantum processors. Recent Research Trends: Analysis of his 15 most recent publications reveals strong emphasis on: 1) Automated code generation for distributed systems and tensor computations, 2) Quantum program optimization through affine transformations, 3) Energy-efficient GPU computing via polyhedral models, and 4) Novel compiler frameworks for task-based parallelism. His work consistently integrates formal methods (e.g., SMT solvers) with practical runtime systems. Student Advising: Actively seeks motivated students for research projects in compiler optimizations and quantum computing. Applicants to OSU are encouraged to list him as a potential advisor and mention PLSE/HPC interests in statements of purpose.

Andreas Paul Eberhard Kloecknerمشاهده پروفایل

دانشیار

• Scientific Computing
• Parallel Computing
• Numerical Techniques
• +۷ مورد دیگر

Andreas Paul Eberhard Kloeckner is an Associate Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), where he has been serving since 2013 (promoted to Associate Professor in 2019). He also holds an affiliate faculty appointment in the Department of Electrical and Computer Engineering since 2016. His academic journey includes a PhD in Applied Mathematics from Brown University (2010), an MSc from Brown University (2006), and a Diplom in Applied Mathematics from Universität Karlsruhe (2005). Prior to joining UIUC, he was a Courant Instructor at the Courant Institute of Mathematical Sciences at New York University. Dr. Kloeckner's research focuses on high-order accurate integral equation methods, fast algorithms for elliptic boundary value problems, and code transformation for high-performance scientific computing. His work bridges mathematical theory with practical implementation, with particular emphasis on GPU computing and parallel architectures. He has made significant contributions to the development of open-source scientific software, most notably PyCUDA and PyOpenCL, which have become widely used tools in the scientific computing community. His publication record shows a consistent focus on advancing numerical methods for scientific computing, with recent work emphasizing code generation techniques, fast integral equation solvers, and optimization of algorithms for modern hardware architectures. The trajectory of his publications reveals a progression from foundational work on GPU-based discontinuous Galerkin methods toward increasingly sophisticated approaches for integral equation methods and automatic code generation. Among his notable recognitions is the 2017 National Science Foundation CAREER Award, which supports his work on general-purpose, high-order integral equation methods for computer simulation in engineering. His research has been published in prestigious venues including SIAM Journal on Scientific Computing and has influenced both academic research and practical applications in scientific computing. Dr. Kloeckner has advised numerous graduate students through completion of their PhD and MS degrees, with alumni moving to positions at Apple, NVIDIA, Rice University, and other leading institutions. His research group maintains an active portfolio of open-source software projects that advance the state of scientific computing infrastructure.

• Computer Science
• Algorithms
• Constraint Satisfaction Problems (CSP)
• +۴ مورد دیگر

Dr. Oliver Kullmann is an Associate Professor in the Department of Computer Science at Swansea University, Faculty of Science and Engineering. His work focuses on theoretical computer science, particularly in satisfiability (SAT) solving, constraint satisfaction problems, and algorithm design. He has contributed to advancements in SAT-solving techniques like Cube-and-Conquer and has published extensively on topics such as quantified Boolean formulas, minimal unsatisfiable subformulas (MUSes), and parallel computing. Research Interests: Dr. Kullmann’s research spans algorithmic approaches to SAT and CSP, including the development of efficient solving methods, formal verification, and parallel computing optimizations. His work emphasizes practical applications of theoretical results, such as the Boolean Pythagorean Triples problem and GPU-accelerated algorithms for combinatorial problems like the N-Queens puzzle. Publications highlight his contributions to SAT theory and applications, with a focus on foundational aspects like autarkies, clause-set minimization, and hypergraph-based techniques. His work also integrates interdisciplinary methods, such as leveraging linear algebra and graph theory for SAT decision problems. Dr. Kullmann supervises PhD and MRes students in areas including SAT solving algorithms, general-purpose programming languages, and verification tools. He teaches modules such as Algorithms (CS-270) and the Logic and Computation Project (CS-700). His research platform, the OKlibrary, supports holistic SAT-solving research.