Ramsay Taylor
Formal Methods Engineering Lead in Ioe @Input Output Group
Sheffield, GB
EMAILS
MOBILE NUMBERS
+91 *********19
Signup · Get unlimited contacts
WORK HISTORY
Jul 2025 — Present
Formal Methods Engineering Lead in Ioe @Input Output Group
View department →
EDUCATION
2007 — 2012
The University of Sheffield
PhD, Computer science
2000 — 2003
University of Kent
BSc, Computer science
SKILLS
Machine LearningLinuxElixirEmbedded SystemsResearchJavascriptWeb DevelopmentC++Software DesignSoftware EngineeringCProgrammingEclipseAlgorithmsTeachingSubversionOopMysqlDistributed SystemsPhpGitHtmlJavaSoftware DevelopmentPythonLatexComputer ScienceErlang
ABOUT RAMSAY TAYLOR
Formal Methods Engineering Lead in IOE
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.