Teodora Băluţă

Hi! I'm a PhD candidate at School of Computing, National University of Singapore, working with Prateek Saxena and Kuldeep S. Meel.

I am working at the intersection of security, artificial intelligence and formal methods. I am interested in designing verification and testing methodologies for neural networks, as well as applying artificial intelligence to security problems.

You can find my projects at teobaluta.github.io.

I usually write my last name without the special characters, i.e., as Baluta.

ping teodora
You can find my CV at TODO.



I have an occasional traveling/essay blog named over a cup of teh oh. The name of the blog is a play on words as my name is pronounced 'teh-oh-dora' and 'teh oh' which means 'tea without milk' in Singapore (in Hokkien).