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 diacritics, i.e., as Baluta.

ping teodora
Conferences: Posters:



You can find more details in my CV here.

I have a traveling/essay blog that I occasionally update. The name of the blog over a cup of teh oh is a wordplay as my name is pronounced 'teh-oh-dora' and 'teh oh' in Singapore coffee shop language means 'tea without milk' (it's a Hokkien term).