4:["$","div",null,{"className":"min-h-screen bg-white flex flex-col","children":[["$","div",null,{"className":"px-6 pt-6 pb-4 border-b border-gray-100","children":[["$","div",null,{"className":"flex items-center gap-1.5 text-xs text-gray-400 mb-4","children":[["$","a",null,{"href":"/","className":"hover:text-[#26a69a] transition-colors","children":"Market"}],["$","span",null,{"children":"›"}],["$","span",null,{"className":"text-gray-600","children":"Andrew Martin (computer scientist)"}]]}],["$","div",null,{"className":"text-[10px] text-gray-400 uppercase tracking-widest mb-1","children":"Company Profile"}],["$","h1",null,{"className":"text-2xl font-bold text-gray-900","children":"Andrew Martin (computer scientist)"}],null]}],["$","div",null,{"className":"flex-1 px-6 py-6","children":[["$","p",null,{"className":"text-sm text-gray-600 leading-relaxed mb-8","children":"\n\nAndrew Martin is a British computer scientist at the University of Oxford, England, where he is Professor of Systems Security, Director of the Centre for Doctoral Training in Cyber Security (2013–2023) and deputy director and lecturer in Software Engineering Programme.\nHe is a member of the Oxford University Department of Computer Science."}],["$","div",null,{"className":"columns-1 md:columns-2 gap-10","children":[["$","div","0",{"className":"mb-8 break-inside-avoid","children":[["$","div",null,{"className":"text-xs font-semibold text-gray-400 uppercase tracking-wide mb-3 border-b border-gray-100 pb-1","children":"Education"}],["$","div",null,{"className":"text-sm text-gray-600 leading-relaxed wiki-content","dangerouslySetInnerHTML":{"__html":"He obtained BA in Mathematics and Computation (1986–1989) and DPhil in Machine-Assisted Theorem Proving for Software Engineering (1991–1994) from the University of Oxford. ==Career=="}}]]}],["$","div","1",{"className":"mb-8 break-inside-avoid","children":[["$","div",null,{"className":"text-xs font-semibold text-gray-400 uppercase tracking-wide mb-3 border-b border-gray-100 pb-1","children":"Career"}],["$","div",null,{"className":"text-sm text-gray-600 leading-relaxed wiki-content","dangerouslySetInnerHTML":{"__html":"After his first degree, he joined Praxis High Integrity Systems, Bath as Industrial Software Engineer. After his DPhil, he became Research Fellow at the Software Verification Research Centre in the University of Queensland in Australia. Before taking up his current post in 1999, he was briefly a lecturer in the University of Southampton. ==Book=="}}]]}],["$","div","2",{"className":"mb-8 break-inside-avoid","children":[["$","div",null,{"className":"text-xs font-semibold text-gray-400 uppercase tracking-wide mb-3 border-b border-gray-100 pb-1","children":"Book"}],["$","div",null,{"className":"text-sm text-gray-600 leading-relaxed wiki-content","dangerouslySetInnerHTML":{"__html":"In 2025, Andrew Martin has written a book with the title Securing the Digital Frontier Cyber Security for Responsible Citizens and Strategic Thinkers. You can order this book from . ==Publications=="}}]]}],["$","div","3",{"className":"mb-8 break-inside-avoid","children":[["$","div",null,{"className":"text-xs font-semibold text-gray-400 uppercase tracking-wide mb-3 border-b border-gray-100 pb-1","children":"Publications"}],["$","div",null,{"className":"text-sm text-gray-600 leading-relaxed wiki-content","dangerouslySetInnerHTML":{"__html":"Martin's publications cover software engineering, security, trusted computing in general and formal methods in particular ==References=="}}]]}]]}],"$Lf"]}],"$L10"]}]