Find Academic Supervisors

Michael O'BoyleView profile

Professor

• Heterogeneous Code discovery and Optimisation
• Neural Machine Translation and Neural Synthesis
• Deep Neural Network system stack
• +7 more

Michael O'Boyle is a Professor at the University of Edinburgh's School of Informatics, where he serves as Director of the ARM Research Centre of Excellence and the EPSRC Centre for Doctoral Training in Pervasive Parallelism. Holding an EPSRC Established Career Research Fellowship, he leads pioneering work in compiler technology for heterogeneous architectures, bridging theoretical advances with practical high-performance computing applications. Professor O'Boyle's research spans multiple cutting-edge areas including heterogeneous code discovery and optimization, neural machine translation for program synthesis, deep neural network system stack optimization, software-defined hardware, and compiler/architecture co-design. His approach integrates constraint analysis, program synthesis, and machine learning to address complex challenges in high-performance computing across diverse hardware platforms. His recent publications reveal a strong trend toward integrating machine learning with traditional compiler techniques, particularly in neural program synthesis, tensor optimization, and architecture-aware compilation. This work represents a paradigm shift in compiler design, moving from rule-based systems to learning-based approaches that can automatically adapt to diverse hardware targets. IEEE/ACM CGO 2025 Distinguished Paper Award for 'Tensorize: Fast Synthesis of Tensor Programs from Legacy Code' IEEE/ACM CGO 2024 Test of Time Award ACM GPCE 2023 Best Paper Award for 'C2TACO: Lifting Tensor Code to TACOM' ACM ASPLOS 2021 Distinguished Paper Award IEEE HPCA 2021 Best Paper Award for 'Prodigy: Improving the Memory Latency of Data-Indirect Irregular Workloads' Professor O'Boyle has successfully mentored numerous PhD students who have secured prominent positions in academia (including at Cambridge, Edinburgh, Leeds, and McGill) and industry (including Meta, NVIDIA, Qualcomm, Huawei, and Microsoft). His research is supported by significant funding from EPSRC, ARM, and European projects including Bonseyes and Transmuter, demonstrating strong international recognition and industry impact. He leads the influential Compiler and Architecture Design (CArD) Group at the University of Edinburgh and is a founder of the HiPEAC Network of Excellence, which has grown into a major European initiative connecting researchers and practitioners in high-performance and embedded computing.

• Database Management Systems
• Self-Driving Database Architectures
• Transaction Processing Systems
• +4 more

Andy Pavlo is an Associate Professor with Indefinite Tenure in the Computer Science Department at Carnegie Mellon University's School of Computer Science. He is an active member of the CMU Database Group and the Parallel Data Laboratory, where he leads research in database management systems with a focus on self-driving architectures, transaction processing, and large-scale analytics. His work bridges academic research and industry applications through projects like NoisePage, OtterTune (which he co-founded and served as CEO before it ceased operations), and Peloton. Dr. Pavlo's research interests span database management systems with particular emphasis on autonomous database architectures that can self-tune and optimize without human intervention. His work explores transaction processing systems that can handle high-throughput workloads while maintaining consistency, and large-scale data analytics techniques that efficiently process massive datasets. He has made significant contributions to query optimization, database extensibility, and automatic database tuning using machine learning techniques. His recent work on database extensibility revealed critical issues in PostgreSQL's extension ecosystem, showing that approximately 16% of extensions are incompatible with at least one other extension due to API violations and memory errors. His research output demonstrates a consistent focus on practical database systems challenges, with recent publications examining database extensibility, user-defined function optimization, and the cyclical nature of database research. The articles show a strong trend toward making database systems more autonomous, with increasing integration of machine learning techniques for automatic tuning and optimization. His work often combines deep theoretical analysis with practical implementation in open-source systems. Dijkstra Award 2024 for contributions to database systems research Dr. Pavlo actively mentors graduate students, with current advisees including Wan Shen Lim, William Zhang, and Sam Arch (co-advised with Todd Mowry). His former students have gone on to successful careers in both industry and academia. He has secured significant research funding through CMU's affiliate program with major database companies including ClickHouse, DataStax, dbt, Firebolt, MotherDuck, RelationalAI, SingleStore, Spiral, PingCAP/TiDB, Yellowbrick, and Yugabyte. His research is supported by these industry partnerships and likely includes NSF funding given his active participation in the database research community. At CMU, Dr. Pavlo leads the Database Group and organizes several seminar series including "SQL or Death," "Database Building Blocks," and "ML⇄DB Technical Talks." These seminars bring together researchers and practitioners to discuss cutting-edge developments in database systems. He also runs a summer research internship program that has attracted students for multiple consecutive years, indicating a strong research group with ongoing projects and funding.

