BAOUYA ABDELHAKIM

PostDoc Researcher
  • University Grenoble-Alpes, France
  • VERIMAG Lab. Office 218
  • Bâtiment IMAG, 700 Avenue Centrale
  • 38400 Saint-Martin-d’Hères

Skills

Formal Verification

  • PRISM Model Chcking UPPAAL, BIP-SMC.

  • UPPAAL

  • BIP-SMC

Programming Language

  • C/C++

  • VBA

  • Python

  • JAVA

  • .NET

Modular Development Framework

  • OSGi enRoute

  • Maven

  • Eclipse Plug-in Development

Model-To-Model Transformation

  • Acceleo

  • QVT

  • Xtend & Xbase

Blockchain Business Networks

  • Hyperledger Composer

Hardware Experiments

  • Raspberry Pi

  • Arduino

Python Machine Learning

  • Tensor Flow