Entities / Technology
Viper.
Programming Language and Verification Infrastructure
- Reports this week
- 0
- Active events
- 0
- Connections
- 9
What's happening
Reports per dayLast 90 days
90 days agoDrag either end to show only events that began in that periodToday
Earlier this month
One to three months ago
Gone quiet
No new reports in 90+ daysNo events began in the chosen period. Widen it, or reset.
Around Viper this week
News at the entities that move Viper most-
Columbia University StructuralGuanlan Hu led research on food processing and consumer spending involving the University of Toronto and Columbia University.Moves Viper
-
Nigerian Air Force StructuralAirbus Helicopters is supplying new AW-109 and H-125 platforms to the Nigerian Air Force for modernization.Moves Viper
-
BorgWarner StructuralTrump's pledge to unleash oil and gas is reported to benefit US stocks, specifically benefiting Izilo.Moves Viper
-
Lithuania Shared contextLithuania is demonstrating how its production capabilities are aiding Ukraine's defense, including a specific demonstration of the Viper platform, while also strengthening NATO's eastern flank.Moves Viper
-
Josh Stein OperationalState grant helps Chimney Rock businesses as recovery efforts gain traction with official tours and mayoral discussions.Moves Viper
Connections
The 5 strongest of 9, analyzed from the reporting. The bars show how strongly a change on one side reaches the other.-
Columbia University Structural
Columbia University licenses the technology (Viper) to DarwinHealth, establishing a formal dependency.
-
Nigerian Air Force Structural
Viper supplies equipment destined for the Nigerian Air Force's fleet expansion.
-
Josh Stein Operational
Josh Stein's budget proposal formally incorporates plans for Viper expansion.
-
BorgWarner Structural
Viper supplies latest-generation silicon carbide power switches to BorgWarner.
-
Lithuania Shared context
The Viper platform was demonstrated within a Lithuanian military area.