telmas

user stats

Member SinceAugust 16, 2009
Last VisitDecember 30, 2012

Contact

coordinator for

KUDA: Ramping Runtime Verification with GPU Computing
QED - A Proof Assistant for Concurrent Programs

telmas

personal statement

Tayfun Elmas is a software engineer at Google Inc.
Previously, Tayfun was a research scientist at the University of California, Berkeley. His research interests include formal methods for program analysis and verification, design, analysis and verification of concurrent software.

Home page: http://sites.google.com/site/tayfunelmas/
Email: tayfunelmas@gmail.com

activity stream

No activity in the last 60 days.

projects i'm following

No projects being followed.

forks

No forks.