Frederik Krogsdal Jacobsen

View Scopus Profile

Frederik Krogsdal Jacobsen

 https://orcid.org/0000-0003-3651-8314

  • Richard Petersens Plads, 322, 021

    2800 Kgs. Lyngby

    Denmark

If you made any changes in Pure these will be visible here soon.
  • 8 Article in proceedings
  • 1 Conference abstract for conference
  • 1 Journal article
Filter
Article in proceedings

Search results

  • 2023

    On Exams with the Isabelle Proof Assistant

    Jacobsen, F. K. & Villadsen, J., 2023, Proceedings of the 11th International Workshop on Theorem Proving Components for Educational Software. EPTCS, Vol. 375. p. 63-76

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    13 Downloads (Pure)

  • ProofBuddy: A Proof Assistant for Learning and Monitoring

    Karsten, N., Jacobsen, F. K., Eiken, K. J., Nestmann, U. & Villadsen, J., 2023, Proceedings of the Twelfth International Workshop on Trends in Functional Programming in Education. Machkasova, E. (ed.). Open Publishing Association, Vol. 382. p. 1-21 (Electronic Proceedings in Theoretical Computer Science, Vol. 382).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    8 Downloads (Pure)
  • 2022

    Lessons of Teaching Formal Methods with Isabelle

    Jacobsen, F. K. & Villadsen, J., 2022, Proceedings of Isabelle Workshop 2022. 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    28 Downloads (Pure)

  • SeCaV: A Sequent Calculus Verifier in Isabelle/HOL

    From, A. H., Jacobsen, F. K. & Villadsen, J., 2022, Proceedings of 16th Logical and Semantic Frameworks with Applications. Open Publishing Association, Vol. 357. p. 38-55 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 357).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    15 Downloads (Pure)

  • Teaching Functional Programmers Logic and Metatheory

    Jacobsen, F. K. & Villadsen, J., 2022, Proceedings of Tenth and Eleventh International Workshop on Trends in Functional Programming In Education. Achten, P. & Machkasova, E. (eds.). p. 74–92 (Electronic Proceedings in Theoretical Computer Science, Vol. 363).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    20 Downloads (Pure)

  • Teaching Logic for Computer Science Students: Proof Assistants and Related Tools

    Jacobsen, F. K. & Villadsen, J., 2022, Proceedings of LogTeach-22. 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    13 Downloads (Pure)

  • Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL

    Halkjær, A. & Jacobsen, F. K., 1 Aug 2022, Proceedings of 13th International Conference on Interactive Theorem Proving. Andronick, J. & de Moura, L. (eds.). Schloß Dagstuhl, p. 13:1--13:22 13. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 237).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    13 Downloads (Pure)
  • 2021

    Using Isabelle in Two Courses on Logic and Automated Reasoning

    Villadsen, J. & Jacobsen, F. K., 2021, Formal Methods Teaching. Springer, p. 117-132 (Lecture Notes in Computer Science, Vol. 13122).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    227 Downloads (Pure)