phd student lightning talkswcms.inf.ed.ac.uk/lfcs/events/2016-09-lightning-talks.pdf · 2016. 9....
TRANSCRIPT
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