Paweł Balawender

About Me:

Masters student of Computer Science Former junior researcher at University of Warsaw

Name pronounciation: [pa.vɛw balavɛn.dɛr]

My résumé

Click to open: software.pdf

My interests:

  1. Formal verification of computer programs
  2. Programming language expressiveness
  3. Type theory

Table of contents