Meyer, Bertrand

Bertrand Meyer
fr.  Bertrand Meyer
Data nașterii 21 noiembrie 1950( 21.11.1950 ) (71 de ani)
Locul nașterii
Țară
Sfera științifică Informatica
Loc de munca Universitatea Innopolis
Alma Mater
Elevi Jean-Marc Nerson [d] [1], Andreas Leitner [d] [1], Michela Pedroni [d] [1], Yi (Jason) Wei [d] [1], Marco Piccioni [d] [1], Marco Trudel [d] [1], Benjamin Morandi [d] [1]și Nadia Polikarpova [d] [1]
Premii și premii Premiul Dahl-Nyugor ( 2005 ) Premiul ACM Software System [d] ( 2006 ) Un prieten ACM Premiul Harlan D. Mills [d]
Site-ul web bertrandmeyer.com
 Fișiere media la Wikimedia Commons

Bertrand Meyer (n . 21 noiembrie 1950 , Paris ) este creatorul limbajului de programare Eiffel .

Biografie

În 1974 a absolvit Școala Politehnică (École Polytechnique) din Paris și a devenit inginer . În același an a primit un master în Informatică de la Universitatea Stanford . Și-a luat doctoratul în 1985 la Universitatea Henri Poincaré (Nancy).

Din 1974 până în 1983 a lucrat ca inginer cercetător. Apoi a condus departamentul de dezvoltare software la Électricité de France .

În 1978 , prima carte a lui B. Meyer „Metode de programare” a fost publicată (în coautor), tradusă în rusă în 1982 , editată și cu o prefață de Andrey Petrovici Ershov .

Din 1983 până în 1986 _ este profesor invitat la Universitatea din California , Santa Barbara .

Din 2011, B. Meyer este șeful Departamentului de Inginerie Software și Verificare a Programelor de la Universitatea de Stat de Tehnologii Informaționale, Mecanică și Optică din Sankt Petersburg . [2]

Din 2014, lector la Universitatea Innopolis ( Republica Tatarstan , Rusia ), șef al Laboratorului de Inginerie Software și Verificare a Programelor [3] [4] .

Limbajul de programare Eiffel

În 1985, a publicat un raport despre limbajul Eiffel (Eiffel: A Language for Software Engineering). Acest limbaj reflecta cel mai pe deplin conceptele de programare orientată pe obiecte.

În același an, B. Meyer a fondat ISE (Interactive Software Engineering), redenumit ulterior Eiffel Software . Până în 2001, a fost președintele acesteia, iar din 2001 a devenit supervizorul acesteia. Sub conducerea lui Bertrand Meyer, angajații companiei au dezvoltat compilatoarele de limbaj Eiffel și un mediu de dezvoltare orientat pe obiecte pentru proiecte software , disponibil pe aproape toate platformele [5] . Compania este angajată în consultanță, activități educaționale și suport pentru dezvoltarea de software în limba Eiffel. Aplicația principală a acestui limbaj este asociată cu aplicații pe scară largă în domenii critice de fiabilitate, cum ar fi, de exemplu, financiar, militar, aerospațial.

Limba Eiffel continuă să evolueze continuu. În 2005, a fost adoptat și publicat standardul pentru acest limbaj „Standard ECMA: Eiffel Analysis, Design and Programming Language”, editat de B. Meyer. Standardul este aprobat ca standard internațional (Standard internațional 367 de către ECMA International).

Publicații

În 1988 , B. Meyer a publicat cartea „Object-Oriented Software Construction”, tradusă în germană , franceză , italiană , japoneză , chineză și română , care descrie în detaliu elementele de bază ale construirii unor produse software fiabile folosind tehnologia obiectelor. Cartea a prezentat, de asemenea, elementele de bază ale „Design by contract”  - o metodă propusă de B. Meyer, care a fost dezvoltată într-o serie de articole ale sale.

A doua ediție a acestei cărți a apărut în 1997. Cartea a primit un premiu onorific Jolt în 1998. O traducere a celei de-a doua ediții a apărut în spaniolă , franceză și sârbă . Este tradus în japoneză și chineză .