Sharat ChandranView profile

Professor

• Computer Graphics
• Computer Vision
• Visual Computing
• +3 more

Sharat Chandran is a Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Bombay (IIT Bombay), where he has been actively engaged in teaching and research for several decades. His office is located in Room KR102 (also known as A202) in the Rekhi Building on the IIT Campus in Mumbai, India. His primary research interests span two major areas in computing: Computer Graphics and Computer Vision . He has extensively worked in these fields with his students and research staff, producing various publications, talks, and research projects over the years. His current teaching focus includes Math for Visual Computing (CS 740), a course designed for postgraduate students new to the IIT system who may have some apprehension about mathematics. Professor Chandran has supervised numerous PhD students whose work covers diverse topics including 3D modeling, efficient computing with tomographic measurements, vision for drones, cancer prognosis, hierarchical visibility, projector-camera systems, arterial pulse analysis, and optimization algorithms for motion factorization. His teaching portfolio is extensive, having offered courses such as Basic Freshman Programming, Software Systems, Parallel Programming Paradigms, Graphics I & II, Multimedia Systems, Computer Vision, Digital Image Processing, Algorithms, and Spatial Data Structures. He has held multiple administrative and service roles at departmental, institutional, and external levels. Departmental roles include PhD Faculty Advisor, Awards Committee Chair, Faculty Search Chair, and Web Team Chair. At the institutional level, he served as Founding PMRF Coordinator, Head of the Application Software Centre, and IIT Research Fellowship Initiative Coordinator. Externally, he has coordinated the DST India Digital Heritage Project and served as Program Co-Chair for conferences like Mysore Park Vision Conference and ICVGIP. Professor Chandran is actively involved in campus community activities including Sanskriti @ IITB, Taekwando @ IITB, and serves as Secretary for Kendriya Vidyalaya PTA. His office hours are from 12:30 PM to 1:00 PM on Monday, Tuesday, and Thursday, and he emphasizes using Piazza rather than email for student communications.

Fred B. SchneiderView profile

Professor

• Trustworthy Systems
• Fault-Tolerant Distributed Systems
• System Security
• +6 more

Fred B. Schneider is the Samuel B. Eckert Professor of Computer Science at Cornell University , where he has been a faculty member since 1978. His career spans foundational work in trustworthy systems , fault-tolerant distributed systems , and system security . He served as department chair from 2014–2018 and previously earned a B.S. in Engineering from Cornell (1975) and a Ph.D. in Computer Science from Stony Brook University (1978).

Tulika MitraView profile

Professor

• Hardware-Software Co-design
• Real-Time Embedded Systems
• Energy-Efficient Computing
• +7 more

Professor Tulika Mitra is the Dean of the School of Computing and Vice Provost (Special Projects) at the National University of Singapore (NUS). She holds the Provost’s Chair Professor in the Department of Computer Science and has been instrumental in shaping academic policies and strategic initiatives at NUS since joining in 2001. PhD in Computer Science, Stony Brook University (2000) M.E. in Computer Science, Indian Institute of Science (1997) B.E. in Computer Science, Jadavpur University (1995) Her research focuses on hardware-software co-design for energy-efficient computing systems, particularly in real-time embedded systems, heterogeneous architectures, and AI accelerators. She leads major research programs such as the NRF Competitive Research Programme on Low-Power Edge Accelerators and the MOE Tier-3 Programme on Green AI , collaborating with industry leaders like ARM, AMD, and Meta. Her recent publications highlight innovations in CGRA optimization , sparse attention mechanisms , photonic-digital hybrid architectures , and low-power ML inference . These works often integrate compiler techniques, architectural design, and real-time constraints for edge computing applications. Scientific Awards : ESWEEK Test-of-Time Award (2022), ACM SIGDA Distinguished Service Award, IEEE CEDA Outstanding Service Recognition Award, Teaching Excellence Award (2006), and multiple best paper recognitions. Education Leadership : Spearheaded the Computer Engineering (CEG) Programme at NUS, a joint initiative between Engineering and Computing. As a mentor , she has supervised over 25 PhD students , many now in prominent academic or industrial roles. Her research group eCO Lab focuses on embedded computing challenges, while her grant collaborations include projects on 5G base stations, reconfigurable architectures, and IoT-optimized SoCs.

