Skip to content
View pedrodlafaria's full-sized avatar
0 followers · 3 following

Achievements

Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Arctic Code Vault Contributor
BetaSend feedback
Block or Report

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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, Computer-Assisted Reasoning, and Computer Science in general.

My past activities in AI have been carried out in a professional context, while heading the research department at AKKA Benelux (Brussels, Belgium). For that reason, you will not find anything here. If you are interested in looking at those projects (videos and descriptions) go to my Linkedin page and take a look at my Akka Research Benelux sections.

A common theme in my background is my interest in computer-assisted analysis and reasoning (using AI and other techniques). I am currently very interested in the development of AI Assistants using LLMs combined with other techniques.


Personal projects on GitHub

I use GitHub to host a few other personal projects and experiments. The most interesting of these is arguably a program analysis tool called JSMapper, written in Javascript. It can analyze Javascript code and draw a few diagrams that depict the identified code structures and some of their relationships: modules, classes, function call graph (currently under development). It is the only truly active project.




My Linkedin Page: https://www.linkedin.com/in/pedrodlafaria/

Popular repositories

  1. pedrodlafaria.github.io pedrodlafaria.github.io Public

    This is the repository for my personal website.

    CSS

  2. civinexus civinexus Public

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

    Mathematica

  3. ELIXIR-Train-the-Trainer ELIXIR-Train-the-Trainer Public

    Shell

  4. pedrodlafaria pedrodlafaria Public

    Config files for my GitHub profile.

  5. formal-software-verification formal-software-verification Public

    Experiments with Model Checking, SAT solvers, Promela and SPIN

    Mathematica

  6. electric-field-simulations electric-field-simulations Public

    Simulations of Electric Fields in Java

    Java