Skip to main content ITU
Logo
  • Programmes
    • BSc Programmes
    • BSc in Global Business Informatics
    • BSc in Digital Design and Interactive Technologies
    • BSc in Software Development
    • BSc in Data Science
    • Applying for a BSc programme
    • MSc Programmes
    • MSc in Digital Innovation & Management
    • MSc in Digital Design and Interactive Technologies
    • MSc in Software Design
    • MSc in Computer Science
    • MSc in Data Science
    • MSc in Games
    • Applying for an MSc programme
    • Student Life
    • Women in tech
    • Student organisations at ITU
    • Labs for students
    • Practical Information for International Students
    • Ask a student
    • Study Start
    • Study and Career Guidance
    • Guest Students
    • Who can be a Guest Student
    • ITU Summer University
    • Exchange Student
    • Become an exchange student at ITU
    • Open House
    • Open House - MSc programmes
    • Open House - BSc programmes
  • Professional Education
    • Master in IT
    • Master in IT Management
    • Single Subjects
    • About single subjects
    • Contact
    • Contact us here
  • Research
    • Departments
    • Business IT Department
    • Computer Science Department
    • Digital Design Department
    • Research Groups and Labs
    • Research Groups
    • Labs
    • Research Centres
    • Centre for Digital Play
    • Center for Climate IT
    • Center for Computing Education Research
    • Centre for Digital Welfare
    • Centre for Information Security and Trust
    • European Blockchain Centre
    • Danish Institute for IT Program Management
    • ITU Research Portal
    • Find Researcher
    • Find Research
    • Research Ethics and Integrity
    • Good Scientific Practice
    • Technical Reports
    • Technical Reports
    • PhD Programme
    • About the PhD Programme
    • PhD Courses
    • PhD Defences
    • PhD Positions
    • Types of Enrolment
    • PhD Handbook
    • PhD Support
  • Collaboration
    • Collaboration with students
    • Project collaboration
    • Project Market
    • Student worker
    • Project postings
    • Job and Project bank
    • Employer Branding
    • IT Match Making
    • Hiring an ITU student or graduate
    • Make a post in the job bank
    • Research collaboration
    • Licensing Opportunities
    • Open Entrepreneurship
    • Research collaboration
    • Industrial PhD
    • Hire an Industrial PhD
    • Innovation and entrepreneurship
    • ITU Business Development
    • ITU Startup programme
  • About ITU
    • About ITU
    • Press
    • Vacancies
    • Contact
  • DK
Courses
ITU  /  Research  /  PhD Programme  /  Courses  /  2020  /  PhD Course - Categories for Quantum Theory
  • Research
    • Research Departments
    • Research Ethics and Integrity
    • Good Scientific Practice
    • Research Groups and Centers
    • Labs
    • Technical Reports
    • PhD Programme
      • About the PhD Programme
      • Courses
        • 2023
        • 2022
        • 2021
        • 2020
          • PhD Course - Categories for Quantum Theory
            • PhD Course - Addressing Change and Continuity in Anthropology, STS and IT
            • Online PhD Course - Calling Bullshit
            • PhD Course - Communication Complexity
            • PhD Course - Research - Code of Conduct
            • PhD Course - Theory and Theorizing in Information Systems Research
            • (POSTPONED) PhD Symposium - Navigating your PhD study: turning over the leaf
            • PhD Course - Research, Interrupted - Methods and re(design) of Fieldwork in Anthropology and STS
            • Online PhD Course - Designing Engaged Scholarship: From Real-World Problems to Research Publications
          • 2019
          • 2018
          • 2017
          • 2016
          • 2015
          • 2014
          • 2013
          • 2012
          • 2011
          • 2010
        • Defences
        • Positions
        • Types of Enrolment
        • Handbook
        • PhD Support

    PhD Course - Categories for Quantum Theory

    Website: Can be found here: http://pls.itu.dk/Categories_for_quantum.html

    Organizers: Rasmus Ejlers Møgelberg, Radu-Cristian Curticapean and Michael Kastoryano. 

    Lecturers: The organizers and all participants.

    Dates of the course: Week of March 9 to May 2020 (10 weeks)

    Time: TBD

    Room: Online

    Course description:
    With the future prospect of quantum computers, quantum theory is increasingly an area of interest among computer scientists. This course studies quantum theory from the perspective of category theory, assuming no previous knowledge in either area. We study monoids, Frobenious structure and Hopf algebras as well as the ZX calculus, a sound and complete graphical calculus for quantum computation.

    ILOs: Construct simple proofs using the relevant category theoretic tools. Argue using graphical notation. Describe the quantum computation interpretation of a ZX diagram.

    Reading list: We use the book Categories for Quantum Theory by Chris Heunen and Jamie Vicary.(https://global.oup.com/academic/product/categories-for-quantum-theory-9780198739616?cc=dk&lang=en&)          

    Programme: 10 lectures of 2 hours. One each week.

    Prerequisites: Mathematical maturity, knowledge of basic linear algebra. Willingness to learn a bit of category theory and quantum theory.

    Exam: Each student will take responsibility for at least one lecture, and submit 3 mandatory exercises. 

    Credits: 5 ECTS

    Amount of hours the student is expected to use on the course:
    Participation: 20 hours
    Preparation: 110 hours (60 hours reading, 10 hours preparing presentation, 40 hours mandatory exercises)

    How to sign up: Write a mail to mogel@itu.dk (Rasmus)


    Contact us

    Phone
    +45 7218 5000
    E-mail
    itu@itu.dk

    All contact information

    Web Accessibility Statement

    Find us

    IT University of Copenhagen
    Rued Langgaards Vej 7
    DK-2300 Copenhagen S
    Denmark
    How to get here

    Follow us

    ITU Student /
    Privacy /
    EAN-nr. 5798000417878/
    CVR-nr. 29 05 77 53

    This page is printed from https://en.itu.dk/Programmes/BSc-Programmes/~/link.aspx?_id=7AF971A8CCA040D184609747E55D40A1&_z=z