👋 Hi there, I'm Batman Soaib soaibuzzaman at uni-weimar dot de 🔭 I’m currently working on my PhD. 🌱 I’m currently learning Reactive Synthesis, Formal Methods, Model-Driven Software Development. ✨ I am also interested in Explainable and Trustworthy AI 🔖 Find me on-