Skip to content
View pedrodlafaria's full-sized avatar
1 follower · 3 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Block or report pedrodlafaria

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
pedrodlafaria/README.md

Introduction

My name is Pedro Faria and my background is mainly in Mathematics and Computer Science.


Main professional activities and interests

Software Development, AI, and Computer Science in general.

Popular repositories Loading

  1. civinexus civinexus Public

    New paradigms and models for Governance&Politics, Economics&Finance, Business, Law&Justice.

    Mathematica

  2. pedrodlafaria pedrodlafaria Public

    Config files for my GitHub profile.

  3. formal-software-verification formal-software-verification Public

    Experiments with Model Checking, SAT solvers, Promela and SPIN

    Mathematica

  4. electric-field-simulations electric-field-simulations Public

    Simulations of Electric Fields in Java

    Java

  5. computational-neuroscience computational-neuroscience Public

    Programs to simulate neural responses

    Mathematica