HeyJaredITU Channel (audio)
Be inspired and get a sense of the diversity of research conducted at the IT University of Copenhagen by subscribing to this podcast.
- Indexed episodes, last 90 days
- 1
- Latest publication
- Jul 8, 2026
- Audience
- Checking…
- Earliest in this view
- Jul 8, 2026
The latest indexed work is over 30 days old. There may be a gap in what we hold.
Latest episodes
ICALP 2014: Viktor Kuncak (opens the original)
Read excerpt
"Verifying and Synthesizing Software with Recursive Functions" 2nd invited talk from the ICALP 2014 conference hosted by the IT University of Copenhagen. This live talk aired the 9th of July, 2014.
Publishing over time
Last 90 days. Choose a month to open its work.
Recurring subjects
Named in the text we hold. One piece can cover several.
Audience
No verified audience measurement yet.
About this data
Counts cover the work we have indexed. Tone needs enough text and a confident classification. Excerpts and episode notes are not full articles or transcripts.
Identity or attribution wrong? Suggest a correction.