Muhammad Ahmed holds a Master’s in Data Science from NUST Islamabad, where he developed a strong foundation in algorithmic thinking and artificial intelligence. With expertise in formal methods, particularly through work on interactive theorem solving, Muhammad Ahmed has also contributed to the field by publishing research in this area. Additionally, his passion for advancing AI led to participation in various Kaggle competitions focused on natural language processing.
Currently, Muhammad Ahmed is an integral part of the Robotics and Artificial Intelligence departments at SundarSTEM School. Together with the team, Muhammad Ahmed works to cultivate a deep understanding of algorithmic thinking, problem-solving, and the core structures behind AI technologies, such as neural networks. The department's dual goals are to equip students with a robust foundation in AI and to prepare them for high-stakes competitions, including the RoboCup 2D Simulation and RoboCup Small Soccer Size League.