Simon Bliudze

Research Scientist at the Spirals team of INRIA Lille – Nord Europe

Skip to content
  • Home
  • Research
  • Student projects
    • PhD proposals
    • Internship proposals
  • Publications
    • Journal publications
    • Conference proceedings
    • Invited talks
    • Submitted publications
    • PhD thesis
  • Events
  • Short bio

PhD proposals

Design of correct-by-construction self-adaptive cloud applications using formal methods

05/04/201931/10/2019sbliudze

Read more →

PhD proposals, Student projects BIP, cloud computing, formal methods, Inria, JavaBIP, PhD position Leave a comment

Research scientist
(chargé de recherche)

INRIA Lille – Nord Europe
Project-team SPIRALS
Parc scientifique de la Haute Borne
40 avenue Halley
59650 Villeneuve d’Ascq
France

E-mail: Simon.Bliudze[at]inria.fr
Public PGP key
Tel: +33 3 59 35 86 31

ORCID iD iconorcid.org/0000-0002-7900-5271

Stay in touch via

  • E-mail
  • GitHub
  • LinkedIn
  • Phone
  • Twitter
Proudly powered by WordPress | Theme: Radiate by ThemeGrill.