KIT - Karlsruhe Institute of Technology
image/svg+xml
Young Investigator Network
skip navigation
Home
Legals
Privacy Policy
Accessibility
Sitemap
KIT
de
search
search
This is YIN
Start
This is YIN
This is YIN
YIN mission
Organization
Committees
Start
This is YIN
Committees
Committees
Financial Committee
Event Committee
Public relations
YIN Office
We are YIN
Start
We are YIN
We are YIN
We are YIN Members
We are Alumni
We are ERC grantees
Publications
Start
We are YIN
Publications
Publications
YIN Journal
Press releases
Scientific publications
News Archive
Membership
Professional Development
Start
Professional Development
Professional Development
YIN Certificate
Leadership Excellence
Workshops
Interim Review
Coaching
Mentoring
Further options
Funding opportunities
Start
Funding opportunities
Funding opportunities
YIN Grants
Individual subsidies
KHYS funding
Third-party funding
Events
Start
Events
Events
YIN Day
Start
Events
YIN Day
YIN Day
Links
Start
Links
Links
Startpage
Home
Legals
Privacy Policy
Accessibility
Sitemap
search
search
Young Investigator Network
Startpage
We are YIN
We are YIN Members
Startseite
This is YIN
We are YIN
Professional Development
Funding opportunities
Events
Links
We are YIN
We are YIN Members
We are Alumni
We are ERC grantees
Publications
Membership
We are YIN Members
Dr. Dominik Schreiber
Computer Science
Automated Reasoning, Distributed Computing
Group:
Scalable Automated Reasoning (SAtRes)
dominik schreiber
∂
does-not-exist.
kit edu
satres.kikit.kit.edu/schreiber/
