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