I am looking for graduate
students with interest in
Programming languages, verification and synthesis
Concurrent and distributed algorithms.
Strong motivation to grow and enthusiasm to learn
Background in programming languages, and operating systems
Fluency in written and spoken English and communication skills
Ph.D. students will be fully
funded by stipend and social benefits.
interested to work on exciting projects in sunny California, please
send your resume and your thoughts about my previous publications to