Taylor T Johnson

ORCID iD
orcid.org/0000-0001-8021-9923
  • Also known as
  • Show details Hide details
Taylor Johnson,

Sources:
Taylor T Johnson (2015-05-04)

Taylor Thomas Johnson

Sources:
Taylor T Johnson (2015-05-04)

  • Keywords
  • Show details Hide details
formal methods,

Sources:
Taylor T Johnson (2014-06-29)

hybrid systems,

Sources:
Taylor T Johnson (2014-06-29)

distributed systems,

Sources:
Taylor T Johnson (2014-06-29)

cyber-physical systems,

Sources:
Taylor T Johnson (2014-06-29)

embedded systems,

Sources:
Taylor T Johnson (2014-06-29)

control systems,

Sources:
Taylor T Johnson (2014-06-29)

formal verification

Sources:
Taylor T Johnson (2014-06-29)

  • Websites
  • Show details Hide details
Homepage

Sources:
Taylor T Johnson (2015-05-04)

Lab Website

Sources:
Taylor T Johnson (2015-05-04)

Research Overview

Sources:
Taylor T Johnson (2015-05-04)

  • Other IDs
  • Show details Hide details
Scopus Author ID: 36237009800

Sources:
Scopus to ORCID (2014-06-29)

ResearcherID: E-8862-2015

Sources:
Clarivate Analytics (2015-05-04)

Biography

Taylor T. Johnson is an Assistant Professor of Computer Science and Engineering at the University of Texas at Arlington. Taylor completed his PhD in Electrical and Computer Engineering (ECE) at the University of Illinois at Urbana-Champaign in 2013, where he worked in the Coordinated Science Laboratory with Prof. Sayan Mitra. Taylor completed his MSc in ECE at Illinois in 2010, earned a BSEE from Rice University in 2008, and was a visiting research assistant at the Air Force Research Laboratory's Space Vehicles Directorate at Kirtland Air Force Base in 2011. Taylor worked in industry for Schlumberger at various times between 2005 and 2010 helping develop new downhole embedded control systems. Taylor's research focus is developing algorithmic techniques and software tools to improve the reliability of cyber-physical systems. Taylor has published over a dozen papers on these methods and their applications in areas like power and energy systems, aerospace, and robotics, two of which were recognized with best paper awards, from the IEEE and IFIP, respectively. Taylor's research aims to develop reliable embedded and cyber-physical systems by advancing and applying techniques and tools from control theory, embedded systems, formal methods, and software engineering.
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}}-{{group.getActive().startDate.day}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} |  ()
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
    Created:
No education added yet
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}}-{{group.getActive().startDate.day}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} |  ()
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
    Created:
No employment added yet
No Funding added yet
No publications added yet
    • review activity for ()
      ,
      • Review date
        Type
        Role
        Actions
      • Review identifier(s): 
        Convening organization: (, )
        Review subject:  {{peerReview.subjectContainerName.value}}.
        Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
        Created:
No publications added yet