All Tags
Browse posts by topic.
-
OpportunityCalling Future PhDs: Summer Research Camp in Applied Optimization & AI
Apply for the MIT-UF-NEU 2026 Joint Summer Research Camp — a free, fully online 3-month program exploring computational methodologies for smart cities and transportation. Deadline: April 17, 2026.
April 8, 2026 4 min read -
Hands-On TutorialOperationalizing NASA's Product Verification Process in a Jupyter Notebook
The NASA Systems Engineering Handbook describes a rigorous product verification process. We operationalize it step by step, turning a flowchart into executable requirements and tests for a simple AI robot...
April 8, 2026 18 min read -
Opportunity
King Hussein Cancer Award: Young Investigator Award for Arab Researchers
The King Hussein Young Investigator Award recognizes early-career researchers (age 45 and younger) for impactful contributions to cancer research. Open to Arab investigators worldwide. Prize: $20,000 USD.
April 8, 2026 3 min read -
Research FoundationsWhat Systems Engineers Know That AI Developers Are Slowly Learning
NASA has spent sixty years learning how to build systems that work millions of miles from help. Two chapters from their Systems Engineering Handbook speak directly to the challenge of...
April 5, 2026 14 min read -
AI SafetyWhat Neural Networks See That We Don't
A traffic light becomes a acorn. The image looks identical to human eyes, but the neural network sees something completely different. This isn't science fiction — it's a real vulnerability,...
April 5, 2026 8 min read -
Academic WritingWhat I See When a Manuscript Lands on My Desk
Most desk rejects aren't about the research — they're about preparation. A handling editor shares patterns from reviewing submissions, a 30-minute pre-submission checklist, and thoughts on responsible AI use in...
April 4, 2026 12 min read -
Talk SummaryWhy Your AI Needs Scalable Verification and Validation
AI is everywhere, including places where failure isn't funny. A summary of how formal verification and validation methods are making AI systems provably safe, from aircraft collision avoidance to supply...
April 2, 2026 10 min read -
AI SafetyWould You Put Your Kids on an AI-Driven Bus?
Saudi Arabia is betting big on AI across transportation, energy, and healthcare. But as these systems move from pilot programs to daily life, a simple question demands an honest answer....
April 2, 2026 8 min read -
AI SafetyThree Papers That Changed How We Prove AI Won't Fail Us
Testing checks a few thousand scenarios. Verification proves correctness across every possible one. Three papers built this field.
March 30, 2026 15 min read -
Deep DiveFrom Simplex to Reluplex: How We Learned to Verify Neural Networks
Reluplex is one of those papers where the core idea is deeply satisfying once you see it. This post builds the intuition from the ground up.
March 30, 2026 20 min read -
Talk SummaryWhy AI Breaks and What ISE Can Do About It
A cancer detector that drops from 93% to 70% when it moves to a new hospital. A stop sign that becomes a speed limit sign with a few stickers. A...
February 17, 2026 12 min read
No posts found for this tag.
All tags