Nada Amin

AI aids in creating drugs to treat brain-related conditions by crossing the blood-brain barrier.

2025-08-16T12:45:03+00:00 ― 6 min read

DafnyBench benchmarks software verification tools, paving the way for reliable programming.

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

Combining AI with Dafny to simplify software verification processes.

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