Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Home
Profiles
Research units
Publications
Activities
Projects
Prizes
Press/Media
Datasets
Search by expertise, name or affiliation
View Scopus Profile
Frederik Krogsdal Jacobsen
PhD Student
,
Department of Applied Mathematics and Computer Science
Algorithms, Logic and Graphs
https://orcid.org/0000-0003-3651-8314
Email
fkjac
dtu
dk
Website
http://people.compute.dtu.dk/fkjac/
Richard Petersens Plads
,
322, 021
2800
Kgs. Lyngby
Denmark
Overview
Fingerprint
Network
Publications
(10)
Projects
(1)
Similar Profiles
(6)
If you made any changes in Pure these will be visible here soon.
Fingerprint
Dive into the research topics where Frederik Krogsdal Jacobsen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Sequent Calculus
100%
Functions
46%
Automated Reasoning
46%
Computer Science
46%
Soundness
43%
Proof System
35%
Metatheory
33%
Completeness Proof
32%
Semantics
24%
Theorem Proving
22%
Teaching Experience
22%
Theorem Prover
22%
Closed Formula
22%
Search Procedure
22%
Analytics
22%
User
22%
Higher Order Logic
22%
Usability Study
22%
Research Worker
22%
Formal Language
22%
Education
22%
Formalization
18%
Application
13%
Logic Programming
11%
Natural Deduction
11%
Design Implementation
11%
Design Verification
11%
Completeness Theory
11%
Potential Solution
11%
Programs
11%
Modern Computer
11%
Testing
11%
Intended Learning Outcome
11%
Learning Experiences
11%
Models
7%
