Skip to content. Skip to main navigation.

avatar

Taylor Johnson

Name

[Johnson, Taylor]
  • Assistant Professor, Department of Computer Science & Engineering

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 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 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 twenty 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. Taylor's research advances and applies techniques and tools from control theory, embedded systems, formal methods, and software engineering.

Professional Preparation

    • 2008 BSEE Rice University  Department of Electrical and Computer Engineering
    • 2010 MSc University of Illinois at Urbana-Champaign  Department of Electrical and Computer Engineering  Coordinated Science Laboratory  Center for Reliable and High-Performance Computing
    • 2013 PhD University of Illinois at Urbana-Champaign  Department of Electrical and Computer Engineering  Coordinated Science Laboratory  Center for Reliable and High-Performance Computing

Appointments

    • Aug 2016 to Present Assistant Professor
      Vanderbilt University   Electrical Engineering and Computer Science
    • Sept 2013 to Aug 2016 Assistant Professor
      University of Texas at Arlington   Computer Science & Engineering

Memberships

  • Professional
    • Dec 2014 to Present American Institute of Aeronautics and Astronautics (AIAA)
    • Dec 2004 to Present Institute of Electrical and Electronics Engineers (IEEE)
    • June 2003 to Present Association for Computing Machinery (ACM)

Awards and Honors

    • Jun  2012 Best Paper sponsored by International Federation for Information Processing (IFIP)
      Description:

      Best Paper Award of Three Collocated Conferences, IFIP International Conference on Formal Techniques for Distributed Systems: Joint International Conference of 14th Formal Methods for Open Object-Based Distributed Systems and 32nd Formal Techniques for Networked and Distributed Systems (FORTE/FMOODS 2012), of the 7th International Federated Conference on Distributed Computing Techniques (DisCoTec 2012), KTH, Stockholm, Sweden.

    • Feb  2011 Best Paper sponsored by Institute of Electrical and Electronics Engineers (IEEE)
      Description:

      Best Paper Award, 2nd IEEE Power and Energy Conference at Illinois (PECI), Urbana, IL.

Research and Expertise

  • Software Engineering

    Techniques like formal verification and validation for developing reliable software systems that interact with the physical world, such as real-time embedded control systems and cyber-physical systems.

  • Cyber-Physical Systems

    Design, modeling, analysis, and development of real-time, networked embedded systems and control systems, what are today called cyber-physical systems (CPS) using techniques from hybrid systems and distributed systems.

