VIDI awards for Jasmin Blanchette and Charlotte Gerritsen

Jasmin Blanchette's research will focus on developing software that helps researchers and practitioners with correct proofs and Charlotte Gerritsen's on "Integrating sentiment analysis in real time crowd management".

06/06/2018 | 3:57 PM

Jasmin Christian Blanchette develops proof assistants: software that helps researchers and practitioners write correct proofs. His Vidi project Lean Forward: Computer-Checked Proofs and Computations for Number Theorists focuses on developing formal libraries and tools for supporting number theory. He will collaborate with VU researcher Sander Dahmen (Vidi 2016) and other number theorists at the VU to make the software usable for working mathematicians. For more, click here.

To go to the NWO website, click here.

*****************************************

In her project Integrating sentiment analysis in real time crowd management Charlotte will develop a computer system capable of managing crowds during events. The system trains crowd managers through simulated scenarios and supports them in real time during large events, enabling them to intervene in the right place at the right time.