Home / Prospective Students 

Available graduate student positions


I am looking for graduate students with interest in
      Programming languages, verification and synthesis
      Concurrent and distributed algorithms.

Requirements include
      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.

Students interested to work on exciting projects in sunny California, please send your resume and your thoughts about my previous publications to lesani@cs.ucr.edu.