Contact · Kontakt

Looking for a kontakt?

kontakt [ˈkɔn.takt] Polish · noun
  1. contact, touch: być w kontakcie “to be in touch”
  2. colloquialan electrical socket: włóż wtyczkę do kontaktu “plug it in”
Three white electrical sockets and a light switch: in Polish, kontakty
Kontakty, as a Polish speaker might picture them. Image: OpenClipart-Vectors via Pixabay.

Reaching me

E-mail is the fastest way to reach me.

E-mail

  • bartek at cs.uni.wroc.plwork, preferred
  • bartosz.bednarczyk at tuwien.ac.atwork, TU Wien
  • bartosz.jan.bednarczyk at gmail dot comprivate

Chat

  • bartoszjanbednarczykDiscord

Visiting addresses

TU Wien Informatics, Institute of Logic and Computation
Room HE0340
Favoritenstraße 9–11, 1040 Vienna, Austria
Institute of Computer Science, University of Wrocław
Instytut Informatyki Uniwersytetu Wrocławskiego
Room 324 (3rd floor)
Fryderyka Joliot-Curie 15, 50-383 Wrocław, Poland
Larger map

I work full-time in Vienna and part-time in Wrocław, so please e-mail me before dropping by.

Before you write

  • Prospective students

    I am looking for Master’s and PhD students interested in the complexity and decidability of logics. Tell me a little about your background and which topics caught your eye; a short CV helps.

    Past theses →

  • Collaborators

    Always happy to talk about finite satisfiability, dynamic logics, decidable fragments of first-order logic or description logics. If you are passing through Vienna or Wrocław, drop me a line.

    What I work on →

  • Review invitations

    In the last two years I have reviewed more than 20 papers, so I hope it is fair to keep a bit more time for research now: until the end of February 2027 I am declining all reviewing invitations. Thank you for understanding!

Elsewhere