News
Video: Nina Narodytska, "Reactive synthesis via QBF solving"
www.birs.ca
Nina Narodytska speaking at BIRS workshop, Theoretical Foundations of Applied SAT Solving, on Thursday, January 23, on the topic: Reactive synthesis via...
Nothing artificial about Nina’s (AI) intelligence
sciencex.com
Nothing artificial about Nina’s (AI) intelligence July 19th, Dr Nina Narodytska, an adjunct researcher from UNSW and NICTA,
Finale Doshi-Velez named among "AI's 10 to Watch" | Harvard John A....
www.seas.harvard.edu
Postdoctoral researcher at SEAS and HMS recognized for impressive research contributions to artificial intelligence
Videos from 14w5101: Theoretical Foundations of Applied SAT Solving |...
www.birs.ca
Lecture videos recorded at the Banff International Research Station between Jan 19 and Jan 24, at the workshop 14w5101: Theoretical Foundations of Applied...
sorted by relevance / date