Butterfly

by Rodrigo

submit your photo


Hall of Fame
View past winners from this year

Please participate in Meta
and help us grow.

101 reputation
2
bio website cs.ox.ac.uk/people/…
location Oxford, United Kingdom
age
visits member for 1 year, 5 months
seen 2 hours ago

I am a PhD student with strong interest in research.

My research interests are Semantics, Programming Languages, Model Checking, Static Analysis, Abstract Interpretation, Concurrency, Process Algebra, Declarative Programming.


This user has not answered any questions
This user has not asked any questions
This user has not participated in any tags
TeX - LaTeX 6,236 rep 735
Computer Science 191 rep 6
Academia 111 rep 3
Ask Ubuntu 108 rep 6
Stack Overflow 101 rep 3

0 Votes Cast

This user has not cast any votes