Name:Gerardo Schneider

Country:Sweden

Affiliation:University of Gothenburg

Research interests:Formal Methods (Static and Runtime Verification, Model Checking, Real-time Verification), Privacy, (Legal) Contract Analysis