Fabrice Bellard (; born 1972) is a French computer programmer known for writing FFmpeg, QEMU, and the Tiny C Compiler. He developed Bellard's formula for calculating single digits of pi. In 2012, Bellard co-founded Amarisoft, a telecommunications company, with Franck Spinelli. Life and career Bellard was born in 1972 in Grenoble, France and went to school in Lycée Joffre (Montpellier), where, at age 17, he created the executable compressor LZEXE. After studying at École Polytechnique, he went on to specialize at Télécom Paris in 1996. In 1997, he discovered a new, faster formula to calculate single digits of pi in hexadecimal representation, known as Bellard's formula. It is a variant of the Bailey–Borwein–Plouffe formula. Bellard's entries won the International Obfuscated C Code Contest three times. In 2000, he won in the category "Most Specific Output" for a program that implemented the modular Fast Fourier Transform and used it to compute the then biggest known prime number, 26972593−1 (in the sense that it prints the decimal representation of this number, which itself is assumed to be known). In 2001, he won in the category "Best Abuse of the Rules" for a tiny compiler (the source code being only 3 kB in size) of a strict subset of the C language for i386 Linux. The program itself is written in this language subset, i.e. it is self-hosting. In 2018, he won in the category "Most inflationary" for an image decompression program. In 2002 he developed TinyGL, a subset of OpenGL suitable for embedded environments. In 2004, he wrote the TinyCC Boot Loader, which can compile and boot a Linux kernel from source in less than 15 seconds. In 2005, he designed a system that could act as an Analog or DVB-T Digital TV transmitter by directly generating a VHF signal from a standard PC and VGA card. In 2011, he created a minimal PC emulator written in pure JavaScript. The emulated hardware consists of a 32-bit x86 compatible CPU, a 8259 Programmable Interrupt Controller, a 8254 Programmable Interrupt Timer, and a 16450 UART. On 31 December 2009 he claimed the world record for calculations of pi, having calculated it to nearly 2.7 trillion places in 90 days. Slashdot wrote: "While the improvement may seem small, it is an outstanding achievement because only a single desktop PC, costing less than US$3,000, was used—instead of a multi-million dollar supercomputer as in the previous records."