-
vivo (e.g., brain organoids) and in vivo (e.g., mice) experimental models. Our Group collaborates with colleagues based in two international consortia: CHARGE and ENIGMA. Our research takes place in both
Searches related to model checking
Enter an email to receive alerts for model-checking positions