Kyle C. HaleView profile

Associate Professor

• Operating Systems
• High-Performance Computing
• Computer Architecture
• +4 more

Kyle C. Hale is an Associate Professor at Oregon State University's School of Electrical Engineering and Computer Science (College of Engineering). He holds a Ph.D. and M.S. from Northwestern University (2016, 2013) and a B.S. in Computer Science from UT Austin (2010). Prior to joining Oregon State in 2024, he served as an Associate Professor at Illinois Tech in Chicago. His research spans operating systems, high-performance computing (HPC), virtualization, computer architecture, and system security. Current work focuses on specialized system software stacks for emerging computing paradigms like memory disaggregation and parallelism optimization. He leads the HExSA Lab and collaborates with the HiPCastor group. Scientific Awards: NSF CAREER Award (2023-2028) Illinois Tech College of Computing Excellence in Research (2023) Illinois Tech College of Computing Excellence in Teaching (2021) Illinois Tech Department of Computer Science Teacher of the Year (2020) EuroSys '22 Best Artifact Award Recent Research Trends: His publications emphasize compiler techniques for memory-disaggregated systems, optimizing parallel runtimes through hardware-software integration, virtualization at fine granularities, and accelerating machine learning workloads via system-level innovations. Keywords include HPC, virtualization, parallelism, and secure execution contexts. Teaching: Courses taught include Computer Architecture (CS/ECE 472), System Security (CSP 544), Operating Systems (CS 450), and advanced topics in serverless/edge computing. He actively recruits PhD students to the HExSA Lab.

Jing LiView profile

Associate Professor

• Computer Architecture
• Compiler Design
• Distributed Systems
• +7 more

Dr. Jing Li is an Associate Professor and Eduardo D. Glandt Faculty Fellow at the University of Pennsylvania , holding dual appointments in the Electrical and Systems Engineering and Computer and Information Science departments. As co-director of the CyberSavvy nationwide security research center and director of the Penn Computational Intelligence Lab (PennCIL) , she pioneers innovations in non-von Neumann computing paradigms. Her research spans post-CMOS technologies, in-memory computing, and hardware-software co-design for security and AI applications. PhD in Computer Engineering, Purdue University (2009) BSc in Electrical Engineering, Shanghai Jiaotong University (2004) Research Focus: Dr. Li's work addresses fundamental challenges in computer systems across the stack. Key areas include: In-Memory Computing: Liquid Silicon architecture combining RRAM with silicon CMOS through monolithic 3D integration Security Engineering: Transforming computer security from "Art" to formal "Engineering" discipline within CyberSavvy Virtualization: Cloud FPGA abstraction layers decoupling compilation from runtime resource management Graph Analytics: Degree-aware optimization techniques for massive-scale graph processing Deep Learning Systems: Roofline model extensions for FPGA-based CNN acceleration Scientific Impact: Awarded DARPA Young Faculty Award , NSF CAREER Award , and IBM CEO Milestone Award , her team has achieved world records in energy-efficient computing (ENIAD supercomputer). With 46 U.S. patents and over 80 publications, she leads ecosystem development for emerging computing architectures through initiatives like the open-source MEG simulation platform . Community Leadership: Dr. Li serves on program committees for flagship conferences ( ISCA , FPGA Symposium ), chairs the International Memory Workshop , and contributes to the MLsys conference's inaugural committee. She actively mentors through multiple PhD openings and industry collaborations.

Peter DindaView profile

Professor

• Parallel and Distributed Systems
• Virtualization
• Operating Systems
• +8 more

