Proponowane tematy prac magisterskich

Marcin Benke

Aleksy Schubert

Semestr letni 2014/2015

09.03.15Węgrzycki O problemach pakowania
16.03.15Imianowski Podsumowania kodu
23.03.15Paziewski Automatyczne zrównoleglanie
30.03.15Fatyga Typy i złożoność
13.04.15Lisiecki Programowanie funkcyjne w C++
Węgrzycki O problemach pakowania
20.04.15Zakrzewski Sound & modular verification of C
27.04.15KrasnoborskiTranslacja kodu binarnego na binarny
Cieplik Sterowniki pod Windows i Linuxem
04.05.15Wilczyński
11.05.15Szpak Differential privacy
18.05.15Marczenko C11 memory model
25.05.15Cieplik
Krasnoborski
01.06.15Błażejewski Metaprogramowanie
08.06.15Roszkowski Type targeted testing
15.06.15Rudziński Ur/Web

Semestr zimowy 2014/2015

13.10.14PC, KL prace magisterskie
20.10.14KW, PW, KP prace magisterskie
27.10.14 Roszkowski There is no fork
03.11.14Szpak Wielodziedziczenie
17.11.14Cieplik Cognitive Architectures
24.11.14Rudziński Swift
01.12.14MarczenkoFrama-C
09.12.14ImianowskiClojure
15.12.14Niedziałkowska, Fatygaprace magisterskie
12.01.15ZakrzewskiFast conservative garbage collection
19.01.15BłażejewskiStatyczne typowanie w Pythonie
26.01.15KrasnoborskiOptimising Purely Functional GPU Programs