Robin Sharp

Robin Sharp publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Formal Methods in Verification, Network Security and Intrusion Detection and Embedded Systems Design Techniques.