| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Fri, 07 Mar 2025 10:38:53 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"67caccbd-172e"
expires: Sun, 28 Dec 2025 13:37:38 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 6FF4:2916CC:7B28A6:89F9FB:6951304A
accept-ranges: bytes
age: 0
date: Sun, 28 Dec 2025 13:27:38 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210058-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1766928459.696018,VS0,VE218
vary: Accept-Encoding
x-fastly-request-id: 74bc32b8452e59a792f3302af57d911f2ca1ca9e
content-length: 2276
Homepage of Filip Mazowiecki
office: 3.110 (3rd floor in CeNT building)
my sister, goblins
Filip Mazowiecki
I am an assistant professor (in Polish: adiunkt im. Samuela Eilenberga) at the University of Warsaw.
About me
I was: a research group leader in MPI for Software Systems in Saarbrücken; a postdoc at the University of Bordeaux; a postdoc at the University of Oxford; and a postdoc at the University of Warwick.
Earlier I was a PhD student at the Institute of Informatics, University of Warsaw under supervision of Filip Murlak and Emanuel Kieroński.
Videos
Concur teaser (or this in case YouTube is unhappy), Progressing on open problems.Contact
email: f.mazowiecki (at) mimuw (dot) edu (dot) ploffice: 3.110 (3rd floor in CeNT building)
Research
My main interests include automata, weighted automata, vector addition systems, and database related logics.Work for me
Since October 2023 I am the PI of the project "Counting models in formal verification". I'm looking for a PhD student and postdocs (about the hiring process).Past students
Philip Offtermatt jointly supervised with Michael Blondin. Here is our joint photo in a newspaper. Philip graduated and currently works for Informal systems.Links
Here is the cake list for the automata seminar.my sister, goblins