Georgios Argyris

PhD Student, Department of Applied Mathematics and Computer Science
Formal Methods

Emailgeoar@dtu.dk
Websitehttp://www.compute.dtu.dk

Richard Petersens Plads, 324, 183
2800 Kgs. Lyngby
Denmark

If you made any changes in Pure these will be visible here soon.

Projects

1 Active

Formal Techniques and Tools for the Reduction of Biological Systems

Argyris, G., Lluch Lafuente, A. & Vandin, A.

01/02/2020 → 31/01/2023

Project: PhD

Your message has successfully been sent.

Your message was not sent due to an error.

If you made any changes in Pure these will be visible here soon.