Murad Akhundov

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

http://murad-akh.ca
http://github.com/MuradAkh
https://www.linkedin.com/in/murad-akhundov-b0613114a

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: 1.1M+
webpage
curseforge download
modrinth download
github

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
github

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

updated 2022-07-01