I am a computer scientist (but really an 'ex-mathematician') working primarily in what they call formal methods.
| BrE | British English is used by this user. |
 | This user has created on Wikipedia. |
I am a computer scientist (but really an 'ex-mathematician') working primarily in what they call formal methods.
| BrE | British English is used by this user. |
| This user has created several articles on Wikipedia. |