În limba rusă, o traducere a celei de-a doua ediții intitulată „Proiectarea sistemelor software orientată pe obiecte” a fost publicată în 2005 sub conducerea lui Vladimir Billig , prin eforturile comune ale editurilor Russian Edition și Internet University .

În 2003, B. Meyer a devenit succesorul lui Niklaus Wirth , înlocuindu-l ca șef al celebrului Departament de Inginerie Software de la ETH (Eidgenoessische Technische Hochschule) elvețiană - Școala Politehnică Superioară din Zurich . În prezent ocupă această funcție.

Bertrand Meyer este unul dintre oamenii de știință de frunte în domeniul ingineriei software . Este autorul a nouă cărți. El a publicat peste 250 de lucrări științifice care acoperă o gamă largă de domenii, toate fiind greu de enumerat. Pentru a numi doar câteva: metode pentru construirea de componente și produse software fiabile, reutilizabile, programare paralelă , distribuită și pe Internet , tehnologii de baze de date, metode formale și dovada corectitudinii programului.

În ultimii 25 de ani, B. Meyer a fost speaker invitat la majoritatea renumitelor conferințe internaționale dedicate ingineriei software ( ICSE , OOPSLA , ECOOP , APSEC , TOOLS , ASWEC , ESEC ). Timp de mulți ani a fost organizatorul uneia dintre cele mai cunoscute conferințe despre programarea obiectelor - conferința TOOLS (Technology of Object-Oriented Languages ​​​​and Systems).

A fost editorul JOT (Journal of Object Technology). Bertrand Meyer a scris rubrici în reviste precum IEEE Computer ( 1996 - 2000 ), Journal of Object-Oriented Programming ( 1995 - 2001 ), Software Development ( 1999 - 2001 ). Sfera de interese a activității sale științifice include și problemele educației în domeniile Informatică și Inginerie Software. El a dezvoltat o metodă originală de predare a elementelor de bază ale programării, numită „curriculum inversat”, confirmată de experiența de lucru cu studenții ETH.

Premii

Pentru serviciile oferite comunității de programare în 2005 , a devenit primul câștigător al Premiului Dahl-Nyugor , înființat în onoarea creatorilor primului limbaj de programare obiect Simula .

Pe 28 martie 2006, profesorul B. Meyer a fost ales doctor onorific al Universității de către Consiliul Academic al Universității de Stat de Tehnologii Informaționale, Mecanică și Optică din Sankt Petersburg . Ceremonia solemnă dedicată acestui eveniment a avut loc la 2 iunie 2006 [6] .

Profesorul B. Meyer vorbește limba rusă și are legături amicale de lungă durată cu comunitatea de programare rusă. Ca om de știință începător, a fost invitat de A.P. Ershov pentru un stagiu la Academgorodok din Novosibirsk . Aceste legături s-au întărit în ultimii ani. Bertrand Meyer, în calitate de vorbitor invitat, a fost:

Note

  1. ↑ 1 2 3 4 5 6 7 8 Genealogie matematică  (engleză) - 1997.
  2. ↑ Muzeul Virtual al Universității de Stat din Sankt Petersburg ITMO. Meyer Bertrand . Consultat la 9 iunie 2011. Arhivat din original la 1 iulie 2015.
  3. ↑ Personalul didactic . vechi.innopolis.universitate . Preluat la 14 august 2020. Arhivat din original la 18 aprilie 2021.
  4. ↑ Laboratorul de Inginerie Software și Verificare a Programelor . vechi.innopolis.universitate . Preluat la 14 august 2020. Arhivat din original la 14 aprilie 2021.
  5. ↑ Eiffel Software - Home of EiffelStudio . Preluat la 14 iulie 2022. Arhivat din original la 29 iunie 2022.
  6. ↑ Bertrand Meyer . Data accesului: 29 mai 2009. Arhivat din original la 8 decembrie 2006.

Link -uri

  Accesați articolul Wikidata  În rețelele sociale
Site-uri tematice