Siva Somayyajula

[say·it·like·it's·spelled]

I work under Frank Pfenning on developing formal logics and programming languages to model computational phenomena.