Zur Hauptnavigation wechseln
Zur Suche wechseln
Zum Hauptinhalt wechseln
JKU & KUK Forschungsportal Home
Hilfe und FAQ
Link wird in einem neuen Tab geöffnet
English
Deutsch
Inhalt suchen unter JKU & KUK Forschungsportal
Home
Forschungseinheiten
Personen
Publikationen
Projekte
Aktivitäten
Forschungsdatensätze
Auszeichnungen
Presseberichte
Research stay abroad program
Ankit Shukla (Gast)
Institut für Formale Modelle und Verifikation
Aktivität
:
Sonstige
›
Auslandsaufenthalt (Altdaten)
Beschreibung
University of Freiburg, Deutschland
Zeitraum
10 Juni 2022
→
10 Juli 2022
Wissenschaftszweige
202006 Computer Hardware
603109 Logik
102 Informatik
102031 Theoretische Informatik
102011 Formale Sprachen
102022 Softwareentwicklung
102001 Artificial Intelligence