معرفی
Sarah Swartwood is a Senior Lecturer in the School of Architecture, Technology and Engineering at the University of Brighton, affiliated with the Computing and Mathematical Sciences Research Excellence Group. Her work bridges computer science and mathematical logic, particularly in the domain of knot theory and visual languages.
Her research focuses on computational approaches to knot analysis and visualization. She explores formal methods such as quandle coloring and SAT solving to discriminate and encode knot structures. This interdisciplinary work combines theoretical mathematics with practical software tools for diagram sketching and re-generation.
The two recent publications from 2016 highlight her contributions to mathematical software and visual languages. Her work demonstrates a strong trend in applying computational logic to topological problems, particularly through automated reasoning and diagrammatic systems.
- No scientific awards listed.
There is no available information on student supervision, grants, or funded projects. However, her peer-reviewed contributions suggest active participation in research collaborations, particularly in the development of tools for mathematical computation and visualization.
Sarah Swartwood is involved in the Computing and Mathematical Sciences Research Excellence Group, indicating engagement with a team focused on advancing formal and computational methods in science and engineering.
