Xin Lu#
| I’m Xin, a first-year PhD student. My research focuses on formal methods (program verification) and concurrent systems (process algebra). |
| Role(s): | Tutor |
|---|---|
| Postgraduate Tutor | Yes |
| E-Mail: | Xin.Lu1@anu.edu.au |
|
| I’m Xin, a first-year PhD student. My research focuses on formal methods (program verification) and concurrent systems (process algebra). |
| Role(s): | Tutor |
|---|---|
| Postgraduate Tutor | Yes |
| E-Mail: | Xin.Lu1@anu.edu.au |