Farhad Shakerin

About Farhad Shakerin

I am a computer science post-doc researcher at The University of Texas at Dallas working specifically on mixed-integer linear programming and optimization problems in the energy market, machine learning, and Logic Programming. Throughout my PhD studies, I worked on Logic-based approaches to make Machine Learning Models Explainable. The FOLD algorithm, an Inductive Logic Programming algorithm, that utilizes SHAP, logic programming, and a data mining technique (high-utility itemset mining), captures the global behavior of statistical learning models in the form of non-monotonic logic programs. My dissertation proposal was awarded an NSF grant ($ 450k) in 2019. The full open-source package is available for researchers:https://github.com/fxs130430/SHAP_FOLDWhile I admire the recent advances in deep learning, I still reserve a special place for traditional AI and Logic Programming in solving AI challenges. In my recent paper, I show how to have the best of two worlds. Another area that interests me is (non-neural based) Natural Language Understanding and common-sense reasoning using Answer Set Programming and knowledge graphs.Prior to graduate school, I worked for 8 years as a senior software engineer of safety-critical systems in Railway Signaling between 20••••14. The embedded systems that our small team at \"Maharan Eng. Corp.\" developed over a decade ago, continue to guarantee the safe movements of metro trains and of course lives of millions of passengers who commute daily via Tehran Metro L3 and L4.

Experience

1. Principal Software Engineer

   Microsoft

   Feb 2026 — Present

Education

• The University of Texas at Dallas

  Master's degree, Computer Science

  2014 — 2016

• The University of Texas at Dallas

  Doctor of Philosophy - PhD

  2015 — 2020

• Iran University of Science and Technology

  Bachelor of Science (BSc), Computer Software Engineering

  2001 — 2006

Skills

• Object-Oriented Programming (Oop)
• Scikit-Learn
• Functional Programming
• Algorithms
• Uml
• Machine Learning
• Software Development
• Python
• Latex
• Formal Methods
• Sql
• Computer Science
• Linux
• Mysql
• Distributed Systems
• C++
• Coq Interactive Theorem Prover
• Object Oriented Design
• Prolog
• Model Checking
• Software Engineering
• Fault Tolerant Systems
• Compiler Construction
• Matlab
• Hadoop
• Artificial Intelligence
• Lambda Calculus
• Real-Time Systems
• Apache Spark
• Hive
• Java
• Eclipse
• Logic
• .net Framework
• C#
• .net
• Oop
• C
• Programming
• Apache Pig