Peter Dinda is a Professor in the Department of Computer Science at Northwestern University , with a secondary appointment in the Department of Electrical and Computer Engineering . He has authored over 130 scientific papers, holds five patents, and is a Fellow of the IEEE . As the former head of the Computer Engineering and Systems division, he has contributed extensively to experimental computer systems. Education: B.S. in Electrical and Computer Engineering from the University of Wisconsin Ph.D. in Computer Science from Carnegie Mellon University Research Focus: Experimental computer systems, particularly parallel and distributed systems , virtualization , operating systems , and empathic systems that integrate user satisfaction with systems-level decision-making. His work also spans compiler design, memory management, and hardware-software co-design for performance optimization. Recent Trends: His publications emphasize virtualization efficiency, memory protection frameworks, parallel programming language design, and power management in heterogeneous computing environments. Key areas include exascale systems, IoT privacy, and physiological sensor-based user modeling. Scientific Awards: Fellow, IEEE Leadership: Served as Director of Graduate Studies and previously led the Computer Engineering and Systems division.

Catherine ElginView profile

Professor

• Epistemology
• Philosophy of Art
• Philosophy of Science
• +8 more

Catherine Z. Elgin is a Professor of the Philosophy of Education at Harvard University's Graduate School of Education since 1996. She holds a Ph.D. from Brandeis University (1975) and has taught at MIT, Princeton, Wellesley, Dartmouth, UNC Chapel Hill, Michigan State, Simmons, and Vassar prior to her Harvard appointment. Literary executor for Nelson Goodman and Jonathan Adler Research focuses on epistemology , philosophy of art , and philosophy of science Argues that understanding (not knowledge) should be epistemology's central concern Research Trends across her publications reveal: Epistemic value of fiction and imagination Interdisciplinary connections between art, science, and philosophy Critique of analytic/synthetic distinctions Perspectival approaches to scientific representation Conceptual analysis of exemplification and metaphor Epistemic normativity in educational contexts Scientific Awards & Editorial Involvement : Elected to American Academy of Arts & Sciences (2023) Advisory Board, American Philosophical Association Committee on the Philosophy of Education Editorial Board, American Philosophical Quarterly Editorial Board, International Journal for the Philosophy of Science Academic Leadership : Teaches courses in philosophy of education Maintains active research program through Harvard's DASH repository Collaborates with educators across Harvard's schools including the Center for Ethics and the Professions

• Parallel Computing
• Optimization Techniques
• High-Performance Computing (HPC)
• +5 more

Pascal BOUVRY is a full Professor of parallel computing and optimization techniques at the University of Luxembourg's Department of Computer Science , within the Faculty of Science, Technology and Medicine (FSTM) . He currently serves as the Dean of the FSTM and leads the Parallel Computing and Optimisation group . Additionally, he oversees the University's High Performance Computing (HPC) infrastructure. His research focuses on parallel computing, optimization algorithms, distributed systems, and their applications in bioinformatics and distributed environments. Prof. BOUVRY holds a Ph.D. in Computer Science from the University of Grenoble (France) and has extensive industry experience, including roles as CEO/CTO of tech firms and leadership in telecom and financial services sectors. He has pioneered initiatives like the Master in High-Performance Computing and Technopreneurship programs at the University of Luxembourg. His research interests span GPU programming paradigms , federated learning , distributed optimization , and trustworthy AI . Recent work includes advancements in HPC education frameworks, federated learning frameworks (e.g., FedPref), and quantum circuit optimization. He contributes to editorial boards of journals like IEEE Transactions on Sustainable Computing and IEEE Cloud Computing Magazine. Prof. BOUVRY has held international leadership roles, including as Honorary Chair of conferences and active participation in technical committees. His educational efforts emphasize bridging academic research with industrial applications, particularly in HPC and AI.

Tom ConteView profile

Professor

• Computer Architecture
• Compiler Optimization
• Manycore Architectures
• +4 more

