Researcher

Collins, P.J.

Assistant Professor

View graph of relations
  1. 2018
  2. Amazeing ARIADNE

    Pieter Collins (Speaker)
    22 Nov 2018

    Activity: Talk or presentation (speaker at event)Talk or presentationAcademic

  3. Rigorous Function Calculi-II

    Pieter Collins (Speaker)
    25 Sep 2018

    Activity: Talk or presentation (speaker at event)Talk or presentationAcademic

  4. Rigorous Numerical Computing with ARIADNE

    Pieter Collins (Speaker)
    17 Aug 2018

    Activity: Talk or presentation (speaker at event)Talk or presentationAcademic

  5. Rigorous Numerical Computation with ARIADNE

    Pieter Collins (Speaker)
    6 Aug 2018

    Activity: Talk or presentation (speaker at event)Talk or presentationAcademic

  6. Types, Homotopy Type Theory, and Verification

    Pieter Collins (Participant / Attendee)
    5 Jun 20188 Jun 2018

    Activity: Participating in OR organising an eventAcademic

  7. Types, Sets and Constructions

    Pieter Collins (Participant / Attendee)
    4 Jun 201813 Jun 2018

    Activity: Participating in OR organising an eventAcademic

  8. 2011
  9. Mathematics of Control Signals and Systems (Journal)

    Pieter Collins (Editor)
    Sep 2011 → …

    Activity: Publication peer-review and editorial workEditorial activity journalAcademic