Profile cover photo
You're now following
Error following user.
This user does not allow users to follow them.
You are already following this user.
Your membership plan only allows 0 follows. Upgrade here.
Successfully unfollowed
Error unfollowing user.
You have successfully recommended
Error recommending user.
Something went wrong. Please refresh the page and try again.
Email successfully verified.
User Avatar
$5 USD / hour
$5 USD / hour
It's currently 12:43 PM here
Joined August 25, 2023
0 Recommendations

Mohammadsadgh M.


4.8 (7 reviews)
$5 USD / hour
$5 USD / hour
Jobs Completed
On Budget
On Time
Repeat Hire Rate

Software programmer, Data scientist

I received my Ph.D in computer science in 2019. I have more than 15 years experiment in software programming and teaching computer science. I use C++, C# and Python as the main programming languages and work in the filed of software programing and machine learning.

Contact Mohammadsadgh M. about your job

Log in to discuss any details over chat.


Changes saved
Showing 1 - 5 out of 7 reviews
Filter reviews by:
$35.00 USD
Mohammadsadgh M is really professional in his field and understands the requirements very well, Mohammadsadgh M has shown professionalism and enthusiasm, he is really supportive and always willing to satisfy the client I will absolutely recommend him to anyone Thank you very much Mohammadsadgh M
Web Security
Computer Security
Internet Security
Computer Science
Flag of Theo M.
24 days ago
$195.00 USD
Good communication, understood the project and provided the required results. Will continue to work in the future.
Software Architecture
Software Testing
C++ Programming
x86/x64 Assembler
Flag of Ahmed K.
28 days ago
$35.00 USD
I highly recommend working with him. Professional, with excellent experience, precision in execution, and quick in response. It was an excellent experience, and I will hire him again.
Software Architecture
C++ Programming
Flag of Clakrox J.
2 months ago
₹2,700.00 INR
His knowledge is impressive but he should learn how to work on this platform. He wasn't responsive and not able to complete the project.
User Avatar
Flag of Nguyen N.
2 months ago
$50.00 USD
He has done amazing work again. Thank you so much. I will hire you again for my upcoming C project.
C Programming
C# Programming
C++ Programming
+1 more
Flag of Lava G.
3 months ago


Post-doc research

Masaryk University
Jul 2023 - Present
I am currently work as a researcher in MU in the LiVe lab. My main focus is on applying machine learning to resolve different problems in the field of probabilistic model checking.

Faculty member

Vali-e-asr University of Rafsanjan
Sep 2009 - Jun 2023 (13 years, 9 months)
As a member in the faculty of computer science, I proposed several courses in this field during 10 years (excluding the period for Ph.d study). The proposed courses include: Computer programming in C++, Data structures and algorithms, Database, Compiler, Theory of computations and Artificial intelligence.

Web developer

Adish ICT
Sep 2006 - Jan 2008 (1 year, 4 months)
I mainly worked there as a member of a team that was working on web developments. I developed several web apps by and C#. I was also a database designer.



Daneshgahe Tabriz, Iran, Islamic Republic of 2013 - 2019
(6 years)

Master of science

Sharif University of Technology, Iran, Islamic Republic of 2006 - 2008
(2 years)

Bachelor of science

Shahid Beheshti University, Iran, Islamic Republic of 2001 - 2006
(5 years)


Improving modified policy iteration for probabilistic model checking

Computer science journal (Poland)
n this paper, we propose two new heuristics to accelerate the modified policy iteration method. We first define a criterion for the usefulness of the computations of each iteration of this method. The first contribution of our work is to develop and use a criterion to reduce the number of iterations in modified policy iteration. As the second contribution, we propose a new approach to identify useless updates in each iteration.

Prioritizing methods to accelerate probabilistic model checking of discrete-time Markov models

Compter journal
Probabilistic model checking is an automated technique for the verification of systems that exhibit stochastic behavior. In this paper, we consider MDPs and propose three techniques to improve the performance of the iterative methods. We propose several heuristic methods to improve the performance of the standard iteration methods that are more useful for cyclic models.

Contact Mohammadsadgh M. about your job

Log in to discuss any details over chat.


Preferred Freelancer
Identity Verified
Payment Verified
Phone Verified
Email Verified
Facebook Connected
Previous User Next User
Invite sent successfully!
Thanks! We’ve emailed you a link to claim your free credit.
Something went wrong while sending your email. Please try again.
Registered Users Total Jobs Posted
Freelancer ® is a registered Trademark of Freelancer Technology Pty Limited (ACN 142 189 759)
Copyright © 2024 Freelancer Technology Pty Limited (ACN 142 189 759)
Loading preview
Permission granted for Geolocation.
Your login session has expired and you have been logged out. Please log in again.