dr Jacek Sroka

Afiliacja

adiunkt, Instytut Informatyki

Mail

J.Sroka@mimuw.edu.pl

Telefon

55-44-439

Pokój

4390

Strona internetowa

http://www.mimuw.edu.pl/~sroka/

Inne informacje

Strona pracownika w USOSweb

Terminy konsultacji dla studentów

czwartki: 10:00 - 12:00

konsultacje obowiązują w czasie trwania zajęć dydaktycznych (po wcześniejszym umówieniu)

Publikacje

• Publikacje (55)

Dziedziny badań

• Bazy danych
  Zarządzanie bazami danych, języki opisu przepływu danych
• Modele współbieżności
  Sieci Petriego, modelowanie przepływu prac
• Semantyka i metody formalne
  Formalne metody specyfikacji i weryfikacji przepływów danych
• Systemy równoległe i rozproszone
  
• Sztuczna inteligencja i systemy wieloagentowe
  Algorytmiczna teoria gier, obliczeniowa teoria wyboru społecznego

Granty

• Modele, języki i systemy do prowadzenia niezawodnych i łatwo skalowalnych obliczeń rozproszonych
  Finansowany przez: Narodowe Centrum Nauki