Murad Akhundov

[first name] [dot] akhn [at] gmail [dot] com

mur.ad
mur.ad/blog
github.com/muradakh
scholar.google.com/citations?user=2oSmbpwAAAAJ
linkedin.com/in/muradakhundov/

Featured work

Introducing OpalScript: Fully Customizable Access Logic Without the Ops Overhead
Opal Security
docs.opal.dev/docs/opalscript-reference
opal.dev/blog/opalscript-flexible-configurable-access

Inside Opal's Access Rules: Dynamic Attribute-based Access Management
Opal Security
opal.dev/blog/inside-access-rules-dynamic-attribute-based-access-management
docs.opal.dev/docs/access-rules

Universal reporting using natural language queries
Okta
patents.google.com/patent/US20250036616A1/en

How Okta uses machine learning to automatically detect and mitigate toll fraud
Okta
okta.com/blog/product-innovation/how-okta-uses-machine-learning-to-automatically-detect-and-mitigate-toll-fraud

Featured personal projects

Little Logistics
A popular Minecraft mod that adds automated water & rail freight logistics.
Downloads: 10m+
littlelogistics.murad.dev
curseforge.com/minecraft/mc-mods/little-logistics
modrinth.com/mod/little-logistics
github.com/MuradAkh/LittleLogistics

Touring Test
A geography guessing game with AI-generated content.
Monthly Active Users (peak): 2k+
touringtest.murad.dev

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)

updated 2026-05-09