Skip to main navigation
Skip to search
Skip to main content
JKU & KUK Research Portal Home
Help & FAQ
English
Deutsch
Home
Research units
Profiles
Research output
Projects
Activities
Datasets
Prizes
Press/Media
Search by expertise, name or affiliation
Research stay abroad program
Ankit Shukla (Visiting person)
Institute of Formal Models and Verification
Activity
:
Other
›
Outgoing (legacy data)
Description
Swansea University, Vereinigtes Königreich
Period
01 Aug 2022
→
10 Sept 2022
Fields of science
202006 Computer hardware
603109 Logic
102 Computer Sciences
102031 Theoretical computer science
102011 Formal languages
102022 Software development
102001 Artificial intelligence