About me
PhD student in Computer Science at Gran Sasso Science Institute. Currently working with opinion, polarization and consensus in social networks with formal models and subjective logic.
Interests
- Multi-agent systems
- Modal Logic
- Model checking
- Proof assistants
- Logic programming
Education
PhD in Computer Science, 2024 - Current
Gran Sasso Science Institute (GSSI)
MS in Computer Science, 2021 - 2024
University of Minnesota Duluth (UMD)
BS in Computer Science, 2015 - 2020
Universidade Federal de Minas Gerais (UFMG)
Publications
(2024).
Quantitative Models for Social Networks.
University of Minnesota.
(2022).
Subjective Logic as a Model for Social Networks.
Proceedings of the ESSLLI 2022 Student Session.
Education
PhD in Computer Science
MS in Computer Science
- GPA: 3.9/4
- Advisor: Dr. Sophia Knight. sknight@d.umn.edu
- Research project: Subjective Logic as a Model for Social Networks.
- Funded as a research assistant.
- Awarded Outstanding Graduate Teaching Assistant in Computer Science in 2024.
- Coursework: Theory of Computation, Algorithms, Data Strucures, Artificial Intelligence, Modeling with Dynamic Systems, Modal Logic.
- Coding experience: C++, Python.
B.S. in Computer Science
- Advisor: Dr. Mário S. Alvim. msalvim@dcc.ufmg.br
- Final project: Formalization and verification of sorting algorithms using the Coq proof assistant.
- Coursework: Theory of Computation, Linear Optimization, Information Theory, Graph Theory, Data Science, Human Centered Machine Learning, Quantum Computing, Game Theory, Logic Programming.
- Coding experience: C, C++, Python, Java, SQL, Coq.
Professional Experience
Teaching Assistant
Classes:
- Computer Science I: Basic programming with C++. Fall 2022.
- Artificial Intelligence. Fall 2022 and Spring 2023.
- Automata and Formal Languages. Spring 2023, Fall 2023, and Spring 2024.
- Advanced Theory of Computation. Fall 2023.
Research Assistant
I worked on formal models to understand change of opinion and group polarization in Social Networks.
Keywords: Social Networks, Subjective Logic, Trust-discount, Belief Fusion
Full-Stack Developer with C# and Angular
I worked with Angular and C# on the demo page of MostQI, Most’s document reading tool. In particular, I made updates and improvements to the document analysis API, a tool that builds a graph that connects documents based on their read fields.
Undergraduate Researcher
Advisor: Mário Sérgio Alvim.
Worked with Subjective Logic with the aim of improving a formal model for group polarization in social networks.
Worked with the Coq proof assistant for formalization and verification of software. Final work.
Teaching Assistant
Assisted the Computer Programming professor with evaluations of student projects, and assisted students with recitation classes. The programming language used at the course was Python.
Contact
- josecarlosdeoliveirajr [at] gmail.com
-
L'Aquila, AQ
Italy