Publications

      Conference Paper 2013
      • Shamina Hossain, Sairaj Dhople, Taylor T. Johnson, "Reachability Analysis of Closed-Loop Switching Power Converters", In Proceedings of the 4th IEEE Power and Energy Conference at Illinois (PECI 2013), Urbana, Illinois, USA, February 2013.

        {Conference Paper} [Refereed/Juried]
      2013
      • Sergiy Bogomolov, Alexandre Donze, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle, "Abstraction-Based Guided Search for Hybrid Systems", In Proceedings of the 20th International SPIN Symposium on Model Checking of Software (SPIN 2013), Stony Brook, New York, USA, July 2013.

        {Peer Reviewed} [Refereed/Juried]
      2013
      • Taylor T. Johnson, Sayan Mitra, "Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems with Applications to Aerospace Systems", In Proceedings of the AIAA Infotech at Aerospace Conference (AIAA Infotech 2013), AIAA, vol. , Boston, MA, August 2013.

        {Exhibition Catalog} [Non-refereed/non-juried]

      Conference Paper 2012
      • Parasara Sridhar Duggirala, Taylor T. Johnson, Adam Zimmerman, Sayan Mitra, "Static and Dynamic Analysis of Timed Distributed Traces", In Proceedings of the 33rd IEEE Real-Time Systems Symposium (RTSS 2012), San Juan, Puerto Rico, pp. 173-182, December 2012.

        {Peer Reviewed} [Refereed/Juried]
      2012
      • Taylor T. Johnson, Jeremy Green, Sayan Mitra, Rachel Dudley, Richard Scott Erwin, "Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems", Chapter in Proceedings of the 18th International Conference on Formal Methods (FM 2012), Springer Berlin Heidelberg, vol. 7436, Paris, France, pp. 252-266, August 2012.

        {Peer Reviewed} [Refereed/Juried]
      2012
      • Taylor T. Johnson, Sayan Mitra, "A Small Model Theorem for Rectangular Hybrid Automata Networks", In Proceedings of the IFIP International Conference on Formal Techniques for Distributed Systems, Joint 14th Formal Methods for Open Object-Based Distributed Systems and 32nd Formal Techniques for Networked and Distributed Systems (FORTE/FMOODS 2012), Stockholm, Sweden, June 2012. (Best Paper Award for DisCoTec)

        {Peer Reviewed} [Refereed/Juried]
      2012
      • Taylor T. Johnson, Zhihao Hong, Akash Kapoor, "Design Verification Methods for Switching Power Converters", In Proceedings of the 3rd IEEE Power and Energy Conference at Illinois (PECI 2012), Urbana, Illinois, USA, pp. 1-6, February 2012.

        {Conference Paper} [Non-refereed/non-juried]
      2012
      • Taylor T. Johnson, Sayan Mitra, "Parameterized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study", In Proceedings of the 3rd ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2012), Beijing, China, pp. 161-170, April 2012.

        {Peer Reviewed} [Refereed/Juried]

      Conference Paper 2011
      • Taylor T. Johnson, Albert Hoefel, "Turbo-Alternator Stalling Protection using Available Power Estimate", In Proceedings of the 2nd Annual IEEE Power and Energy Conference at Illinois (PECI 2011), Urbana, Illinois, USA, February 2011. (Best Paper Award)

        {Exhibition Catalog} [Refereed/Juried]
      2011
      • Taylor T. Johnson, Sayan Mitra, Cedric Langbort, "Stability of Digitally Interconnected Linear Systems", In Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference (CDC ECC 2011), Orlando, Florida, USA, pp. 2687-2692, December 2011.

        {Conference Paper} [Non-refereed/non-juried]

      Conference Paper 2010
      • Taylor T. Johnson, Sayan Mitra, "Safe Flocking in Spite of Actuator Faults", Chapter in 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2010), Springer Berlin / Heidelberg, vol. 6366, pp. 588-602, September 2010.

        {Peer Reviewed} [Refereed/Juried]
      2010
      • Taylor T. Johnson, Sayan Mitra, Karthik Manamcheri, "Safe and Stabilizing Distributed Cellular Flows", In 30th IEEE International Conference on Distributed Computing Systems (ICDCS 2010), Genoa, Italy, pp. 577-578, June 2010.

        {Peer Reviewed} [Refereed/Juried]

Courses

      • CSE 2312-002 Computer Organization and Assembly Language Programming

        Computer organization from the viewpoint of software, including: the memory hierarchy, instruction set architectures, memory addressing, input-output, integer and floating-point representation and arithmetic. The relationship of higher-level programming languages to the operating system and to instruction set architecture are explored. Some programming in an assembly language. Prerequisite: CSE 1320.

      • CSE 6359-001 Special Topics in Advanced Systems and Architecture: Cyber-Physical Systems

        Cyber-physical systems (CPS) involve the coordination of cyber (software) and physical state, and are becoming prevalent due to the proliferation of devices for control (sensing / actuation), computation, and communications. This seminar course introduces CPS fundamentals, covering relevant topics on: embedded systems (real-time operating systems), control theory (control systems modeling, analysis, and design), networking (layers, protocols, and wireless), reliability, and software engineering (testing and formal analysis of CPS).

        Spring - Regular Academic Session - 2014 Download Syllabus Contact info & Office Hours
      • CSE 2312-002 Computer Organization and Assembly Language Programming

        Computer organization from the viewpoint of software, including: the memory hierarchy, instruction set architectures, memory addressing, input-output, integer and floating-point representation and arithmetic. The relationship of higher-level programming languages to the operating system and to instruction set architecture are explored. Some programming in an assembly language. Prerequisite: CSE 1320.

        Fall - Regular Academic Session - 2013 Download Syllabus Contact info & Office Hours1 Link