Eric Smith

@ewsmith

formal methods researcher, CEO of Kestrel Institute