Ahmad Musa

PhD Student
Office: GS 749
Interests: Formal Verification, System Security
Advisor: Dr. Sazzadur Rahman


I grew up in northern part of Bangladesh. I spent my entire childhood in that city. Later, for my Bachelors, I moved to another city and took Computer Science and Engineering at KUET. Right now, I am doing my PhD here at UofA. This is my first semester.

​​​​​Research Interests

Formal Verification, System Security

What long-term project do you want to work on?

PayFuzz is my current ongoing project. PayFuzz aims to find the gap between the EMV protocol specification and it’s implementation on real-life wallet applications (i.e. Google Pay).

What do you enjoy most about your work?

I enjoy researching new ideas and implementing them. I am passionate about coding. So, that's why implementing new ideas excite me whether they improve the precision or not.

What are your career goals?

My long term career goals are to explore new CS fields which has actual impact on the benefits of the people. Right now, I am enjoying the work. So, I will stick to that as long as I feel content. Let's see what happens in the future.

​​​​Tell us something interesting about yourself!

Something interesting! It's hard to tell. But I am a quick learner. It doesn't always have to be related to study or coding. Learning is always fun, no matter how insignificant the topic seems to most people.