-
trials (e.g., diet, FMT), and ex vivo gut models enabling advanced multi-omics analyses of these samples. In addition the lab also maintains a large culture collection, partially linked to genomic data
-
diverse academic backgrounds to contribute to our projects in areas such as: Network Security, Information Assurance, Model-driven Security, Cloud Computing, Cryptography, Satellite Systems, Vehicular
Searches related to model checking
Enter an email to receive alerts for model-checking positions