Marie-Claude Gaudel

Last updated
Marie-Claude Gaudel
Marie-Claude Gaudel.jpg
Marie-Claude Gaudel at LRI (Laboratoire de Recherche en Informatique), during the `MCG Day' organised in her honor on september 26, 2019.
Born1946 (age 76–77)
Nancy, France
NationalityFrench
OccupationProfessor Emeritus of Computer Science at University of Paris-Sud
Known forMathematics, Computer Science

Marie-Claude Gaudel (born 1946) is a French computer scientist. She is a professor emerita at the University of Paris-Sud. She helped develop PLUSS language for software specifications and was involved in both theoretical and applied computer science. Gaudel is still active in professional societies.

Contents

Early life and education

Marie-Claude Gaudel was born in 1946 in Nancy, France, into a family of scientists and mathematicians. [1] She attended the University of Nancy and graduated with a Masters in Mathematics and Fundamental Applications in 1968. [2] She obtained three more degrees from the University of Nancy: a DEA of Mathematics in 1969, a Postgraduate Doctorate in Computer Science in 1971, and a Doctorate of State in 1980. [2]

Career

In 1973, while still studying at the University of Nancy, Gaudel began working as a researcher at the French Institute for Research in Computer Science and Automation (INRIA). [2] From 1981 to the beginning of 1984, Gaudel managed the Software Engineering group at the industrial research centre of Alcatel-Alsthom in Marcoussis, France. [2]

In 1984, she became a professor at the University of Paris-Sud at Orsay. [2] Her work there focused on software testing, particularly testing based on formal specifications.

In the 1980s and 1990s, Gaudel helped to develop the PLUSS language, which is used for software specifications, and the ASSPEGIQUE specification environment. She worked on the theoretical and practical side of computer science, developing a theory of software testing, formal testing, and applying her insights to real-world industrial problems. Her research group also developed the LOFT system for selecting test data. [3]

In the 2000s, Gaudel worked on three main projects. She tested software specified in the Circus language with researchers from the University of York, researched approximate software verification, and developed algorithms for random software testing and analysis. [2]

Gaudel retired from the University of Paris-Sud in March 2007 but continues to be a member of a number of programme committees, including serving as chair for several conferences on formal testing. She edits for the journals The Science of Computer Programming and Formal Aspects of Computing and continues to be active in the scientific community. [2]

Awards and honors

Selected publications

Gaudel has authored or co-authored numerous publications during her time at the University of Paris-Sud and since retirement. Some of the most cited ones are listed below: [5]

Related Research Articles

<span class="mw-page-title-main">Computer science</span> Study of the foundations and applications of computation

Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines to practical disciplines. Computer science is generally considered an area of academic research and distinct from computer programming.

<span class="mw-page-title-main">Tony Hoare</span> British computer scientist

Sir Charles Antony Richard Hoare is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing. His work earned him the Turing Award, usually regarded as the highest distinction in computer science, in 1980.

<span class="mw-page-title-main">French Institute for Research in Computer Science and Automation</span> French research institution for computer science

The National Institute for Research in Digital Science and Technology (Inria) is a French national research institution focusing on computer science and applied mathematics. It was created under the name Institut de recherche en informatique et en automatique (IRIA) in 1967 at Rocquencourt near Paris, part of Plan Calcul. Its first site was the historical premises of SHAPE, which is still used as Inria's main headquarters. In 1980, IRIA became INRIA. Since 2011, it has been styled Inria.

<span class="mw-page-title-main">Paul Mockapetris</span> American computer scientist and Internet pioneer

Paul V. Mockapetris is an American computer scientist and Internet pioneer, who invented the Internet Domain Name System (DNS).

<span class="mw-page-title-main">Joseph Goguen</span> American computer scientist

Joseph Amadee Goguen was an American computer scientist. He was professor of Computer Science at the University of California and University of Oxford, and held research positions at IBM and SRI International.

In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. They are used to describe a system, to analyze its behavior, and to aid in its design by verifying key properties of interest through rigorous and effective reasoning tools. These specifications are formal in the sense that they have a syntax, their semantics fall within one domain, and they are able to be used to infer useful information.

The Institut de la Francophonie pour l'Informatique (IFI), French for the "Computer Science Institute for the Francophonie", is a graduate school in computer science in Vietnam.

Algebraic specification is a software engineering technique for formally specifying system behavior. It was a very active subject of computer science research around 1980.

<span class="mw-page-title-main">Erol Gelenbe</span> Turkish computer scientist

Sami Erol Gelenbe is a Turkish and French computer scientist, electronic engineer and applied mathematician who pioneered the field of Computer System and Network Performance in Europe, and is active in many research projects of the European Union. He is Professor in the Institute of Theoretical and Applied Informatics of the Polish Academy of Sciences (2017-), Associate Researcher in the I3S Laboratory and Abraham de Moivre Laboratory. He has held Chaired professorships at University of Liège (1974-1979), University Paris-Saclay (1979-1986), University Paris Descartes (1986-2005), Nello L. Teer Professor and ECE Chair at Duke University (1993-1998), University Chair Professor and Director of the School of EECS, University of Central Florida (1998-2003), and Dennis Gabor Professor and Head of Intelligent Systems and Network, Imperial College (2003-2019). He invented the random neural network and the eponymous G-networks. He has served as a consultant to Thomson-CSF, IBM, BT, France Telecom, Huawei, and General Dynamics. His awards include the Parlar Foundation Science Award (1994), the Grand Prix France Telecom (1996) of the French Academy of Sciences, the ACM SIGMETRICS Life-Time Achievement Award, the Oliver Lodge Medal, the "In Memoriam Dennis Gabor Award", and the Mustafa Prize (2017).

Gérard Pierre Huet is a French computer scientist, linguist and mathematician. He is senior research director at INRIA and mostly known for his major and seminal contributions to type theory, programming language theory and to the theory of computation.

In computing, software engineering, and software testing, a test oracle is a mechanism for determining whether a test has passed or failed. The use of oracles involves comparing the output(s) of the system under test, for a given test-case input, to the output(s) that the oracle determines that product should have. The term "test oracle" was first introduced in a paper by William E. Howden. Additional work on different kinds of oracles was explored by Elaine Weyuker.

<span class="mw-page-title-main">Maurice Nivat</span> French computer scientist

Maurice Paul Nivat was a French computer scientist. His research in computer science spanned the areas of formal languages, programming language semantics, and discrete geometry. A 2006 citation for an honorary doctorate (Ph.D.) called Nivat one of the fathers of theoretical computer science. He was a professor at the University Paris Diderot until 2001.

<span class="mw-page-title-main">Radhia Cousot</span> Inventor of abstract interpretation

Radhia Cousot was a Tunisian French computer scientist known for inventing abstract interpretation.

Martin Wirsing is a German computer scientist, and Professor at the Ludwig-Maximilians-Universität München, Germany.

<span class="mw-page-title-main">Jayadev Misra</span> American computer scientist (born 1947)

Jayadev Misra is an Indian-born computer scientist who has spent most of his professional career in the United States. He is the Schlumberger Centennial Chair Emeritus in computer science and a University Distinguished Teaching Professor Emeritus at the University of Texas at Austin. Professionally he is known for his contributions to the formal aspects of concurrent programming and for jointly spearheading, with Sir Tony Hoare, the project on Verified Software Initiative (VSI).

Monique Teillaud is a French researcher in computational geometry at the French Institute for Research in Computer Science and Automation (INRIA) in Nancy, France. She moved to Nancy in 2014 from a different INRIA center in Sophia Antipolis, where she was one of the developers of CGAL, a software library of computational geometry algorithms.

<span class="mw-page-title-main">Grigore Roșu</span> Computer science professor

Grigore Roșu is a computer science professor at the University of Illinois at Urbana-Champaign and a researcher in the Information Trust Institute. He is known for his contributions in runtime verification, the K framework, matching logic, and automated coinduction.

Hartmut Ehrig was a German computer scientist and professor of theoretical computer science and formal specification. He was a pioneer in algebraic specification of abstract data types, and in graph grammars.

<span class="mw-page-title-main">Patricia Bouyer-Decitre</span> French theoretical computer scientist

Patricia Bouyer-Decitre is a French theoretical computer scientist known for her research on timed automata, model checking, and temporal logic. She is a senior researcher for the French National Centre for Scientific Research (CNRS), and director of the Laboratoire Méthodes Formelles of CNRS and the École normale supérieure Paris-Saclay.

Sylvie Boldo is a French mathematician and computer scientist. Her research combines automated theorem proving and computer arithmetic, focusing on the formal verification of floating-point arithmetic operations and of algorithms based on them. She is a director of research for the French Institute for Research in Computer Science and Automation (INRIA), affiliated with the Formal Methods Laboratory at Paris-Saclay University and the INRIA Saclay-Île-de-France Research Centre, where she co-leads the Toccata project for formally verified programs, certified tools and numerical computations. She is also the founding jury president for the French agrégation in computer science.

References

  1. ↑ "Marie Claude GAUDEL, mathématicienne". Genealogie.gaudel.pagesperso-orange.fr. Retrieved 24 April 2018.
  2. 1 2 3 4 5 6 7 "Gaudel, Marie-Claude". Laboratoire de Recherche en Informatique.
  3. ↑ "Université de Paris-Sud". 0.cs.ucl.ac.uk. Retrieved 24 April 2018.
  4. 1 2 3 4 5 "Marie-Claude Gaudel - Les Expertes - Francophonie". Les Expertes – Francophonie. Retrieved 24 April 2018.
  5. ↑ "Marie-Claude Gaudel - Google Scholar Citations". Scholar.google.com. Retrieved 24 April 2018.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.