Skip to content
Snippets Groups Projects
jbetzendal.md 383 B
Newer Older
  • Learn to ignore specific revisions
  • Michael Kohlhase's avatar
    Michael Kohlhase committed
    ---
    layout: person
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    title: Jonas Betzendal
    fullname: B.Sc. Jonas Betzendal
    
    pic: public/images/jbetzendal.jpg
    
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    role: master-student
    
    start_date: 2016-08
    
    
    affiliation: University Bielefeld
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    ---
    
    
    ### Description
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    Hi, my name is Jonas Betzendal and I am finishing my Master's degree at Bielefeld.
    
    My topic is the transportation of the library of the IMPS theorem prover into OMDOC format.