TOPPS (research group)

The topic of this article may not meet Wikipedia's notability guidelines for companies and organizations. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted.
Find sources: – · · · scholar · JSTOR (June 2013) (Learn how and when to remove this template message)

TOPPS is a research group at Datalogisk institut, Copenhagen University (DIKU). TOPPS is an abbreviation of the Danish "Teori Og Praksis for ProgrammeringsSprog", which roughly translates into "Theory and practice of programming languages". The group web site^[1] states that they are a group of researchers with interest in "Semantics-based Program Analysis and Manipulation".

References[]

^ "Archived copy". Archived from the original on 2013-10-31. Retrieved 2013-06-15.{{cite web}}: CS1 maint: archived copy as title (link)

University of Copenhagen

Academics

Faculties	Faculty of Health and Medical Sciences Faculty of Humanities Faculty of Law Faculty of Science Faculty of Social Sciences Faculty of Theology
Centres and departments	Bioinformatics Centre Department of Biology Department of Chemistry Department of Computer Science Department of Mathematical Sciences Department of Nutrition, Exercise and Sports Nano-Science Center Center for the Philosophy of Nature and Science Studies Center for Planetary Research Center for Protein Research Søren Kierkegaard Research Center Cosmic Dawn Center
Institutes and laboratories	Arnamagnæan Institute Hans Christian Ørsted Institute Niels Bohr Institute University of Copenhagen Arctic Station Urban Culture Lab
Schools	Royal School of Library and Information Science School of Pharmaceutical Sciences School of Veterinary Medicine and Animal Science
Other	Copenhagen–Tartu school TOPPS Master of International Health Museum Tusculanum Press

University

Campuses	City Campus Frederiksberg Campus North Campus South Campus
Historical dormitories	Borchs Kollegium Elers' Kollegium Hassagers Kollegium Regensen Valkendorfs Kollegium
Museums	Natural History Museum of Denmark University of Copenhagen Botanical Garden University of Copenhagen Geological Museum University of Copenhagen Zoological Museum Medical Museion

P ≟ NP

This biographical article relating to a computer scientist is a stub. You can help Wikipedia by .