Nada Amin

KI hilft dabei, Medikamente zur Behandlung von hirnbezogenen Erkrankungen zu entwickeln, indem sie die Blut-Hirn-Schranke überwindet.

2025-08-16T12:45:03+00:00 ― 7 min Lesedauer

DafnyBench benchmarkt Software-Überprüfungstools und ebnet den Weg für zuverlässiges Programmieren.

2025-07-29T23:23:54+00:00 ― 5 min Lesedauer

AI mit Dafny kombinieren, um die Softwareverifizierungsprozesse zu vereinfachen.

2025-05-31T00:31:03+00:00 ― 7 min Lesedauer