Środowiskowe Studia Doktoranckie w zakresie informatyki są studiami czteroletnimi, dziennymi, prowadzonymi przez Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego przy udziale Wydziału Matematyki i Informatyki Uniwersytetu Mikołaja Kopernika, Wydziału Matematyki, Fizyki i Informatyki Uniwersytetu Gdańskiego oraz Wydziału Matematyki i Informatyki Uniwersytetu Łódzkiego.

Kształcenie w ramach tych studiów obejmuje m.in. następujące zagadnienia:

1. Informatyka i logika, teoria automatów i języków formalnych, algorytmika, kombinatoryka algorytmiczna
   1. Przedmiotem zainteresowania są zagadnienia logiki pierwszego rzędu i logiki równościowej, rachunek lambda, problematyka związana z procesami redukcji (term rewriting, graph rewriting), teoria typów, automatyczne dowodzenie twierdzeń, unifikacja i inne problemy decyzyjne, teoria automatów i języków formalnych (lingwistyka matematyczna, teoria śladów), matematyczne modele współbieżności (sieci Petriego, systemy tranzycyjne), teoria złożoności, teorii grafów, kombinatoryka algorytmiczna.
   2. Badane są m.in. zagadnienia konstruowania algorytmów i techniki algorytmiczne przyspieszających obliczenia, oraz/lub zmniejszającymi zużycie pamięci, z drugiej strony upraszczanie algorytmów, ich opisywanie w sposób zrozumiały i wizualizacja. Problematyka dotyczy w szczególności algorytmów związanych z tekstami lub ich odpowiednikami dwuwymiarowymi, algorytmów dla bardzo dużych obiektów zadanych w zwarty skompresowany sposób.
2. Symulacje komputerowe i obliczenia wielkoskalowe, modelowanie, sztuczne sieci neuronowe, sieci bayesowskie, algorytmy genetyczne
   1. Jednym z obszarów zainteresowania jest programowanie równoległe i rozproszone oraz technologie gridowe. Rozwijane są nowe algorytmy i metody zrównoleglania aplikacji. We współpracy z innymi ośrodkami krajowymi i zagranicznymi tworzone są rozwiązania dla systemów gridowych. Prace obejmują głównie rozwój interfejsów gridowych do aplikacji, a w ostatnim czasie także rozwój podstawowych narzędzi gridowych.
   2. Innym istotnym obszarem badań jest modelowanie, głównie w obszarze biologii molekularnej. W szczególności prowadzone są prace nad rozwojem nowych algorytmów, modelowaniem procesów kwantowych oraz modelowaniem ścieżek reakcji enzymatycznych. Wszystkie prowadzone badania związane są ze stosowaniem najnowszych technologii informatycznych takich jak programowanie równoległe i rozproszone, technologie webowe i portalowe ale także układy programowalne FPGA.

• Rekrutacja
• Zagadnienia na egzamin wstępny
• Harmonogram postępowania rekrutacyjnego na I rok studiów doktoranckich w UMK w roku akademickim 2010/11

• Lista uczestników studiów doktoranckich

• Regulamin Środowiskowych Studiów Doktoranckich z Matematyki i Informatyki (pdf)
• Harmonogram Środowiskowych Studiów Doktoranckich (tabela)
  

• Wykłady w roku akademickim 2011/2012
• Wykłady w roku akademickim 2010/2011
• Wykłady w roku akademickim 2009/2010
• Wykłady w roku akademickim 2008/2009
• Wykłady w roku akademickim 2007/2008
• Wykłady w roku akademickim 2006/2007
• Wykłady w roku akademickim 2005/2006

• Pomoc materialna dla doktorantów
• Kryteria przyznawania stypendiów dla najlepszych doktorantów WMiI
• Załącznik do wniosku o stypendium dla najlepszych doktorantów WMiI (PDF, DOC)

• Regulamin przyznawania stypendiów doktoranckich w UMK 
• Wniosek o przyznanie stypendium doktoranckiego (I rok studiów)
• Wniosek o przyznanie stypendium doktoranckiego
• Zasady opiniowania wniosków o stypendia doktoranckie
• Samorząd Doktorantów UMK