Inaam Ahmed

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.

• Software Verification and Correctness
• Formal Methods in Software Engineering
• Algorithm Design and implementation
• Object-Oriented Desing
• Agile Software Development

• Programming Languages/Software Development: Java, C++, Scala, Python, ASP, HTML, JavaScript, CSS, PHP, FXML, YAML, CUDA and OpenMP, Boogie, Chalice, Dafny, BVD, MySQL, Mongo DBS and Oracle DB Administration, Amazon Web Services (AWS) and Git
• Programming Tools: Eclipse, IntelliJ idea, NetBeans, Visual Studio, AWS(lambda,S3,Cloud9), Sublime Editor, Scientific Word, Adobe Dream viewer/Illustrator/photoshop, Xilinx, ModelSim
• Project Management Tools : Microsoft Project, Microsoft Conference Management Tool, Jira and Smart Talk
• Hardware Design : Verilog, VHDL, Embedded C, FPGA

• School of Graduate Studies Scholarship Memorial University of Newfoundland and Labrador
• Gold Medal Award Mirpur University of Science and Technology, AJ&K
• Gold Medal Award Computer Science Group, Board of Intermediate and Secondary Education, AJ&K

• Academic Writing for Grad Engineers Faculty of Engineering Memorial University of Newfoundland and Labrador
• CISCO Certified Network Associate (CCNA) Batch
• Teaching Assistant Training Faculty of Engineering Memorial University of Newfoundland and Labrador
• Entrepreneurship Training Memorial Centre of Entrepreneurship
• Professional Skills Development Program Career Development Center Memorial University of Newfoundland
• Microsoft Office Specialist
• Programmable logic Control and SCADA Specialist
• Cyber Security Essentials - CISCO