Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

Pages

Page Not Found

Page not found. Your pixels are in another canvas.

Archive Layout with Content

Posts by Category

Posts by Collection

CV

Generating Specifications with Evolutionary Computation

Markdown

Data Structure Object Classification with Neural Networks

Page not in menu

This is a page not in th emain menu

Page Archive

Sitemap

Posts by Tags

Talk map

Talks and presentations

Teaching

Terms and Privacy Policy

Blog posts

Jupyter notebook markdown generator

Posts

Future Blog Post

less than 1 minute read

Published:

This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.

Blog Post number 4

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 3

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 2

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 1

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

portfolio

publications

Paper Title Number 1

Published in Journal 1, 2009

This paper is about the number 1. The number 2 is left for future work.

Recommended citation: Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1). http://academicpages.github.io/files/paper1.pdf

Paper Title Number 2

Published in Journal 1, 2010

This paper is about the number 2. The number 3 is left for future work.

Recommended citation: Your Name, You. (2010). "Paper Title Number 2." Journal 1. 1(2). http://academicpages.github.io/files/paper2.pdf

Paper Title Number 3

Published in Journal 1, 2015

This paper is about the number 3. The number 4 is left for future work.

Recommended citation: Your Name, You. (2015). "Paper Title Number 3." Journal 1. 1(3). http://academicpages.github.io/files/paper3.pdf

talks

An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications

Published:

Introduction of a research paper on generating declarative specifications (in the alloy relational logic) using a genetic algorithm
[Slide]

From Operational to Declarative Specifications using a Genetic Algorithm

Published:

Introduction of a research paper on generating declarative specifications (in the alloy relational logic) using a genetic algorithm
[Slide]

A Genetic Algorithm for Goal-Conflict Identification

Published:

Introduction of a research paper on Goal Conflicts identification in the Requirements Engineering process using a Genetic Algorithm
[Slide]

Training Binary Classifiers as Data Structure Invariants

Published:

Presentation of a research paper on training machine learning models, specifically binary classifiers using neural networks, to be used as data structure invariants in program analysis scenarios
[Slide]

teaching

Student Teaching Assistant

Undergraduate course, University of Río Cuarto, Computer Science Department, 2014

Student Teaching Assistant in the course Data Structure and Algorithms.

Student Teaching Assistant

Undergraduate course, University of Río Cuarto, Computer Science Department, 2015

Student Teaching Assistant in the course Algorithm Design Techniques.

Student Teaching Assistant

Undergraduate course, University of Río Cuarto, Computer Science Department, 2015

Student Teaching Assistant in the course Programming Paradigms.

Student Teaching Assistant

Undergraduate course, University of Río Cuarto, Computer Science Department, 2016

Student Teaching Assistant in the course System Design and Analysis.

Student Teaching Assistant

Undergraduate course, University of Río Cuarto, Computer Science Department, 2016

Student Teaching Assistant in the course Programming Paradigms.

Student Teaching Assistant

Undergraduate course, University of Río Cuarto, Computer Science Department, 2017

Student Teaching Assistant in the course Algorithm Design Techniques.

Teaching Assistant

Undergraduate course, University of Río Cuarto, Computer Science Department, 2018

Teaching Assistant in the course Computability and Complexity.

Teaching Assistant

Undergraduate course, University of Río Cuarto, Computer Science Department, 2018

Teaching Assistant in the course Distributed and Outsourced Software Engineering.

Teaching Assistant

Undergraduate course, University of Río Cuarto, Computer Science Department, 2019

Teaching Assistant in the course Introduction to Programming.