-
Andreas Kerren. The research group mainly focuses on the explorative analysis and visualization of typically large and complex information spaces, for example in biochemistry, humanities, or software
-
analysis and visualization of typically large and complex information spaces, for example in biochemistry, humanities, or software engineering. Our vision is to attack the big data challenge by a combination
-
national research program’s Wallenberg AI, Autonomous Systems and Software Program – Humanity and Society (WASP-HS) cluster AI Futures of Culture and Memory (FAIM). FAIM has its aim to explore AI:s
Searches related to software verification
Enter an email to receive alerts for software-verification positions