Skip to content
Ron Picard

Ron Picard

Data Science Is A Way Of Life

  • Home
  • About Me – Ron Picard
  • Blog
  • Aviation
    • Private Pilot
  • Mathematics
    • Formal Methods
    • Computer Science
    • Machine Learning
  • Engineering
    • Cyber-Physical Systems
    • Software Verification & Validation
    • Software Engineering
    • Electrical Engineering
    • Machine Learning
  • Projects
    • Vanderbilt University
    • Personal
  • Publications
  • Visit My GitHub Page
  • Visit My LinkedIn Page
  • Subscribe
  • Privacy Policy
Scroll down to content

Posts

Posted on May 5, 2021May 5, 2021

Skyborg ACS Has Successful First Flight

https://www.aflcmc.af.mil/News/Article-Display/Article/2596038/skyborg-acs-has-successful-first-flight/

Posted on March 29, 2021April 16, 2021

4th Solo

Posted on November 8, 2020March 6, 2021

Second Solo

Starting The Engine

Radio Call

Living The Dream

Posted on November 8, 2020March 6, 2021

First Solo

Solo Landing

Post Solo Celebration

Posted on November 3, 2019March 6, 2021

Formal Methods 101: Induction

Posted on October 21, 2019March 6, 2021

Formal Methods 101: Formal Systems

Posted on October 15, 2019March 6, 2021

Formal Methods 101: Decidability

Posted on October 8, 2019March 6, 2021

Formal Methods 101: Complexity Theory

Posted on October 8, 2019March 6, 2021

Formal Methods 101: Satisfiable Modulo Theories (SMT)

Posted on October 5, 2019March 6, 2021

Formal Methods 101: Boolean Satisfiability (SAT)

Posts navigation

Page 1 Page 2 … Page 4 Next page

Newsletter

Recent Posts

  • Skyborg ACS Has Successful First Flight
  • 4th Solo
  • Second Solo
  • First Solo
  • Formal Methods 101: Induction

Archives

  • May 2021
  • March 2021
  • November 2020
  • November 2019
  • October 2019
  • August 2019
  • May 2019
  • April 2019
  • March 2019
  • January 2019
  • December 2018

Login

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org

© Ronald Picard. All Rights Reserved. | Privacy Policy

Proudly powered by WordPress