andreaskatis Goto Github PK
Name: Andreas Katis
Type: User
Company: NASA Ames Research Center
Bio: Hi there! I am a Computer Scientist for KBR, Inc at NASA Ames Research Center. My main line of work is in the application of Formal Methods in Software.