Théo Zimmermann

Summary

Théo Zimmermann is a human^[1]. He was born on +2000-00-00T00:00:00Z^[2]. He worked as a computer scientist^[3].

Key Facts

• Théo Zimmermann was born on +2000-00-00T00:00:00Z^[2].
• Théo Zimmermann held citizenship in France^[4].
• Théo Zimmermann worked as a computer scientist^[3].
• Théo Zimmermann's field of work was software engineering^[5].
• Théo Zimmermann's field of work was functional programming^[6].
• Théo Zimmermann's field of work was Rocq prover^[7].
• Théo Zimmermann's field of work was OCaml^[8].
• Théo Zimmermann's field of work was Elm^[9].
• Théo Zimmermann was employed by Télécom Paris^[10].
• Théo Zimmermann's education included a stint at Paris Cité University^[11].
• Théo Zimmermann was educated at Paris Diderot University^[12].
• Théo Zimmermann's doctoral advisor was Hugo Herbelin^[13].
• Théo Zimmermann's doctoral advisor was Yann Régis-Gianas^[14].
• Théo Zimmermann is recorded as male^[15].
• Théo Zimmermann's instance of is recorded as human^[16].
• Théo Zimmermann's VIAF cluster ID is recorded as 150160789753802681718^[17].
• Théo Zimmermann's IdRef ID is recorded as 250396092^[18].
• Théo Zimmermann's ORCID iD is recorded as 0000-0002-3580-8806^[19].
• Théo Zimmermann earned the academic degree of doctorate^[20].
• Théo Zimmermann's family name is recorded as Zimmermann^[21].
• Théo Zimmermann's given name is recorded as Théo^[22].
• Théo Zimmermann's official website is recorded as https://www.theozimmermann.net/^[23].
• Théo Zimmermann's work location is recorded as Paris^[24].
• Théo Zimmermann's Scopus author ID is recorded as 57194169147^[25].
• Théo Zimmermann's languages spoken, written or signed is recorded as English^[26].

Body

Origins and Family

Théo Zimmermann was born on +2000-00-00T00:00:00Z^[2].

Education

Educated at Paris Cité University^[11], a university in France^[27], in France^[28], founded in 2019^[29], headquartered in Paris^[30] and Paris Diderot University^[12], a university in France^[31], in France^[32], founded in 1971^[33], headquartered in Paris^[34]. Doctoral advisors include Hugo Herbelin^[13] and Yann Régis-Gianas^[14]. Théo Zimmermann earned the academic degree of doctorate^[20].

Career and Affiliations

Théo Zimmermann's professions included computer scientist^[3]. Fields of work include software engineering^[5], a branch of computer science^[35]; functional programming^[6], a programming paradigm^[36]; Rocq prover^[7], a proof assistant^[37], in France^[38], founded in 1984^[39]; OCaml^[8], an object-based language^[40], founded in 1996^[41]; and Elm^[9], a functional programming language^[42], founded in 2012^[43]. Among his employers was Télécom Paris^[10].

FAQs

What did Théo Zimmermann do for work?

Théo Zimmermann worked as computer scientist^[3].

Where did Théo Zimmermann go to school?

Théo Zimmermann was educated at Paris Cité University^[11] and Paris Diderot University^[12].