DIMACS

DIMACS
Name	DIMACS
Formation	1989
Type	Research center
Location	Rutgers University, Princeton University, Bell Labs
Focus	Algorithms, Discrete Mathematics, Theoretical Computer Science

DIMACS

The Center for Discrete Mathematics and Theoretical Computer Science is a collaborative research center founded in 1989 that brings together researchers from Rutgers University, Princeton University, Bell Labs and other institutions to advance topics in algorithms, graph theory, computational complexity, combinatorics and related areas. It organizes workshops, challenges, and publications that connect scholars from Massachusetts Institute of Technology, Stanford University, Harvard University, University of California, Berkeley and industry partners such as IBM, Microsoft Research, and AT&T. The center has influenced projects involving researchers affiliated with New Jersey Institute of Technology, Columbia University, Yale University, Cornell University and international collaborators from ETH Zurich, University of Cambridge, University of Oxford and École Polytechnique.

History

The center was established through partnerships among Rutgers University, Princeton University, Bell Labs, and funding agencies including the National Science Foundation and private entities linked to AT&T. Early activities featured collaborations with researchers from Harvard University, MIT, and University of Pennsylvania, and involved themes from the work of leaders associated with Bell Labs such as those who worked alongside figures connected to Claude Shannon, John Backus, and Richard Hamming. Over time the center hosted workshops attended by scholars from Stanford University, UC Berkeley, Cornell University and international visitors from University of Toronto, University of Waterloo, Technion, and PIMS. Major events connected to the center echoed topics prominent in conferences such as FOCS, STOC, SODA and collaborations with editorial boards of journals like Journal of the ACM, SIAM Journal on Computing, Combinatorica and Discrete Mathematics.

Organization and Mission

The center’s governance has involved directors and principal investigators drawn from Rutgers University, Princeton University, AT&T Labs Research and partner institutions including Columbia University and NYU. Its mission aligns with priorities promoted by funders such as the National Science Foundation, and it operates through programs that mirror models used at centers like Institute for Advanced Study, Simons Foundation initiatives, and university research centers at Stanford University and MIT. Activities include organizing workshops, sponsoring postdoctoral researchers from institutions such as University of Illinois at Urbana–Champaign, Georgia Institute of Technology, University of Maryland, and supporting graduate students linked to programs at Cornell University and Yale University. Administrative collaboration has involved personnel with prior roles at Bell Labs, IBM Research and agencies comparable to DARPA.

DIMACS Challenges and Benchmarks

The center established benchmark initiatives and challenge problems that engaged communities active in competitions and evaluations similar to those organized by ImageNet teams, SAT Competition organizers, and benchmarking efforts from SPEC. Challenges attracted participants from Microsoft Research, Google Research, IBM Research, Intel Labs, and academic groups at Stanford University, UC Berkeley, Princeton University and Carnegie Mellon University. Problem sets and challenge results were discussed at meetings frequented by contributors associated with FOCS, STOC, SODA, ICALP and program committees drawn from EPFL, ETH Zurich and leading national laboratories. Benchmarks covered topics with links to studies by researchers affiliated with Richard Karp-style complexity investigations, Donald Knuth-inspired algorithm analysis, and applied work paralleling efforts at Bell Labs and AT&T.

Publications and Workshops

The center produces proceedings, technical reports, and edited volumes that have been cited alongside works in Journal of the ACM, SIAM Journal on Computing, Combinatorica and conference proceedings for STOC, FOCS, SODA and ICALP. Workshops convened scholars from Harvard University, Princeton University, Columbia University, Cornell University and international institutions such as University of Cambridge, University of Oxford and ETH Zurich. Guest lecturers and contributors have included researchers who also publish in venues associated with ACM, SIAM, IEEE and collaborate with researchers at Google Research, Microsoft Research and IBM Research. Edited volumes and special issues resulting from the center’s programs feature contributions by scholars linked to awards like the Turing Award, the Gödel Prize, and the Knuth Prize.

Software and Data Repositories

The center curates repositories of datasets, benchmark instances, and software tools that complement efforts by communities behind the SAT Competition, DIM Repositories-style archives, and other academic data initiatives similar to those at UCI Machine Learning Repository and GitHub projects from Microsoft Research and Google Research. Materials distributed through the center have been used by teams at Stanford University, Carnegie Mellon University, UC Berkeley, Princeton University and industry labs including IBM Research and AT&T Labs. Codebases and data released in conjunction with challenges supported replication and evaluation practices pursued by participants from ETH Zurich, EPFL, University of Toronto and national laboratories such as Los Alamos National Laboratory.

Impact and Contributions to Computer Science

The center influenced algorithmic research, combinatorial optimization, graph algorithms, and complexity theory in ways that echo contributions by researchers from Stanford University, MIT, Princeton University, Harvard University and UC Berkeley. Its workshops and challenges helped seed collaborations resulting in work cited alongside breakthroughs recognized by prizes such as the Gödel Prize and the Turing Award, and have informed curricular developments at Rutgers University, Princeton University, Columbia University and Cornell University. The center’s benchmarks and repositories shaped empirical evaluation practices used by teams at Google Research, Microsoft Research, IBM Research and academic groups at Carnegie Mellon University and ETH Zurich, contributing to progress in areas connected with seminal results in graph theory, computational complexity, approximation algorithms, and network flows.

Category:Research institutes