Muhammad Usman Sanwal is a PhD student at Åbo Akademi University, starting December 2014. His background is in Computational Science and he is now applying formal methods and developing new formalisms for biological systems.
His research interests include: Formal methods in systems biology, Quantitative model refinement,
Computational/mathematical modelling, Computational systems biology
M.S in Computational Science and Engineering, 2012
M.Sc in Electronics, 2008
B.Sc major in Mathematics and Physics, 2005
|Shah, Gohar Ali,, Modeling national healthcare system using event-B. Supervisor(s): Petre, Ion and Petre, Luigia and Sanwal, Muhammad Usman.|