Personal information

Sweden

Activities

Employment (8)

Chalmers University of Technology: Gothenburg, SE

2018-01-01 to present | Universitatslektor (Computer Science)
Employment
Source: Self-asserted source
Robin Adams

Hamburg University of Technology: Hamburg, DE

2017-09-01 to 2017-12-31 | Postdoktor (Computer Science)
Employment
Source: Self-asserted source
Robin Adams

University of Bergen: Bergen, NO

2016-01-01 to 2017-08-31 | Postdoctoral Researcher (Informatikk)
Employment
Source: Self-asserted source
Robin Adams

University of Nijmegen: Nijmegen, NL

2014-01-01 to 2015-12-31 | Postdoctoral Researcher (Institute of Computing and Information Sciences)
Employment
Source: Self-asserted source
Robin Adams

Royal Holloway University of London: Egham, Surrey, GB

2009-09-01 to 2012-10-01 | Lecturer (Computer Science)
Employment
Source: Self-asserted source
Robin Adams

Royal Holloway, University of London: Egham, GB

2006-11-01 to 2009-09-01 | Research Fellow (Computer Science)
Employment
Source: Self-asserted source
Robin Adams

Royal Holloway, University of London: Egham, GB

2005-09-30 to 2006-10-31 | Research Assistant (Computer Science)
Employment
Source: Self-asserted source
Robin Adams

Victoria University of Manchester: Manchester, GB

2004-03-01 to 2005-09-01 | Research Assistant (Computer Science)
Employment
Source: Self-asserted source
Robin Adams

Education and qualifications (2)

University of Manchester: Manchester, GB

2000-09-01 to 2004-11-26 | PhD Mathematics
Education
Source: Self-asserted source
Robin Adams

St John's College, University of Oxford: Oxford, GB

1996-09-01 to 2000-06-01 | BA Mathematics with Philosophy
Education
Source: Self-asserted source
Robin Adams

Funding (2)

Classical Dependent Type Theories

2012-03-01 to 2012-09-29 | Grant
Engineering and Physical Sciences Research Council (n/a, GB)
GRANT_NUMBER: grant.EP/J009113/1
Source: Self-asserted source
Robin Adams via DimensionsWizard

Reverse Mathematics in Dependent Type Theory

2006-10-15 to 2009-10-14 | Grant
Engineering and Physical Sciences Research Council (n/a, GB)
GRANT_NUMBER: grant.EP/D066638/1
Source: Self-asserted source
Robin Adams via DimensionsWizard

Works (18)

Guaranteeing privacy policies using lightweight type systems

Computer Law & Security Review
2019-11 | Journal article
Contributors: Robin Adams; Wolfgang Schulz; Sibylle Schupp; Florian Wittner
Source: check_circle
Crossref

A Normalizing Computation Rule for Propositional Extensionality in Higher-Order Minimal Logic

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
2018 | Journal article
Source: Self-asserted source
Robin Adams

A Type Theory for Probabilistic and Bayesian Reasoning

TYPES 2015
2018 | Conference paper
Source: Self-asserted source
Robin Adams

Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components

Lecture Notes in Computer Science
2018 | Book chapter
Part of ISBN: 9783030035914
Part of ISBN: 9783030035921
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Source: Self-asserted source
Robin Adams

Privacy-Preserving Architectures with Probabilistic Guaranties

2018 16th Annual Conference on Privacy, Security and Trust (PST)
2018-08 | Conference paper
Source: Self-asserted source
Robin Adams

QPEL: Quantum Program and Effect Language

Electronic Proceedings in Theoretical Computer Science, EPTCS
2014 | Conference paper
EID:

2-s2.0-84938688702

Contributors: Adams, R.
Source: Self-asserted source
Robin Adams via Scopus - Elsevier

A pluralist approach to the formalisation of mathematics

Mathematical Structures in Computer Science
2011 | Journal article
EID:

2-s2.0-80053076240

Contributors: Adams, R.; Luo, Z.
Source: Self-asserted source
Robin Adams via Scopus - Elsevier

Classical predicative logic-enriched type theories

Annals of Pure and Applied Logic
2010 | Journal article
EID:

2-s2.0-77954622511

Contributors: Adams, R.; Luo, Z.
Source: Self-asserted source
Robin Adams via Scopus - Elsevier

Weyl's predicative classical mathematics as a logic-enriched type theory

ACM Transactions on Computational Logic
2010 | Journal article
EID:

2-s2.0-76249085395

Contributors: Adams, R.; Luo, Z.
Source: Self-asserted source
Robin Adams via Scopus - Elsevier

Coercive subtyping in lambda-free logical frameworks

ACM International Conference Proceeding Series
2009 | Conference paper
EID:

2-s2.0-70450208283

Contributors: Adams, R.
Source: Self-asserted source
Robin Adams via Scopus - Elsevier

Structural subtyping for inductive types with functorial equality rules

Mathematical Structures in Computer Science
2008 | Journal article
EID:

2-s2.0-58149354234

Contributors: Luo, Z.; Adams, R.
Source: Self-asserted source
Robin Adams via Scopus - Elsevier

Weyl's predicative classical mathematics as a logic-enriched type theory

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007 | Book
EID:

2-s2.0-38049136981

Source: Self-asserted source
Robin Adams
grade
Preferred source (of 2)‎

Formalized metatheory with terms represented by an indexed family of types

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006 | Book
EID:

2-s2.0-33745177743

Contributors: Adams, R.
Source: Self-asserted source
Robin Adams via Scopus - Elsevier

Pure type systems with judgemental equality

Journal of Functional Programming
2006 | Journal article
EID:

2-s2.0-31744448151

Contributors: Adams, R.
Source: Self-asserted source
Robin Adams via Scopus - Elsevier

A modular hierarchy of logical frameworks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2004 | Book
EID:

2-s2.0-35048894273

Contributors: Adams, R.
Source: Self-asserted source
Robin Adams via Scopus - Elsevier

A Normalizing Computation Rule for Propositional Extensionality in Higher-Order Minimal Logic

TYPES 2016
Conference paper
Source: Self-asserted source
Robin Adams

Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components

VSTTE 2018
Conference paper
Source: Self-asserted source
Robin Adams

Privacy-Preserving Architectures with Probabilistic Guaranties

PST18
Conference paper
Source: Self-asserted source
Robin Adams