PhD Student Lightning TalksFriday 16 September 2016

http://www.lfcs.ed.ac.ukIan Stark 2016-09-16

● Fabian Peternek

● Karoliina Lehtinen

● Simon Fowler

● Ludovica Luisa Vissat

● Martti Karvonen

● Danel Ahman

● Maria Astefanoaei

● Weili Fu

● Craig McLaughlin

http://www.lfcs.ed.ac.ukIan Stark 2016-09-16

Who’s Who

Student Supervisor

Patric Fulop Vincent Danos

Uchenna Nnabuko Stuart Anderson

Georgios Panagiotakos Aggelos Kiayias

Tengfei Yuan Wenfei Fan

Daniel Mills Elham Kashefi

Paul Piho Jane Hillston

Vanya Yaneva Ajitha Rajan

Jakub Zalewski Phil Wadler

Pepijn Kokke Phil Wadler

Thomas Wright Ian Stark

Yanghao Wang Wenfei Fan

Nikolaos Lamprou Myrto Arapinis

Emanuel Martinov Kousha Etessami

Aikaterini-Panagiota Stouka Aggelos Kiayias

David Butler David Aspinall

Yiannis Tselekounis Aggelos Kiayias

Pau Enrique-Moliner Chris Heunen

http://www.lfcs.ed.ac.ukIan Stark 2016-09-16

Fabian Peternek

http://www.lfcs.ed.ac.ukIan Stark 2016-09-16

Karoliina Lehtinen

http://www.lfcs.ed.ac.ukIan Stark 2016-09-16

Simon Fowler

λ π+Term language

Term typing rules

Term reductions

Configurations

Configuration typing rules

Configuration reductions

http://www.lfcs.ed.ac.ukIan Stark 2016-09-16

Ludovica Luisa Vissat

http://www.lfcs.ed.ac.ukIan Stark 2016-09-16

Martti Karvonen

http://www.lfcs.ed.ac.ukIan Stark 2016-09-16

Danel Ahman

Danel Ahman

Dependent Types and Computational Effects

dependent types (e.g., Vec (n))

fibrations, closed comprehension categories

computational effects (e.g., state, exceptions,

I/O, probability, continuations)

monads, adjunctions, Lawvere theories

syntax semantics

& &

16.09.2016my (upcoming) PhD thesis

http://www.lfcs.ed.ac.ukIan Stark 2016-09-16

Maria Astefenoaei

http://www.lfcs.ed.ac.ukIan Stark 2016-09-16

Weili Fu

http://www.lfcs.ed.ac.ukIan Stark 2016-09-16

Craig McLaughlin