Sergiy BORODAY

Centre de recherche informatique de Montréal
550 rue Sherbrooke Ouest, 100,
Montréal, H3A1B9, Canada
téléphone : 514 840-1234 ext.3783,
télécopieur : 514 840-1244
courriel : [email protected]

LANGUES

Français, anglais, russe, ukrainien (maternelle)

EXPÉRIENCE PROFESSIONNELLE

Recherche :
 
2000–2001 Agent de recherche

Centre de recherche informatique de Montréal, www.crim.ca

Développement de méthodes formelles et d’outils logiciel pour la génération automatisée de tests et pour l’analyse des systèmes distribués / systémes de télécommunication. Participation dans les projets de recherche suivants :
LENA: Formulation de tests a partir de spécifications modulaires simulées par des systèmes de machines à états finis étendues (France-Télécom).
SIEM: Analyse (en utilisant des modèles) des traces de communication pour les systèmes distribués (Siemens AG).
1998–2000 Chercheur invité

Centre de recherche informatique de Montréal

Études postdoctorales en théorie des tests. Participation dan le projet
VERA: Calcul de séquences d'identification pour machines à états finis étendues (France-Télécom).
1996–1998 Ingénieur adjoint

Institut de mathématiques et mécanique appliquée de l'Académie nationale des sciences de l’Ukraine, Donetsk, www.iamm.ac.donetsk.ua

Participation au programme "Recherche des problèmes inversés de la théorie des automates finis, relies à une identification et une reconnaissance des systèmes discrets". 

 

Enseignement :
 
1997–1998 Professeur adjoint

Donetsk institut de business touristique, Ukraine

Enseignement d'informatique: PC, MS DOS, Windows, Microsoft Office, Visual Basic. Manuel de Lexicon: logiciel de traitement de texte en russe/ukrainien. 

 

FORMATION
 
1997 Doctorat en mathématiques (informatique théorique)

Université d’État de Saratov, Russie 

Thèse: Expérimentations en ensembles des automates effectivement définis 

Directeur de thèse: Dr Igor Grunsky, professeur Dmitry Speransky.
1993 Maîtrise en mathématiques appliqués

Université d’État de Donetsk, Ukraine

Thèse: Développement des tests pour contrôle de fonctionnement des automates

Directeur de thèse: Dr Igor Grunsky.

 

AUTRES ACTIVITÉS PROFESSIONNELLES:

Evaluation des articles :

FORTE 1999-2001. Conférence d’IFIP sur description formelle des techniques à l’adresse des systèmes distribuées et communication des protocoles. (IFIP est International Federation for Information Processing sous les auspices de UNESCO).

FATES 2001. Approche formelle aux tests de logiciel.

ICNP 2001. 9th International Conférence sur les protocoles de réseaux.

TestCom 2000,2002. Conférence d’IFIP sur tests des systèmes de communication.

Lauréat :

MEILLEUR ARTICLE à la Conférence internationale sur techniques de description formelle des systèmes distribuées, protocoles de communication (FORTE XII), 1999.

Diplôme de 3-ième grade pour la présentation a la Conférence internationale "L’étudiant et le progrès scientifique", Novosibirsk, Russie, 1992.
 
 

 CONNAISSANCES TECHNIQUES:

Langages de programmation : C/C++(gcc, Borland C++), Objective Caml, Pascal/Delphi.

Systèmes d'exploitation : Windows, Unix (Solaris).

Langages de modélisation et de spécification : SDL (LDS), OMT, Statecharts, UML, Z.

Outils CASE : ObjectGEODE, IF, CADP.

Logiciel bureautique et de publication : MS Office, TEX/LA TEX, Pagemaker.
 
 

RÉFÉRENCES DISPONIBLES SUR DEMANDE

Professeur Alexandre Petrenko, chef d'équipe, Centre de recherche informatique de Montréal, téléphone : (514) 840 1234, courriel:[email protected]

Dr Igor Grunsky, chercheur principal, Institut de mathématiques et mécanique appliquée, Donetsk, Ukraine, téléphone: 38 (062) 251-0144, courriel:[email protected]
 
 

PUBLICATIONS SELECTIONNES