Tim Whiting Email & Phone Number

Provo, Ut, Us

Provo, Ut, Us

Provo, Utah, United States

Researching practical approaches for control flow analysis of functional languagesApplying new control flow analysis techniques to optimizations and language server extensions

Idaho Falls, Idaho, United States

Co-authored: - "A Comparison of Three Types of Computer-Based Procedures: An Experiment Using the Rancor Microworld Simulator"- "Rancor Computer-based Procedures – a Framework for Task Level Human Performance Data Collection"Prototyped computer-based procedures to aid research for higher levels of automation in nuclear control roomsArchitected a more modular simulator for nuclear control room operations evaluationDesigned an automated system for evaluating human factors… Show more Co-authored: - "A Comparison of Three Types of Computer-Based Procedures: An Experiment Using the Rancor Microworld Simulator"- "Rancor Computer-based Procedures – a Framework for Task Level Human Performance Data Collection"Prototyped computer-based procedures to aid research for higher levels of automation in nuclear control roomsArchitected a more modular simulator for nuclear control room operations evaluationDesigned an automated system for evaluating human factors of procedures with a simulator in the loop Show less

Utah, United States

Published: "Confronting barriers to human-robot cooperation: balancing efficiency and risk in machine behavior"Co-authored:- "A Method for Designing Autonomous Robots that Know Their Limits"- "Robot Proficiency Self-Assessment Using Assumption-Alignment Tracking"Supervised and authored two user studies evaluating strategic differences in human-robot and human-human collaborative settingsCreated a robust robotic system that interacts with humans in strategic games

Greater Pittsburgh Area

Designed and developed an embedded system and a computer vision application to verify the timing of camera frame triggering- Used computer vision and machine learning techniques to identify frame numbers and dropped frames in real time- Created an application to easily visualize timing issues related to dropped frames and variations in desired and actual frame timings

Architected C++ program for a multiple-mission, multiple-UAV flight path planner based on MATLAB research prototype

Helped students understand and program AI algorithms

Designed a toolkit for inserting and detecting SEUs 100x faster in Stratix 10 FPGAsCreated regression tests for Arria 10 FPGAsResearched ways to accelerate machine learning

Co-authored a paper published in "Transactions on Nuclear Science" entitled"Dynamic SEU Sensitivity of Designs on Two 28-nm SRAM-based FPGA Architectures"Created parsers for circuit definitions using JAVACC and ANTLRSped up an industrially used Java circuit graph processing application by 144x, simultaneously decreasing memory usage by 21xPorted several drivers written in C to an embedded platform to accelerate testing reliability of Altera FPGAs by up to… Show more Co-authored a paper published in "Transactions on Nuclear Science" entitled"Dynamic SEU Sensitivity of Designs on Two 28-nm SRAM-based FPGA Architectures"Created parsers for circuit definitions using JAVACC and ANTLRSped up an industrially used Java circuit graph processing application by 144x, simultaneously decreasing memory usage by 21xPorted several drivers written in C to an embedded platform to accelerate testing reliability of Altera FPGAs by up to 1000xCreated automated testing and analysis scripts in Python and GoCreated digital circuits using VHDL and Verilog Show less

Designed and programmed a tool to help with human factors evaluationCo-authored: "ApplyingHuman Factors Evaluation and Design Guidance to a Nuclear Power Plant Digital Control System."- Appendix A describes the tool that another intern and I programmed

Doctorate, Computer Science

Master'S Degree, Computer Science, 4.0

Bachelor’S Degree, Computer Engineering, 3.94

Activities and Societies: Eta Kappa Nu and Tau Beta Pi (engineering honors societies) Minors in computer science and mathematics