Isabelle Brasseur

Isabelle Brasseur, MSM (born July 28, 1970) is a Canadian former competitive pair skater. With partner Lloyd Eisler, she won two Olympic medals and the 1993 World Championships.

Personal life

Brasseur was born on July 28, 1970 in Kingsbury, Quebec. She married American former pairs skater Rocky Marval (Marvaldi) on October 8, 1996. Their daughter, Gabriella Marvaldi, was born on November 1, 2000 in Voorhees Township, New Jersey. Brasseur has vasodepressor syncope, causing her heart to stop for 31 seconds shortly before the birth. Her daughter is also a pairs skater and won the 2012 U.S. juvenile pairs title with partner Kyle Hogeboom.

Career

Early in her career, Brasseur competed with Pascal Courchesne. They placed 5th at the 1985 Skate America.

Brasseur teamed up with Lloyd Eisler in 1987. They won five Canadian pairs championships, the 1993 World Championships, and bronze medals at the 1992 Winter Olympics and the 1994 Winter Olympics. They retired in 1994.

Brasseur/Eisler teamed up with Lou-Anne Brosseau (Hunt) in 1992 and formed a company known as B.B.E. Productions Inc. Together the group planned and organized professional figure skating events across Canada. Their main goal was to raise awareness and funds for the Children's Wish Foundation of Canada, who named the duo National Spokespersons in September 1992. B.B.E. Productions Inc. has won several awards, producing more than 25 shows and raising more than $250,000.00 in awareness and sponsorship for the charity. In the years of operation (1992–2003), B.B.E. also granted several wishes to children suffering from life-threatening illnesses.

Isabelle

Isabelle is a French feminine given name. It may refer to :

Isabelle (proof assistant)

The Isabelle theorem prover is an interactive theorem prover, a Higher Order Logic (HOL) theorem prover. It is an LCF-style theorem prover (written in Standard ML), so it is based on a small logical core to ease logical correctness. Isabelle is generic: it provides a meta-logic (a weak type theory), which is used to encode object logics like First-order logic (FOL), Higher-order logic (HOL) or Zermelo–Fraenkel set theory (ZFC). Isabelle's main proof method is a higher-order version of resolution, based on higher-order unification. Though interactive, Isabelle also features efficient automatic reasoning tools, such as a term rewriting engine and a tableaux prover, as well as various decision procedures. Isabelle has been used to formalize numerous theorems from mathematics and computer science, like Gödel's completeness theorem, Gödel's theorem about the consistency of the axiom of choice, the prime number theorem, correctness of security protocols, and properties of programming language semantics. The Isabelle theorem prover is free software, released under the revised BSD license.

Isabelle (disambiguation)

Isabelle may refer to:

Surname

Places

Other

See also