Pavel Jančík



E-mail: pavel.jancik at d3s.mff.cuni.cz
Phone: (+420) 221 914 285
Office: room 309, 2nd floor

Research Interests

  • Interpolations
  • Code Model cheching (explicit state and predicate abstraction based) and state matching
  • Debugging and Debugging techniques

Teaching

Current

Past Teaching

  • NPRG021: Advanced programming for Java platform - labs (Summer - 2014, 2015)
  • NSWI132: Program Analysis and Code Verification - labs (Winter - 2011, 2012, 2013, 2014)
  • NPRG013: Java - labs (Winter - 2011, 2012, 2013, 2014)
  • NSWI152: Cloud Application Development (Google AppEngine)
  • Unix - Lecture 4 Zadani a Reseni
  • Bachelor/Master thesis

    If you are interested in thesis (master/bachelor) in the field of code model checking or debugging write me a mail. Topic of the work will be arranged during the consultations.

    Development

    • BeJC - Behavior Java Checker
      BeJC checks consistency between component implementation in Java and TBP specification.

    • JPF-Inspector - debugger for a JPF code model checker
    Logo of Faculty of Mathematics and Physics
    • Phone: +420 951 554 267, +420 951 554 236
    • Email: info<at-sign>d3s.mff.cuni.cz
    •  
    • How to find us?
    Modified on 2018-06-14