Artifacts and instruments
Projects
Projects, tools, experiments, and other concrete artifacts.
Section lens Projects in the Atlas A section-only view of 5 projects across the four modes.
Realization
Apply · Create
Invention
Explore · Create
Reflection
Apply · Consume
No records
Inquiry
Explore · Consume
-
durable
Art
A personal collection of watercolors and drawings—studies in observation, place, and imagination.
- Visual art
- Watercolor
- Drawing
- Creativity
- Realization
-
durable
PhD Thesis
Verification of behaviourist multi-agent systems by means of formally guided simulations — Paulo's PhD thesis (Universidade de São Paulo / Université Paris-Sud), with links to the full text and its FGS software.
- Multi-agent systems
- Software verification
- Simulation
- Formal methods
- Invention
- Inquiry
-
durable
Verum
An experimental Ruby library for finite-state machines that are both executable and formally verifiable.
- Formal methods
- Software verification
- Software tools
- Software engineering
- Invention
- Realization
Archived projects2
-
archive
Liberalis
A discontinued freemium website-building product for liberal professionals, honestly documented as a commercially unfeasible entrepreneurial attempt.
- Entrepreneurship
- Software tools
- Design
- Tools for thought
- Realization
-
archive
SmartNote 2
Paulo's first public software release: a Post-it-like note-taking application for Windows 98/XP, freeware, with thousands of users. The installer is withheld pending a malware and integrity review.
- Software tools
- Tools for thought
- Computing history
- User experience
- Realization