Tom Conte is an academic leader with a joint appointment in the School of Electrical & Computer Engineering and School of Computer Science at Georgia Institute of Technology. As the founding director of the Center for Research into Novel Computing Hierarchies (CRNCH), he specializes in computer architecture and compiler optimization. His work focuses on manycore architectures, energy-efficient microprocessor design, and embedded system architectures. Prior to Georgia Tech, he directed the Center for Embedded Systems Research at North Carolina State University. He holds IEEE Fellow status and served as 2015 President of the IEEE Computer Society, co-leading the IEEE Rebooting Computing Initiative since 2011. Dr. Conte earned his bachelor’s degree in Electrical Engineering from the University of Delaware (1986), followed by M.S. and Ph.D. degrees in Electrical Engineering from the University of Illinois at Urbana-Champaign (1988 and 1992). His research has been recognized with prestigious awards including the IEEE Computer Society’s Golden Core Member award and the National Science Foundation’s CAREER Award (1996). His research interests span quantum computing, 3D chip architectures, energy-efficient processing, and post-Moore computing innovations. He has pioneered initiatives like the Superstrider architecture and CREEPY energy-efficient processing frameworks. Recent work includes advancements in quantum programming languages (e.g., Qwerty) and hybrid quantum-classical systems. Awards: IEEE Fellow, Young Alumni Achievement Award, CAREER Award Leadership: IEEE Computer Society President (2015), CRNCH Director Key Projects: Rebooting Computing Initiative, Superstrider Architecture His lab’s contributions include novel compiler optimizations for manycore systems, smart NIC offloading techniques, and thermodynamically inspired computing models. Conte’s work bridges academic research with industry needs through interdisciplinary collaborations and standardization efforts.

Onur MutluView profile

Professor

• Computer Architecture
• Computer Systems
• Hardware Security
• +5 more

Onur Mutlu is a Professor of Computer Science at ETH Zurich, affiliated with the Department of Information Technology and Electrical Engineering. He also holds adjunct professorships at Carnegie Mellon University and Bilkent University. His research focuses on computer architecture, systems security, bioinformatics, and energy-efficient computing. He has pioneered work on memory-centric computing paradigms, RowHammer security vulnerabilities, and bio-inspired computing systems. He teaches courses such as Digital Design & Computer Architecture and supervises the SAFARI research group, which explores cutting-edge topics in memory systems, AI accelerators, and genomics. Recent activities include keynote talks at ISCA, HiPEAC, and IEEE conferences, emphasizing emerging hardware-software co-design principles. Key contributions include foundational work on memory reliability, cross-layer system design, and accelerating genomic data analysis. His research has been showcased in over 200 publications and industry collaborations with tech leaders like Intel, Huawei, and Micron.

Anthony TUNG Kum HoeView profile

Professor

• Database Systems
• Indexing and Searching Complex Objects
• Time Series Analysis
• +13 more

