Contact
Contact page
Category & trade
Primary
technology-and-computing · embed-ft 0.22
Tree path
Technology & Computing
Group (tier-1)
Also (top-3)
Tech stack
AI readiness
AI-Readiness score
46 / 100 · partial · see similar
AI training policy
allowed
AI-bot protection
AI files
Overview
Title
Daniela Kaufmann
Description
Daniela Kaufmann Since June 2024 I am an FWF ESPRIT research fellow in the Automated Program Reasoning — APRe group. APRe is part of the FORSYTE research unit, lead by Laura Kovacs, of the Faculty of Informatics at TU Wien. In my project CalgSAT – Combining Computer Algebra with SAT for Word-Level Reasoning I aim … Continue reading ""
Final URL
Language
de (tld)
Scanned at
2026-07-05 05:26:05
All detected technologies
WordPressjQueryTeachpressSocial Icons Widget By WpzoomTablepressTwentysixteenWeeblyGoogle FontsEmbed AI-status badge
Show this site's AI-access status with a free, live badge — it reflects AI-Accessible and updates automatically as the site changes.
Embed code (HTML)