anthonywlin
My blogs
| Gender | Male |
|---|---|
| Industry | Science |
| Occupation | Associate Professor in Programming Language |
| Location | Oxford, Oxfordshire, United Kingdom |
| Introduction | Welcome to my blog! By profession, I am a computer scientist researching in the development of principled techniques that can make software less error-prone, and more efficient. To this end, I look at fields like constraint solving, program analysis, and formal verification, web security, web performance optimisation, and concurrent systems. My secret weapons include automata, logic, algorithms, complexity, and computability. |
| Interests | Computer-Aided Verification, Program Analysis, Constraint Solving, Concurrent Systems, Computer Security, Computer-Aided Personalised Education, Databases, Computational Learning, Logic, Automata, Complexity Theory, Algorithms, Computability, Agent-Based Modelling, Philosophy of Science. |