dr hab. Jacek Sroka

Affiliation

adiunkt, Institute of Informatics

Mail

J.Sroka@mimuw.edu.pl

Phone

55-44-439

Room

4390

Personal webpage*

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

Other information

Employee's page on USOSweb

Office hours (availability for students)

czwartki: 10:00 - 12:00

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

Publications

• Publications list (56)

Fields of research

• Artificial Intelligence and Multiagent Systems
  Algorithmic game theory, computational social choice theory
• Concurrency
  Petri nets, workflow modelling
• Databases
  Database management, dataflow languages
• Parallel and distributed systems
  Processing on clusters, MapReduce algorithms
• Semantics and Formal Methods
  Formal methods of dataflow specification and verification

Commissions, councils

• Faculty Council - Electoral College
• Institute of Informatics Council - Rada Instytutu Informatyki_2024

Grants

• Models, languages and systems for reliable and scalable distributed computing.
  Financed by: National Science Center