Technical Interests

• Distributed Systems and Computer Networks
  
• Formal Specification
• Verification
• Quantitative analysis
  

Projetcs

• Paleoprospec

Previous Projects