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

  • 9 Article in proceedings
  • 1 Conference abstract for conference
  • 1 Journal article

Search results

  • 2024

    The Concurrent Calculi Formalisation Benchmark

    Carbone, M., Castro-Perez, D., Ferreira, F., Gheri, L., Jacobsen, F. K., Momigliano, A., Padovani, L., Scalas, A., Tirore, D., Vassor, M., Yoshida, N. & Zackon, D., 2024, Proceedings of 26th International Conference on Coordination Models and Languages. Springer, Vol. 14676. p. 149-158

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

  • 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
    68 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
    75 Downloads (Pure)
  • 2022

    A Sequent Calculus Prover for First-Order Logic with Functions

    From, A. H. & Jacobsen, F. K., 2022, In: Archive of Formal Proofs. 69 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    118 Downloads (Pure)

  • Formal Methods Online: Sequent Calculus Verifier (SeCaV)

    From, A. H., Jacobsen, F. K. & Villadsen, J., 2022. 1 p.

    Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

    Open Access
    File
    37 Downloads (Pure)

  • 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
    83 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
    52 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
    57 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
    40 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
    63 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
    378 Downloads (Pure)