Please complete the CAPTCHA to continue
A concise factual answer block for searchers comparing this professional profile.
(Michael) Anthony Smith is listed as Senior Software Engineer at D-RisQ at D-RisQ, based in Worcestershire, England, United Kingdom. AeroLeads shows a matched LinkedIn profile for (Michael) Anthony Smith.
(Michael) Anthony Smith previously worked as Senior Software Engineer at D-Risq and Senior Software Engineer at Deltaxml Ltd. (Michael) Anthony Smith holds Dphil In Software Engineering, Computer Science from University Of Oxford.
I am an experienced software engineer who is familiar with the Java and XSL programming languages, and have a working knowledge of several others including Perl and the C family of languages. In addition to the software engineering, I have a mathematical background that includes both research into and the practical use of formal methods, such as CSP, Z, and UTP. Finally, having worked in the safety critical field for many years I have a good understanding of what is required for high integrity software systems.
Listed skills include Xml, Java, Xsl, Software Engineering, and 6 others.
Company context helps verify the profile and gives searchers a useful next step.
A career timeline built from the work history available for this profile.
Malvern Hills Science Park, Geraldine Road, Malvern, Worcestershire, Wr14 3Sz
My work at D-RisQ, a company that provides tools and consultancy for high integrity software, ranges from designing software architectures, to project support, research and development, and mentoring apprentices.
Malvern Hills Science Park, Malvern, Uk.
I worked as a senior software engineer in DeltaXML, a company that develops XML comparison products. My roles included: technical leadership; research; full life-cycle development; customer support; and systems administration. In particular, I was the technical lead for the development of their ‘DITA Compare’ document comparison product.
Malvern Technology Centre, Malvern, Uk.
My roles during this period of employment included: technical management; applied high integrity research; consultancy; and tool development.
Malvern Technology Centre, Malvern, Uk.
My roles during this period of employment included: safety related project support; practical use of formal methods; and reviewing software engineering standards.
Malvern Technology Centre, Malvern, Uk.
My roles during this period of employment included: security vulnerability analysis; systems administration; and quality management.
Malvern Technology Centre, Malvern, Uk.
My roles during this period of employment included: formal modelling; prototyping; and project administration.
Thesis Title: Embedding an Object Calculus in the Unifying Theories of Programming
Quick answers generated from the profile data available on this page.
(Michael) Anthony Smith works for D-RisQ.
(Michael) Anthony Smith is listed as Senior Software Engineer at D-RisQ at D-RisQ.
(Michael) Anthony Smith is based in Worcestershire, England, United Kingdom while working with D-RisQ.
(Michael) Anthony Smith has worked for D-Risq, Deltaxml Ltd, Qinetiq, Defence Evaluation And Reseaerch Agency, and Defence Research Agency.
You can use AeroLeads to view verified contact signals for (Michael) Anthony Smith at D-RisQ, including work email, phone, and LinkedIn data when available.
(Michael) Anthony Smith holds Dphil In Software Engineering, Computer Science from University Of Oxford.
(Michael) Anthony Smith is listed with skills including Xml, Java, Xsl, Software Engineering, Research, Computer Science, Formal Languages, and Safety Critical Software.
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial Search contactsCheck these profiles if this is not the (Michael) Anthony Smith you were looking for.
