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.
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).