User:Jamesjer

User of and contributor to PVS since 2000. Dabbler in several other formal methods tools. I was a CS professor for 8 years, now working in private industry.