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.
It's currently 9:32 PM here
Joined January 6, 2016
0 Recommendations
Hamza B.
@bourbouhhamza
0.0
0.0
0%
0%
N/A
Jobs Completed
N/A
On Budget
N/A
On Time
N/A
Repeat Hire Rate
Research Engineer at NASA Ames
Contact Hamza B. about your job
Log in to discuss any details over chat.
Reviews
Changes saved
No reviews to see here!
Experience
Research Engineer @ NASA Ames
Feb 2017 - Present
Currently, I am a PhD student and research assistant at NASA Ames Research Center.
My research is mainly on program analysis and formal verification. I'm currently working on developing a Matlab toolbox for verifying Simulink/Stateflow models.
Simulink, developed by MathWorks, is a graphical programming environment for modelling, simulating and analyzing multi-domain dynamic systems.
Education
Master in Computer Science and Applied Mathematics
(3 years)
Publications
Automated analysis of Stateflow models
LPAR 2017
Stateflow is a widely used modelling framework for embedded and cyber-physical systems where control software interacts with physical processes. In this work, we present a framework and a fully automated safety verification technique for Stateflow models. The overall approach is implemented as an open source toolbox that can be integrated into the existing Mathworks Simulink/Stateflow modelling framework.
Contact Hamza B. about your job
Log in to discuss any details over chat.
Verifications
Top Skills
Browse Similar Freelancers
Browse Similar Showcases
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.
Copy to clipboard failed, please try again after adjusting your permissions.
Copied to clipboard.
Loading preview
Permission granted for Geolocation.
Your login session has expired and you have been logged out. Please log in again.