Short Bio

Personal info

Academic history

Dec 2018 - :	Associate professor at the Institute of Computer Science, University of Wrocław, Poland
Oct 2007 - Nov 2017:	Assistant professor at the Institute of Computer Science, University of Wrocław, Poland Habilitation (with distinction) in Mathematical Sciences (Computer Science) obtained from the Department of Mathematics and Computer Science, University of Wrocław, April 2016 Thesis: Control Operators in Higher-Order Programming Languages: Type Structure and Program Equivalence
Sep 2006 - Aug 2007:	Postdoc at INRIA Futurs (Team Démons), Orsay, France
Spring 2006:	Teaching and research assistant in Computer Science at the Faculty of Mathematics, Physics and Computer Science, UMCS, Lublin
Sep 2002 - Aug 2005:	PhD student at the BRICS PhD School, University of Aarhus, Denmark including a semester stay in Spring 2004 at the School of Computer Science at Carnegie Mellon University, Pittsburgh, PA, hosted by prof. John C. Reynolds PhD degree in Computer Science obtained from the Department of Computer Science (DAIMI), University of Aarhus, December 2005 (PhD diploma nostrificated in 2006 by the Faculty of Mathematics, Informatics, and Mechanics at Warsaw University, Poland) Thesis: The Theory and Practice of Programming Languages with Delimited Continuations Advisor: Olivier Danvy
Oct 2001 - Aug 2002:	Teaching and research assistant in Computer Science at the Faculty of Mathematics, Physics and Computer Science, UMCS, Lublin
1996-2001:	Master student in Mathematics and Computer Science, Maria Curie-Skłodowska University (UMCS) in Lublin, Poland MSc degree (with distinction) in Mathematics and Computer Science obtained from UMCS, Lublin, July 2001 Thesis: Many-Valued Structures and Non-Monotonic Reasoning Advisor: Jerzy Mycka

Publications

Grants

• PHC Polonium 20, PPN/BFR/2020/1/00001, 2021-22: Abstract machines for programming languages: Investigations in formal interderivations, in cooperation with Sergueï Lenglet (Université de Lorraine, Nancy) and Alan Schmitt (INRIA, Rennes)
• NCN OPUS grant number 2019/33/B/ST6/00289, 2020-2023: , PI: Witold Charatonik
• NCN POLONEZ grant number 2016/23/P/ST6/02217, 2017-2019: Algebraic effects and continuations, PI: Maciej Piróg
• NCN OPUS grant number 2014/15/B/ST6/00619, 2015-2018: Reasoning about programs in higher-order languages, PI: Witold Charatonik
• MNiSW grant POLONIUM, 2015-16: Concurrency and control operators, in cooperation with Sergueï Lenglet (LORIA, Nancy) and Alan Schmitt (INRIA, Rennes)
• NCN OPUS grant number 2011/03/B/ST6/00348, 2012-15: Structure and interpretation of programming languages via the "proofs-as-programs" correspondence, PI: Małgorzata Biernacka
• MNiSW grant number N N206 357436, 2009-11: Semantics of programming languages and program transformations: derivations and certification in the Coq type theory, PI: Dariusz Biernacki

Supervised students

• PhD and MSc students

Teaching

• Courses

Other activities

• PC member:
  • ML Family Workshop 2022
  • 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIV)
  • 18th International Symposium on Principles and Practice of Declarative Programming (PPDP 2016)
  • Workshop on Continuations 2015 (WoC'15)
  • 16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014)
  • Theory and Practice of Delimited Continuations Workshop TPDC 2011
• Attended conferences: ICFP'03, PPDP'03, LOPSTR'03, POPL'04, MFPS'04, ASL'04, RDP'07, MFPS'09, PPDP'09, TYPES'10, RDP'11, RDP'13, MFPS'14, ETAPS'15
• Attended schools: Marktoberdorf Summer School 03
• Refereeing: HOSC, ICFP, PPDP, PADL, FLOPS, ESOP, FOSSACS, JFP, LMCS
• Publicity chair for ICFP'05