Interests in
applications and/or formalizing computer science theory in, e.g., Agda,
are also very welcome.
The successful hire will work on the funded project with Prof. Patricia
Johann at Appalachian State University, her students, and collaborating
researchers. The duration of the position is ini
tion rules and parametricity for them. Interests in
applications and/or formalizing computer science theory in, e.g., Agda,
are also very welcome.
The successful hire will work on the funded project with Prof. Patricia
Johann at Appalachian State University, her students, and collaborating
r
questions
on the themes of categorical semantics of data types and
parametricity. Interests in applications and/or formalizing computer
science theory in, e.g., Agda, are also welcome.
The successful hire will work on the funded project with
Prof. Patricia Johann at Appalachian State University, he
an Ghica (University of Birmingham)
Pierre Hyvernat (Universite Savoie Mount Blanc)
Mauro Jaskelioff (Universidad Nacional de Rosario)
Patricia Johann (Appalachian State University) - Chair
Achim Jung (University of Birmingham)
Barbara Koenig (Universitaet Duisburg-Essen)
Dexter Kozen
sity)
Ugo Dal Lago (University of Bologna & INRIA Sophia Antipolis)
Dan Ghica (University of Birmingham)
Pierre Hyvernat (Universite Savoie Mount Blanc)
Mauro Jaskelioff (Universidad Nacional de Rosario)
Patricia Johann (Appalachian State University) - Chair
Achim Jung (Un
sity of Ljubljana)
Stephen Brookes (Carnegie Mellon University)
Ugo Dal Lago (University of Bologna & INRIA Sophia Antipolis)
Dan Ghica (University of Birmingham)
Pierre Hyvernat (Universite Savoie Mount Blanc)
Mauro Jaskelioff (Universidad Nacional de Rosario)
Patricia Johann (App
Interests in applications and/or formalizing computer
science theory in, e.g., Agda, are also welcome.
The successful hire will work on the funded project with
Profs. Patricia Johann and Andrew Polonsky at Appalachian
State University, their students, and collaborating
researchers. They will
o
welcome. The main tool to be employed is the categorical notion
of a fibration, which provide uniform and principled models of
very general forms of indexing. The successful hire will work on
the funded project with Prof Patricia Johann and collaborating
researchers. They will also have the o
in another. The successful applicant will also be excited
about working on fundamental research questions on the themes of
parametricity and language-based program verification. They will
work with Prof Patricia Johann and project partners, and will
also have the opportunity to initiate
, Heriot-Watt University
Gordon Plotkin, University of Edinburgh
Workshop Chairs
---
Greg Michaelson, Heriot-Watt University
Patricia Johann, University of Strathclyde
Programme Committee
---
Robert Atkey, University of Strathclyde
Dan Dougherty, WPI
Maribel Fernandez, Kings
and Information Sciences
University of Strathclyde, Scotland
Applications are invited for one PhD position within the Mathematically
Structured Programming group at the University of Strathclyde. The group
comprises Prof. Neil Ghani, Dr. Patricia Johann, Dr. Conor McBride, Dr.
Peter Hancock
of Strathclyde, Scotland
Applications are invited for one PhD position within the Mathematically
Structured Programming group at the University of Strathclyde. The group
comprises Prof. Neil Ghani, Dr. Patricia Johann, Dr. Conor McBride, Dr. Peter
Hancock, Dr. Robert Atkey, and six PhD students
and Information Sciences
University of Strathclyde, Glasgow, Scotland
Applications are invited for one PhD position within the newly-formed
Mathematically Structured Programming group at the University of
Strathclyde. The group comprises Prof. Neil Ghani, Dr. Patricia Johann,
and Dr. Conor McBride
to send
email to both the address in the ad and this one:
[EMAIL PROTECTED]
Best wishes,
Patricia Johann
PhD Position
in
Operational and Categorical Approaches to Parametricity
Department of Computer and Information Sciences
14 matches
Mail list logo