Skip to content
Ron Picard

Ron Picard

Data Science Is A Way Of Life

  • Home
  • About Me
  • 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 November 8, 2020November 8, 2020

Second Solo

Starting The Engine

Radio Call

Living The Dream

Posted on November 8, 2020November 8, 2020

First Solo

Solo Landing

Post Solo Celebration

Posted on November 8, 2020November 12, 2020

Flight Hours

Aircraft Make & ModelFlight Hours
PA 2829.1
C1521.1
Total30.2
Current As Of 2020-11-12
Posted on November 3, 2019November 8, 2020

Formal Methods 101: Induction

Posted on October 21, 2019November 8, 2020

Formal Methods 101: Formal Systems

Posted on October 15, 2019November 8, 2020

Formal Methods 101: Decidability

Posted on October 8, 2019November 8, 2020

Formal Methods 101: Complexity Theory

Posted on October 8, 2019November 8, 2020

Formal Methods 101: Satisfiable Modulo Theories (SMT)

Posted on October 5, 2019November 8, 2020

Formal Methods 101: Boolean Satisfiability (SAT)

Posted on October 5, 2019November 8, 2020

Formal Methods 101: Second-Order (and Higher-Order) Logic

Posts navigation

Page 1 Page 2 … Page 4 Next page

Newsletter

Recent Posts

  • Second Solo
  • First Solo
  • Flight Hours
  • Formal Methods 101: Induction
  • Formal Methods 101: Formal Systems

Archives

  • 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