Murad Akhundov

[first name] [dot] akhn [at] gmail [dot] com
[first name] [at] cs [dot] toronto [dot] edu

download resume

Publications and academic research

Verification By Gambling on Program Slices (Conference Paper)
International Symposium on Automated Technology for Verification and Analysis (ATVA'21)
Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, and Marsha Chechik

Annotative Software Product Line Analysis Using Variability-Aware Datalog (Journal Paper)
IEEE Transactions on Software Engineering (TSE)
Ramy Shahin, Murad Akhundov, and Marsha Chechik

Expediting Verification of Assertions in Loops by Isolation (Student Research Competition - 1st Place)
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'20)
Murad Akhundov (Advised by Marsha Chechik and Mentored by Federico Mora)

Current projects

Little Logistics
A Minecraft content mod that adds automated water & rail transportation.
Downloads: 10m+
curseforge download
modrinth download

Touring Test
A multiplayer geography game with AI-generated content
Monthly Active Users (peak): 2k+

Past projects

UofT Course Info Browser Extension
Chrome/Firefox extension that makes it easier to search U of T courses and navigate resources.
Weekly Active Users (peak): ~1k
chrome download
firefox download

UofT Campus Map App (Android)
Android map app for University of Toronto campuses.
Downloads: 1k+
play store

updated 2024-05-05