Muhammad Musa Khan
Musa is an undergraduate student at NYU Abu Dhabi, majoring in Computing Science and minoring in Applied Maths and Economics. His interests are many, including Deep Learning, Deep Reinforcement Learning, Reasoning in LLMs, Programming Languages, Functional Programming, Set Theory, Program Analysis, and Formal Verification. At SANAD, he is currently working with Postdoc Rui Rua on the automatic detection and refactoring of energy anti-patterns in Android applications developed in Kotlin.