Anthony TUNG Kum Hoe is a Professor in the Department of Computer Science at the National University of Singapore (NUS), where he has established himself as a leading researcher in database systems and data mining. He is also affiliated with the NUS Graduate School for Integrative Sciences and Engineering and serves as a SINGA supervisor. His educational background includes a Ph.D. in Computer Science from Simon Fraser University (2001), an M.Sc. in Information Systems & Computer Science from NUS (1998), and a B.Sc. with 2nd Class Upper Honours in Information Systems & Computer Science from NUS (1997). Professor Tung's research spans several interconnected areas within database systems and data mining. His primary focus is on developing efficient methods for indexing and searching complex data structures including time series, trajectories, trees, graphs, and high-dimensional objects. He has pioneered work in visual query processing, keyword search, and ranking systems. His GENIE (Generic Inverted Index) and LAMP (semi-Lazy Mining Paradigm) projects represent significant contributions to big data analytics, particularly in handling the 'variety' aspect of big data by providing unified frameworks for processing diverse data structures while preserving semantic meaning. His research bridges theoretical database concepts with practical applications in visual data mining, collaborative analytics, and just-in-time model construction. His recent publications reveal a clear evolution from traditional database research toward more complex analytics on diverse data types. While maintaining his core expertise in database indexing and query processing, his work has expanded to incorporate machine learning techniques, particularly in areas like nearest neighbor search, anomaly detection, and predictive analytics. There's a noticeable trend toward interdisciplinary applications, with publications spanning computer vision, natural language processing, transportation systems, and social computing. His research group consistently publishes in top-tier venues including SIGMOD, VLDB, ICDE, and KDD, demonstrating both theoretical rigor and practical relevance. 2005 Best Paper Award for 'Indexing DNA Sequences Using q-grams' 2007 Invited panel speaker on 'Advice for a successful database researcher career in Asia' at SIGMOD 2010 Guest Lecturer for VLDB Database School 2012 VLDB 2012 Research PC Co-chairs 2015 10 Years Best Paper Award, DASFAA 2015 Invited to SIGMOD 2008 and SIGKDD 2008 Program Committees Professor Tung has supervised numerous PhD students and research associates throughout his career, including notable researchers like Zhang Zhenjie (recipient of the 2007 President Graduate Fellowship) and Wang Nan (published in SIGMOD'08). His research group has been consistently productive, with students publishing in top conferences including SIGMOD, ICDE, and VLDB. His professional service is extensive, having served as PC Chair for COMAD'06, Research PC Co-chair for VLDB 2012, and on program committees for virtually all major database and data mining conferences over the past two decades. His research has been supported by various grants that have enabled significant contributions to database technology. His GENIE and LAMP projects represent a cohesive research direction focused on developing systematic approaches to big data analytics. GENIE provides a unified platform for storage and retrieval of big data with various structures, while LAMP introduces a novel paradigm for predictive analytics that combines the strengths of lazy and eager learning approaches. These projects have evolved to incorporate GPU acceleration and parallel processing capabilities, reflecting his commitment to addressing real-world scalability challenges in data-intensive applications.

• Distributed control
• Autonomy and Control
• Aerospace Systems
• +6 more

Dengfeng Sun is a Professor and Associate Head of the Gambaro Graduate Program in the School of Aeronautics and Astronautics at Purdue University. His research focuses on distributed control systems, autonomy, resilient networks, and air traffic management. Sun holds a B.Eng. from Tsinghua University, an M.S. from The Ohio State University, and a Ph.D. from UC Berkeley. His work spans advanced air mobility, UAV trajectory planning, and stochastic optimization for large-scale systems. Key contributions include resilient UAV traffic control, distributed state estimation algorithms, and fault detection methods for navigation systems. Sun's research has been published in top journals like IEEE Transactions on Intelligent Transportation Systems and Transportation Research Part E. Education: B.Eng., Tsinghua University (2000) M.S., Ohio State University (2002) Ph.D., UC Berkeley (2008) He advises on cutting-edge projects integrating robotics, autonomous systems, and cloud-based traffic modeling. His lab develops solutions for urban air mobility, emergency medical UAV networks, and next-generation air traffic control systems. Notable collaborations include work with NASA and industry partners on continuous descent approach procedures and metroplex routing paradigms. Sun's work bridges theoretical control systems with practical applications in aviation and infrastructure optimization.

Thuy T. LeView profile

Professor

• Digital System Design
• Computer Architecture
• Hardware Accelerators
• +6 more

Thuy T. Le is a Professor of Electrical Engineering at San Jose State University's College of Engineering. With a distinguished career spanning several decades, he teaches graduate and undergraduate courses in digital system design, computer architecture, microprocessor systems, and related fields. His academic journey began with earning B.S., M.S., and Ph.D. degrees from the University of California, Berkeley. Professor Le's research interests encompass a broad spectrum of cutting-edge technological domains. His primary focus areas include System-on-Chip (SoC) and Embedded System Design, Hardware Accelerators for complex algorithms, Quantum Computing, implementation of Probability theory and Monte Carlo simulation, and radiation effects on electronic devices and systems. His work bridges traditional electrical engineering with emerging computational paradigms, demonstrating a consistent ability to adapt to evolving technological landscapes while maintaining strong foundations in core engineering principles. Analysis of Professor Le's publication record reveals a consistent trajectory from nuclear reactor physics and computational methods toward modern hardware acceleration and quantum computing. His early work focused on nuclear reactor simulation and radiation shielding, then evolved to parallel computing and distributed systems, and has recently centered on hardware acceleration for complex algorithms, quantum computing applications, and AI hardware. This progression demonstrates his ability to transition between major technological paradigms while maintaining expertise in computational methods and hardware implementation. Professor Le has demonstrated significant leadership in professional service, having served as keynote speaker, general chair, technical program chair, session chair, reviewer, and committee member for numerous international conferences. His service extends beyond academia through his role as Co-Founder and Advisor of the Vietnamese Strategic Ventures Network and Chairman of the Board of the United States–Vietnam Foundation. In his educational role, Professor Le has made substantial contributions to engineering curriculum development and assessment. He has taught a wide range of courses including EE271 (Advanced Digital System Design), EE210, EE250, and various project/thesis courses. His research advising spans digital system design, ASIC, SOC, and hardware accelerators. He has also collaborated with local companies on projects related to high-performance system architectures, parallel algorithms, digital arithmetic, and System-on-Chip verification.