research scientist

  1. News

    Windows 7 Verve: A Type Safe Operating System

    Link Removed(an OS written in managed code used for research purposes) has provided several very useful research results and opened new avenues for exploration in operating system design. Recently, Link Removed that takes a new approach to building an OS stack with verifiable and type safe...
Back
Top