Lisandra Silva

Lisandra Silva Email and Phone Number

Formal Verification Engineer @ Runtime Verification Inc
illinois, united states
Lisandra Silva's Location
Greater Braga Area, Portugal
Lisandra Silva's Contact Details

Lisandra Silva work email

Lisandra Silva personal email

n/a
About Lisandra Silva

Lisandra Silva is a Formal Verification Engineer at Runtime Verification Inc. She possess expertise in criptografia, formal methods, haskell, java, algorithms and 5 more skills.

Lisandra Silva's Current Company Details
Runtime Verification Inc

Runtime Verification Inc

View
Formal Verification Engineer
illinois, united states
Website:
runtimeverification.com
Employees:
23
Lisandra Silva Work Experience Details
  • Runtime Verification Inc
    Formal Verification Engineer
    Runtime Verification Inc Jan 2022 - Present
    View
  • Universidade Do Minho
    Invited Assistant
    Universidade Do Minho Sep 2019 - Present
    Braga Area, Portugal
    View
  • Inesc Technology And Science - Associate Laboratory
    Researcher
    Inesc Technology And Science - Associate Laboratory Sep 2019 - Aug 2021
    Formal Verification : Proving liveness using Agda
    View
  • Oracle
    Intern
    Oracle Jun 2019 - Sep 2019
    Massachusetts, United States
    Formal Verification in distributed systems consensus protocols
    View
  • National Institute Of Informatics
    Intern
    National Institute Of Informatics Feb 2019 - May 2019
    Tóquio, Japão
    Bidirectional transformations
    View
  • Inesc Technology And Science - Associate Laboratory
    Researcher
    Inesc Technology And Science - Associate Laboratory Nov 2018 - Feb 2019
    Braga E Região, Portugal
    Run-time verification in Embedded Systems
    View
  • Universidade Do Minho
    Undergraduate Student Researcher
    Universidade Do Minho Apr 2017 - Jun 2017
    Braga E Região, Portugal
    Alloy notation and toolset to model the semantics of a simple imperative language with rely/guarantee (R/G) assertions
    View

Lisandra Silva Skills

Criptografia Formal Methods Haskell Java Algorithms Object Oriented Programming Python Distributed Systems Javascript Software Development

Lisandra Silva Education Details

Frequently Asked Questions about Lisandra Silva

What company does Lisandra Silva work for?

Lisandra Silva works for Runtime Verification Inc

What is Lisandra Silva's role at the current company?

Lisandra Silva's current role is Formal Verification Engineer.

What is Lisandra Silva's email address?

Lisandra Silva's email address is li****@****ctec.pt

What schools did Lisandra Silva attend?

Lisandra Silva attended Universidade Do Minho, Universidade Do Minho.

What skills is Lisandra Silva known for?

Lisandra Silva has skills like Criptografia, Formal Methods, Haskell, Java, Algorithms, Object Oriented Programming, Python, Distributed Systems, Javascript, Software Development.

Who are Lisandra Silva's colleagues?

Lisandra Silva's colleagues are Tina Tusing, Gregory Makodzeba, Burak Bilge Yalçinkaya, Melissa Baber, Spencer Xiao, Daniel Cumming, Lucas Martinelli Tabajara.

Not the Lisandra Silva you were looking for?

View similar profiles

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.