ITU
Jesper Bengtson

Jesper Bengtson, Dr

Associate Professor

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Building: 4C10

Phone: +45 7218 5043

Information Desk: 72185000

View graph of relations

Research outputs (6)

  1. Published

    Coqoon - An IDE for Interactive Proof Development in Coq

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  2. Published

    Extensible and Efficient Automation Through Reflective Tactics

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  3. Published

    Psi-calculi in Isabelle

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

View all (6) »

Press (1)

  1. Dansk forsker vil udrydde softwarefejl

    Press/Media: Press / Media

Recent activities and conferences

ID: 1075493