-
technology for bio- and chemical transformations, separations, purifications and formulation applied to pharmaceuticals manufacture; modelling of processing steps and whole processes to support innovation
-
, robot-human interaction, trustworthy AI, explainable AI, large language models, quantum computing.
Searches related to model checking
Enter an email to receive alerts for model-checking positions