Nathan Allen
Expertise in synchronous programming languages, formal methods, and embedded systems, which have been applied to a wide range of topics such as biomedical embedded systems, healthcare, and AI on the edge.
Expertise in synchronous programming languages, formal methods, and embedded systems, which have been applied to a wide range of topics such as biomedical embedded systems, healthcare, and AI on the edge.