Register
|
Sign In
|
CodePlex Home
RSS Feed
Keep up with new
projects, releases, and more
telmas
User Stats
Member since:
August 16, 2009
Last visit:
August 1, 2011
Contact telmas
Coordinator on...
KUDA: Ramping Runtime Verif...
QED - A Proof Assistant for...
Personal Statement
Tayfun Elmas is 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
Recent Activity
(past 50 actions)
No activity in the last 60 days.
Projects I'm Following
No projects being followed.
Forks
You have no forks.
License Text Loading...
Updating...
© 2006-2012 Microsoft
|
Get Help
|
Privacy Statement
|
Terms of Use
|
Code of Conduct
|
Advertise With Us
|
Version 2012.2.15.18416