Skip to content
Snippets Groups Projects
Normal view Permalink
jbetzendal.md 383 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    copied over
    Michael Kohlhase committed
    1 2 
    ---
layout: person
    Tom Wiesing's avatar
    Get people pages ready for deployment  
    Tom Wiesing committed
    3
    Michael Kohlhase's avatar
    copied over
    Michael Kohlhase committed
    4 5 
    title: Jonas Betzendal
fullname: B.Sc. Jonas Betzendal
    Tom Wiesing's avatar
    Get people pages ready for deployment  
    Tom Wiesing committed
    6 7 
    pic: public/images/jbetzendal.jpg
    Michael Kohlhase's avatar
    copied over
    Michael Kohlhase committed
    8 
    role: master-student
    Tom Wiesing's avatar
    Group people into active / inactive  
    Tom Wiesing committed
    9 
    start_date: 2016-08
    Tom Wiesing's avatar
    Get people pages ready for deployment  
    Tom Wiesing committed
    10 11 
    
affiliation: University Bielefeld
    Michael Kohlhase's avatar
    copied over
    Michael Kohlhase committed
    12 13 
    ---
    Tom Wiesing's avatar
    Get people pages ready for deployment  
    Tom Wiesing committed
    14 
    ### Description
    Michael Kohlhase's avatar
    copied over
    Michael Kohlhase committed
    15 16 17 
    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.