Dr. Taha Abdelmoutaleb Cherfia

Development of a toolchain for rapid implementation and verification of trusted open CPS applications. Integration of Model Checking tools into the software development process of automotive applications. Development of a mitigation strategy against threats targeting railways. Principal contact for the EU Horizon 2020 funded project CYRail on cybersecurity for railways. Development of a Hyperledger Fabric prototype for software certification. Hands-on experience with industrial standards.

PHC (Hubert Curien Partnerships) - Tassili Internship Program: http://www.campusfrance.org/fr/tassili

LIUPPA: Computer Science Laboratory of the University of Pau and Pays de l'Adour, Pau (France) PROFAS B+ Internship Program: http://www.if-algerie.com/algerie/cooperation/universitaire/nos-programme-boursiers-phc-tassili-et-profas

CEDRIC Laboratory, National Conservatory of Arts and Crafts (CNAM), Paris (France)

Laboratoire d'Informatique Répartie (LIRE) Thesis: Bigraphical Reactive Systems Based Framework for Design and Analysis of Context-Aware Systems Keywords: Ubiquitous Computing, Context-Awareness, Bigraphical Reactive Systems, Design and Analysis.

Thesis: Uniform Application for Software Engineering Classes Principal subjects / occupational skills covered​: Server-side Web Development, Perl, CGI, PHP, J2EE Averroes Internship Program: http://www.averroes.fr

Thesis: Design and Implementation of a Transformation Tool of AADL models to Bigraphical Reactive Systems Principal subjects / occupational skills covered: Advanced Networking, Protocols and Applications engineering, Formal Methods and Software Engineering, Web Application Security.

Principal subjects / occupational skills covered​:​ Mathematics, Object-Oriented Analysis and Design, Software Testing and Quality Assurance, Software Project Management, Distributed Applications and CORBA component Model, Advanced Databases, Software Maintenance and Configuration Management.