Wydział Matematyki Informatyki i Mechaniki

Wydział Matematyki Informatyki i Mechaniki UW prowadzi badania naukowe w wielu dziedzinach, począwszy od badań podstawowych z zakresu matematyki teoretycznej i informatyki, a skończywszy na badaniach o charakterze stosowanym zarówno z matematyki, jak i nauk informatycznych. Uczeni prowadzą też badania interdyscyplinarne, obejmujące takie dziedziny nauki, jak bioinformatyka i matematyka finansowa. W ramach Zakładu Metod Matematycznych naukowcy prowadzą badania z ekonomii, finansów i ubezpieczeń. W 2007 roku WMIM UW został zaproszony do udziału w „Europejskim Konsorcjum na rzecz Informatyki i Matematyki” ( ERCIM ), co podkreśla pozycję Wydziału w świecie naukowym.

Struktura Wydziału obejmuje trzy instytuty:

• Instytut Matematyki
• Instytut Informatyki
• Instytut Matematyki Stosowanej i Mechaniki.

Najważniejsze pola zainteresowań pracowników WMIM UW to:
W zakresie badań podstawowych:

• algebra i teoria liczb;
• geometria algebraiczna;
• topologia algebraiczna;
• algorytmy i struktury danych;
• równoległość i komunikacja;
• układy dynamiczne, teoria pól wektorowych;
• geometria;
• logika informatyczna;
• analiza matematyczna i równania różniczkowe;
• logika matematyczna;
• teoria prawdopodobieństwa;
• semantyka i metody formalne;
• topologia i teoria mnogości.

W zakresie badań stosowanych:

• sztuczna inteligencja;
• biomatematyka i teoria gier;
• biologia systemów i bioinformatyka;
• bazy danych;
• matematyka finansowa;
• systemy wieloagentowe;
• analiza numeryczna;
• inżynieria oprogramowania;
• statystyka i zastosowania teorii prawdopodobieństwa;
• analiza funkcjonalna i nieliniowe równania różniczkowe.

Obecnie na Wydziale prowadzonych jest ponad 50 projektów badawczych. Wiele z nich ma charakter prestiżowy, a do najważniejszych należy zaliczyć:

1. Influence of delays on the models of angiogenesis process and immunotherapy of cancer, Monika Piotrowska, Urszula Fory (2008-2011) Marie Curie European Reintegration Grant [więcej]
2. Games for Design and Verification (GAMES), Damian Niwiński (2008-2013), Grant europejski ESF [więcej]
3. Expressive Power of Tree Logics (SOSNA), Mikołaj Bojańczyk (2009-2013) ERC STARTING GRANT
4. Foundations of XML – Safe Processing of Dynamic Data over the Internet (FOX), Mikołaj Bojańczyk, (2009-2011), Grant europejski w ramach 7 PR [więcej]
5. Practical Approximation Algorithms (PAAl), Piotr Sankowski, (2010-2014) ERC STARTING GRANT [więcej]
6. Cryptography on Non-Trusted Machines (CNTM), Stefan Dziembowski,(2008-2013) ERC STARTING GRANT [więcej]
7. Zadanie Badawcze SYNAT pt.:„Utworzenie uniwersalnej, otwartej, repozytoryjnej platformy hostingowej i komunikacyjnej dla sieciowych zasobów wiedzy dla nauki, edukacji i otwartego społeczeństwa wiedzy”. Program strategiczny: Interdyscyplinarny system interaktywnej informacji naukowej i naukowo-technicznej, finansowany przez Narodowe Centrum Badań i Rozwoju [więcej]