Kristof Teichel
Wissenschaftlicher Mitarbeiter at Physikalisch-Technische Bundesanstalt, PTB
Brunswick, Lower Saxony, Germany
Summary
👤
Senior🎓
Top SchoolKristof Teichel is a research scientist and engineer with nine years at Germany’s Physikalisch-Technische Bundesanstalt, specializing in cryptographically secure time distribution and the formal verification of protocol measures. He blends a strong theoretical foundation—a Dr.-Ing. in theoretical computer science and top grades in mathematics and computer science—with hands-on work designing, specifying and standardizing time-synchronization protocols like Network Time Security. His projects bridge standards, industrial requirements (e.g., MiFID II) and smart-grid measurement campaigns, demonstrating an ability to translate formal methods into operational, auditable systems. Based in Braunschweig, he operates at the intersection of metrology, cryptography and networked systems, coordinating across working groups such as Q.42. Notably, his background shows both deep academic rigor and sustained applied project delivery within a national metrology institute.
9 years of coding experience
Dr.-Ing., Theoretical computer science, 1,36, Dr.-Ing., Theoretical computer science, 1,36 at Friedrich-Alexander-Universität Erlangen-NürnbergMaster of Science (M.Sc.), Mathematics and Computer Science, 1,1, Master of Science (M.Sc.), Mathematics and Computer Science, 1,1 at Technische Universität Braunschweig
German, English, French, Danish, Spanish, Russian
Github Skills (6)
ietf9
directinput7
security7
network7
xinput6
game-controller6
Programming languages (2)
Github contributions (5)
dfoxfranke/nts
Oct 2016 - Apr 2019
IETF I-D for Network Time Security
Contributions:12 commits, 2 PRs, 9 pushes in 2 years 6 months
ietfnetworksecurityi-d
KTeichel/roughtime-draft
Sep 2024 - Sep 2024
The roughtime internet draft
Contributions:1 push in 1 day
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.