Sort by
Refine Your Search
-
-studies have shown that full automation is possible in principle when formally verifying systems using reachability analysis. However, our pre-studies also showed that further research is needed
-
neurodevelopment with a focus on how NR2F1 dosage shapes the specification of neuronal lineages and the formation of cortical circuits. NR2F1 is a key transcription factor controlling embryonic neuronal development
-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
07.07.2026, Academic staff Join us to push the state of the art in formal verification and reachability analysis for discrete-space systems. Your research will focus on the applications of logical
-
for the research scholarships by the GHS, independent of nationality or place of work. The Foundation distinguishes between types of funding: research projects or research scholarships. The decisive factor is who is