The Synthetic Research Framework

My approach to Computer Science and STEM education is grounded in the active synthesis of primary literature. I believe that while computational tools offer efficiency, the core of innovation lies in human inquiry—asking the right questions, challenging existing proofs, and deriving solid, verifiable conclusions.

Rigorous Application over Automation

  • Literature Mastery: Deep dives into foundational texts and peer-reviewed journals to ensure every project is theoretically sound.
  • Critical Inquiry: Moving beyond "how" to "why" by formulating hypotheses that drive experimental design in model checking and aerospace physics.
  • Definitive Conclusions: Every simulation and line of code must culminate in a conclusion that is both reproducible and robust.
"True expertise is not found in the output of a prompt, but in the ability to prove, defend, and apply the underlying logic of the material." Gemini
LIVE CASE STUDY

The AI-Augmented Engineer

In today’s professional landscape, the barrier to entry isn't just knowing the syntax—it's knowing how to architect solutions. At TerraNova, our students bypass the "syntax struggle" and move directly into high-level systems thinking.

Project Spotlight: Student Architect Stack

Explore the full source code for our React + Firebase + Google Cloud environment.

View on GitHub

“The AI is the power tool; the student is the architect.”

Learning Objectives

Objective Core Competency
Computational Thinking Decomposing complex engineering problems into logic that AI can help execute.
Iterative Debugging Using AI to identify errors and understanding the "why" behind the fix.
API & Data Literacy Learning how to connect front-end interfaces with real-world data streams.
Prompt Engineering Developing the specific vocabulary required to direct AI in technical tasks.
Terranova Labs | Packet Capture Module

Terranova Labs

Advanced Network Analysis: Packet Capture Series

01. The Concept: Packet Capture

At the core of network forensics, Packet Capture (PCAP) is the process of intercepting and logging data traffic. By "printing" or viewing these packets, we move from theoretical networking to empirical observation.

02. AI Synergy: Gemini

Students can utilize Gemini to:

  • Decode Hex: Instantly translate raw packet data into readable protocols.
  • Log Analysis: Upload capture snippets to identify anomalies or security threats.
  • Syntax Help: Generate complex tcpdump or Wireshark filters on the fly.

03. Learning Objectives

  • Master the mechanics of the OSI model through live data.
  • Configure network interfaces for promiscuous mode.
  • Develop precision in filtering traffic to isolate specific incidents.

04. Learning Outcomes

Upon completion, students will be able to perform deep-packet inspection (DPI) and reconstruct multi-layer communication streams from raw capture files.

05. Strategic Roadmap

Short-Term: Identify handshake patterns (SYN/ACK) and recognize unencrypted traffic vulnerabilities.

Long-Term: Architect resilient network monitoring systems and lead incident response maneuvers.

Paula Cavalcanti | PhD Research Profile

Paula Cavalcanti

Computer Science Researcher • Formal Verification • M.S.C.S.

Bridging military precision with computational rigor. Focused on the formal verification of safety-critical autonomous systems and the advancement of aerospace simulation.

Primary Research

Formal Verification
Probabilistic Model Checking
Safety-Critical Systems
Aerospace Simulation
Algorithmic Reliability

Professional Milestones

Founder | TerraNova Engineering Lab

2025 – Present • Milford, MA

Architected a STEM research hub focusing on high-power rocketry and aerospace simulation. Lead mentor for Team Zenith in the American Rocketry Challenge.

Technical Leadership | U.S. Military Veteran

Navy & Air Force Service

Managed mission-critical RF communications and technical logistics, applying disciplined systems-thinking to complex infrastructure challenges.

Research Philosophy

"Verification is not just a technical constraint; it is an ethical imperative. My work ensures that autonomous systems—whether in flight or in infrastructure—operate within provable safety bounds for the common good."
© 2026 Paula Cavalcanti | Terranova Engineering Lab
Built for the Common Good through Computational Rigor.

Contact us

Have a question or want to book an appointment? Contact us today!

Zukunftsmacher - Future Makers

Pilot the past. Engineer the future.

Zukunftsmacher - Future Makers

Welcome to TerraNova Engineering Lab. We connect the ground beneath our feet to the cosmos above through hands-on, project-based learning.