A team of researchers is working to develop bug-free operating systems and software from the hardware up using verified code systems.
Tag "Computer Science"
How do you define reality? For Neo in The Matrix, this is a hard question. Born into a virtual reality system so realistic that robots use it to ensnare human society, Neo struggles to come to terms that his world
Richard Lethin YC ‘85 fell in love with science at a young age as he watched his father work to design radar. He has carried this enthusiasm with him throughout his life, from his time at Yale to his work as an engineer, and now to his role as president of Reservoir Labs.
Groundbreaking Navigation Technology for Visually Impaired: Yale engineer’s collaboration with theater company yields innovative device
Despite its small size and simple appearance, Animotus is simultaneously a feat of engineering, a work of art, and a potentially transformative community service project. Adam Spiers, a postdoctoral researcher in Yale University’s department of mechanical engineering, has developed a
A new algorithm allows computer scientists to unlock the secrets of medieval manuscripts. From pen to pixel, researchers are using science to better understand historical texts.
By recording the brain signals of one person in India with a computer system, converting them into electrical brain stimulations, and relaying them to recipients in France, one research team developed a noninvasive method of brain-to-brain communication.
Many view mathematics and language as two distinct areas of study. But what if math could shed light on the significance of the speech patterns of someone at risk for developing psychosis? A recent computer algorithm developed by Guillermo Cecchi of IBM and Cheryl Corcoran and Gillinder Bedi of Columbia University demonstrates that mathematical speech analysis can lead to some fascinating findings.
A new software program from Yale computer science professor Julie Dorsey and her company, Mental Canvas, blends together art and science, allowing people to sketch in 3D.
In Fall 2015, professor Brian Scassellati will be leading CS50 at Yale, a new computer science course. The introductory level course aims to make computer science more accessible to Yalies across all disciplines.
A new form of digital philanthropy is using a computer’s unused processing power to help support research on malaria, AIDS and cancer. Yale alum Matthew Blumberg (YC ‘90) is the founder of a nonprofit organization that allows people to volunteer their spare computing power to provide supercomputing resources for scientific research.