Skip to content
Research
People
OpenUAS
Publications
Positions
Ph.D. Positions
Postdoc Positions
Materials
Blog
Videos
Resources
Guidelines
Menu
Research
People
OpenUAS
Publications
Positions
Ph.D. Positions
Postdoc Positions
Materials
Blog
Videos
Resources
Guidelines
Resources
Laboratory Resources
Guidelines for working in the Laboratory for Temporal Logic
LaTeX, Git, and other Formal Tools Resources
Applied Formal Methods Course
Formal Methods in the Field
Qualification of Formal Methods Tools under DO-333
rise4fun: Formal Methods Tools for Software Engineering
loonwerks: Formal Methods at Rockwell Collins
Research Papers and Peer Review
How to Read a Paper
How to Give a Good Research Presentation
Springer: How to Peer Review
Springer’s “How to Peer Review” Online Tutorial
The Basics
How to Email a Professor
Addressing Subtle Acts of Exclusion
because “Inclusion is not a spectator sport”