Véronique Bruyère is a Belgian computer scientist working in

automata theory Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science with close connections to cognitive science and mathematical l ...

temporal logic In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am ''always'' hungry", "I will ''eventually'' be hungry", or "I will be hungry ''until'' I ...

, and

combinatorics on words Combinatorics on words is a fairly new field of mathematics, branching from combinatorics, which focuses on the study of words and formal languages. The subject looks at letters or symbols, and the sequences they form. Combinatorics on words ...

, among other topics. She is a professor of computer science at the

University of Mons The University of Mons (, ) is a Belgian university located in the city of Mons, founded in 2009 by merging the Engineering Faculty of Mons (FPMs) and the University of Mons-Hainaut. The merging of the institutions was achieved following a g ...

in Belgium.

Education

Bruyère studied mathematics at the

University of Mons-Hainaut The University of Mons-Hainaut (, , UMH), in Mons, Wallonia, Belgium, was a university in the French Community of Belgium. Its official language was French. From January 1, 2009, the University of Mons-Hainaut and the Engineering Faculty of Mons ...

, one of two universities that merged in 2009 to form the University of Mons, and earned a master's degree in mathematics there in 1985. She completed her Ph.D. in computer science in 1989, at

Paris Diderot University Paris Diderot University, also known as Paris 7 (), was a French university located in Paris, France. It was one of the inheritors of the historic University of Paris, which was split into 13 universities in 1970. Paris Diderot merged with Pari ...

. Her dissertation, ''Codes prefixes, codes a delai de dechiffrage borne'', was supervised by

Dominique Perrin Dominique Pierre Perrin (b. 1946) is a French mathematician and theoretical computer scientist known for his contributions to coding theory and to combinatorics on words. He is a professor of the University of Marne-la-Vallée and currently serv ...

. She also obtained a second Ph.D. in sciences from the University of Mons-Hainaut in 1991.

Career

Bruyère has worked for the University of Mons-Hainaut and (after its merger) the University of Mons since 1985, when she became an assistant there. In 1993 she became ''chargé de cours'' (roughly equivalent to associate professor), in 2000 professor, and in 2012 full professor. She became head of the Theoretical Computer Science laboratory at Mons in 2001. Since 2009, she has been head of the department of computer science at the University of Mons.

Research

Bruyère's research topics have included

formal verification In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal ver ...

, timed automata,

game theory Game theory is the study of mathematical models of strategic interactions. It has applications in many fields of social science, and is used extensively in economics, logic, systems science and computer science. Initially, game theory addressed ...

, and

coding theory Coding theory is the study of the properties of codes and their respective fitness for specific applications. Codes are used for data compression, cryptography, error detection and correction, data transmission and computer data storage, data sto ...

. As well as publishing under her own name, she has participated as a member of the

M. Lothaire M. Lothaire is the pseudonym of a group of mathematicians, many of whom were students of Marcel-Paul Schützenberger. The name is used as the author of several of their joint books about combinatorics on words. The group is named for Lothair I.. ...

pseudonymous collective.

References

External links

Home page
* {{DEFAULTSORT:Bruyere, Veronique Year of birth missing (living people) Living people Belgian computer scientists Belgian women computer scientists