Software Engineer
CurrentMaintenance of an implementation of the filesystem manipulation primitives defined in the POSIX standard.Development and maintenance of the C standard library shipped by TrustInSoft.Static analysis of C programs and libraries using TrustInSoft's sound static analyzer.Development of C test suites for TrustInSoft's sound static analyzer.