Return to the list of employees
dr Jacek Sroka
- Affiliation
-
adiunkt,
Institute of Informatics
- J.Sroka@mimuw.edu.pl
- Phone
- 55-44-439
- Room
- 4390
- Website
- 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
Fields of research
-
Artificial Intelligence and Multiagent Systems
Algorithmic game theory, computational social choice theory -
Concurrency
Petri nets, workflow modelling -
Data bases
Database management, dataflow languages -
Parallel and distributed systems
Processing on clusters, MapReduce algorithms -
Semantics and Formal Methods
Formal methods of dataflow specification and verification
Grants
-
Models, languages and systems for reliable and scalable distributed computing.
Financed by: National Science Center