Uniwersytet Wrocławski Uniwersytet Wrocławski

Wydział Matematyki i Informatyki

+ | -| =

Mapa

Language

Przewód doktorski Łukasza Stafiniaka

wtorek, 22 Wrzesień, 2015
Otwarto przewód doktorski Łukasza Stafiniaka. Rozprawa doktorska zatytułowana jest GADTs for Reconstruction of Invariants and Postconditions.

Przewód doktorski Piotra Witkowskiego

poniedziałek, 21 Wrzesień, 2015
Witkowski
Rozpoczął się przewód doktorski Piotra Witkowskiego, który napisał rozprawę zatytułowaną Complexity of Some Logics Extended with Monadic Datalog Programs pod kierunkiem prof. Witolda Charatonika.

Przewód doktorski Marka Materzoka

środa, 10 Grudzień, 2014
Marek Materzok
Marek Materzok uzyskał stopień doktora za rozprawę doktorską Control Abstraction for Layered Continuations: Semantics, Types and Implementation uzyskaną w obszarze nauk ścisłych, w dziedzinie nauk matematycznych, w dyscyplinie - informatyka.

Strony