University of Cambridge - Interactive theorem proving and its applications.
Interests: Engagement with computers, Women in Science, Engineering, and Technology. Lecturer in Department of Applied Computing, University of Dundee, Scotland, UK.
Object-oriented languages, type systems, compilers, software generators, software evolution.
University of Udine - Computable set theory, logic in computer science, automated theorem proving.
Mississippi State University - Software engineering, software design, software testing, application of intelligent systems.
University of Salzburg - Application of mathematics to computer science, multi-agent systems, artificial neural networks, fuzzy reasoning, genetic algorithms, automated deduction in geometry, and semantical modelling
University of Groningen - computational neuroscience, image processing, pattern recognition, computer vision, parallel and high pefomance computing, and systolic algorithms.
University of Salzburg - Programming, software engineering, programming languages, performance and reliability of communication and computer systems, parallel and distributed algorithms, and distributed discrete event simulation.
University of Cambridge - Applications of mathematical logic and category theory to computer science, semantics of programming languages and type theories, formal logics for reasoning about program properties.
University of Pennsylvania. Programming languages, type systems, and distributed programming.
|