![]() |
M.Eng. Computer Engineering (Memorial University) B.Sc.(Hons.) Computer Systems Engineering (Mirpur University) |
Inaam started programming at the age of sixteen and has been interested in computer science, engineering, and practice of compilation theory. His master's research focuses on software robustness and correctness. This problem is fundamentally crucial for concurrent programs, which is the rule these days rather than the exception. That is because testing has never been a process to ensure the absence of errors furthermore, concurrency makes software correctness even harder.
He is co-creator of HARPO Verifier. A verifier for HARPO programming language intended to target multiple variety of reconfigurable architectures.