Tau Team - Lucca Tiemens 💎 #shorts #TauTeam #TMLDeveloper

Lucca Tiemens - TML Developer

Lucca is a master student of Mathematics at Technische Universität Berlin. He has worked in industrial research projects at Fraunhofer IPK as a programmer and was employed at Freie Universität Berlin for tutoring Bachelor’s courses in mathematics. His Bachelor thesis was published at the RAMICS 2020 conference. He is further experienced in formalizing category theory in the proof assistant Isabelle/HOL.

Tau Official Website: https://tau.net/
Tau Official Telegram: https://t.me/tauchain
Tau Official Discord: https://discord.gg/fuTA5ymZ
Tau Official Development Updates: https://github.com/IDNI/TML
TML Playground: https://tml.tau.net/

Twitter: https://twitter.com/AndrewOnizuka
Facebook: https://www.facebook.com/profile.php?id=100073737020446
Instagram: https://www.instagram.com/andrewonizuka/
Reddit: https://www.reddit.com/user/Andrew_Onizuka

#Mathematics #Research #Programming #IsabelleHOL #RAMICS2020 #Tutoring #IndustrialResearch #TMLDeveloper #FraunhoferIPK #FreieUniversitätBerlin #CategoryTheory