Chris M. N. Tofts | |
|---|---|
| Born | 1964 England |
| Alma mater | Clare College, Cambridge; University of Edinburgh |
| Known for | Process algebra, simulation model correctness |
| Scientific career | |
| Fields | Computer Science |
Chris M. N. Tofts (born 1964) is an English computer scientist.[1]