Chris Tofts
Chris M. N. Tofts | |
|---|---|
| Born | 1964 England |
| Died | 2024 |
| Nationality | British |
| 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) was an English computer scientist.