Dariusz Biernacki

Short Bio

• Personal Info
  
  
  • Born 1977, Lublin, Poland
    
  
  
• Academic history
  
  
  • 1996-2001: MSc in Mathematics and Computer Science, Maria Curie-Sklodowska University in Lublin (UMCS), Poland
    Thesis: Many-valued Structures and Non-monotonic Reasoning
    
    
  • 2002-2005: PhD in Computer Science, BRICS PhD School, DAIMI, University of Aarhus, Denmark
    (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
    
    
  • Spring 2004: Semester stay at School of Computer Science at CMU, Pittsburgh, PA, hosted by prof. John C. Reynolds
    
    
  • 2006-2007: Postdoctoral stay at INRIA Futurs (Team Demons), Orsay, France
    
    
  • 2007-present: Assistant professorship at the Institute of Computer Science at the University of Wroclaw, Poland
    
    
• List of publications
  
  
• Teaching
  
  
  • Semantics of programming languages
  • Types and programming languages (seminar)
  • Continuations and programming languages
  • Computation and deduction using Coq
  • Introduction to Twelf
  
  
  
• Other activities
  
  
  • Attended conferences: ICFP 03, PPDP 03, LOPSTR 03, POPL 04, MFPS 04, ASL 04, RDP 07, MFPS 09, PPDP 09
  • Attended schools: Marktoberdorf Summer School 03
  • Refereeing: HOSC, ICFP, PPDP, PADL, FLOPS
  • Publicity chair for ICFP 05