Algorithms

In this third and last IdElement installment on the U-Prove CTP series, we once again feature Dr. Stefan Brands, who spends an hour describing the crypto behind U-Prove. Wrapping your head around all the mathematical details may require some effort, but if you are interested in this space it is…

Welcome to the latest installment of C9 Conversations. For this episode, we were very fortunate to get a chance to converse openly with one of the world’s preeminent mathematical logicians, the great Yuri Gurevich. Dr. Gurevich is Professor Emeritus of Electrical Engineering and Computer…

The Spec# programming system is a new attempt at a more cost effective way to develop and maintain high-quality software.  Spec# is pronounced "Spec sharp" and can be written (and searched for) as the "specsharp" or "Spec# programming system".  The Spec#…

Mike Swanson is at it again. You've seen Mike on Channel 9 before and you've probably used his SWF to XAML converter that he wrote a while back. His latest side project promises to be quite useful for conference owners who have the complex task of planning sessions for big technical events…

While in Copenhagen recently, I was able to spend some time with computer scientist Peter Sestoft. He's currently a professor at the Copenhagen IT University and he and colleagues have created an awesome collection library for managed code (CLI), C5.C5 is a library of generic collection classes…