Skip to content
View Claudia54's full-sized avatar

Block or report Claudia54

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
Claudia54/README.md

Hi there 👋

Welcome to my GitHub profile! I'm Cláudia and I hold a Bachelor's degree in Software Engineering and I am currently completing my Master's degree in Sotware Engineering at the University of Minho. My specialization is in Grammar Engineering and Formal Methods, and my thesis focuses on Artificial Intelligence.

Feel free to explore my repositories to see my projects and contributions. If you have any questions or would like to connect, don't hesitate to reach out!

Connect with Me

Education

Bachelor's Degree: Software Engineering, University of Minho.

Here are some of the key projects I worked on during my Bachelor's degree:

Master's Degree (in progress): Software Engineering, University of Minho

Here are some of the projects from my Master's studies:

Skills and Technologies

Here’s a summary of some the languages and technologies and tools I've worked with:

  • Languages:

    • JavaScript
    • Java
    • Python
    • C
    • Prolog
    • Haskell
  • Technologies and Tools:

    • Panda, Tensorflow and SciPy
    • TLA+
    • Lark
    • Web Development (HMTL and CSS)
    • Coq
    • SQLite, MySQL

GitHub Statistics

Top Languages

Top Languages

Thank you for visiting my profile!

Popular repositories Loading

  1. Object-Oriented-Programming Object-Oriented-Programming Public

    Java 1

  2. CP CP Public

    Haskell

  3. PL PL Public

    Python

  4. SPLN-TP SPLN-TP Public

    Python

  5. Web-Knowledge-Representation-and-Processing Web-Knowledge-Representation-and-Processing Public

    Representation of Processing and Web Knowledge

    HTML

  6. MachineLearning MachineLearning Public

    Forked from MarianaFilipa/DAA

    Jupyter Notebook