teuber.dev↗

Samuel Teuber

#2,147,508Global rank

Top 1.8%of 119.7M domains

About

Samuel Teuber is a PhD candidate at Karlsruhe Institute of Technology (KIT) in Germany, advised by Bernhard Beckert at the Application-Oriented Formal Verification group. His research develops logical foundations and practical tools for the verification of *AI-based heterogeneous systems*, that is, systems combining software, AI, and physical components. Concrete applications are the formal verification of neural network control systems and the verification of algorithmic fairness. Previously, h

Technologies2detected on the homepage

Site languageAmerican Englishdeclared by the page

Profiles & contact0published on the homepage

Last crawled2026-09-20homepage read

Technologies

Content & CMS · 1Infrastructure & security · 1

HugoHSTS

Site details

Website	teuber.dev ↗
Site language	American English
PageRank position	#2,645,803
Rank · Jun–Aug 2026	#2,147,508

Similar sites

Sites sharing its less common technologies

Rank	Site	Description	Technologies	Language
72	doi.orgdoi.org	Home Page	AhrefsHugo+9+10	American English
184	git-scm.comgit-scm.com	Git	HugojQuery+3+4	English
304	eclipse.orgeclipse.org	The Eclipse Foundation hosts 450+ open source projects with vendor-neutral governance, enabling global collaboration in automotive, IoT, cloud, and emerging …	Google Tag ManagerHugo+1
Ad	Serpex Search APIserpex.dev	The fast, affordable search API for AI & data projects.	Google AnalyticsNext.js	English
834	letsencrypt.orgletsencrypt.org	Let's Encrypt is a free, automated, and open Certificate Authority brought to you by the nonprofit Internet Security Research Group (ISRG). Read all about our nonprofit work this year in our 2025 Annual Report.	Hugo	American English
1505	brave.combrave.com	The Brave browser is a fast, private and secure web browser for PC, Mac and mobile. Download now to enjoy a faster ad-free browsing experience that saves data and battery life by blocking tracking software.	Hugo	English
1788	ghost.orgghost.org	Beautiful, modern publishing with email newsletters and paid subscriptions built-in. Used by Platformer, 404Media, Lever News, Tangle, The Browser, and thousands more.	FirstPromoterHugo+1+2	British English
1793	memcached.orgmemcached.org	memcached	Hugo
1971	datadoghq.comdatadoghq.com	See metrics from all of your apps, tools & services in one place with Datadog’s cloud monitoring as a service solution. Try it for free.	Google Tag ManagerHugo+1+2
2221	aclanthology.orgaclanthology.org	ACL Anthology	Hugo
2264	freebsd.orgfreebsd.org	The FreeBSD Project	Hugo	English

Is this your site? Request removal of the teuber.dev page.