adding topics

Signed-off-by: ncardozo <[email protected]>

_thesistopics/devops.md

@@ -0,0 +1,33 @@
+---
+title: DevOps: Analysis and implementation
+period: 2024  
+level: undergrad
+area: pil
+abstract: Introduction of DevOps practices in real world scenarios
+people: n.cardozo
+file: devops
+layout: default
+---
+
+### Context
+
+Companies are faced with the problem of rapid development, having to release new and improve features continuously. While different software development process have been design to accelerate the development, such processes cannot be stand-alone. These processes need to be accompanied with maintenance and quality assurance processes. Continuous integration processes, and later DevOps [1], have been proposed for this purpose.
+
+### Project proposal
+
+In this project we want to analize and implement tools to support DevOps processes, evaluating the benifits of adopting these practices for development companies. Additionally, we will evaluate how tools and processes must scale as companies do over time.
+
+### Implementation plan
+
+- Analysis of DevOps practices for companies
+- Design of maintenance, continuous integration, quality assurance, and deployment processes and tools
+- Implementation of supporting tools for DevOps
+- Evaluation of DevOps tools' benefits in real-world scenarios with companies
+
+### Background and Literature
+
+[1] DevOps <https://dl.acm.org/doi/abs/10.1145/3359981>
+
+### Contact
+
+n.cardozo

_thesistopics/homotopy_geometry.md

@@ -0,0 +1,32 @@
+---
+title: Homototy module definition for computational algebraic geometry in Julia
+period: 2024
+level: undergrad
+area: pil
+abstract: 
+people: Nicolas Cardozo
+file: homotopy_geometry
+layout: default
+---
+
+### Context
+
+Algebraic geometry studies the zeros of polynomials. Computational algebraic geometry [1] uses computational tools, a.k.a, tools and software systems, to solve the polynomials.
+
+### Project proposal
+
+There are different tools for computational algebraic geometry, mostly spacialized for a particular typology of problems. We want to focus on the specific use of homotopies [3] to solve algebraic geometry problems. This, will be used as the introduction of a new module into a mathematical programming language (e.g., Julia). The implementation of the module will then be used to solve algebraic geometry problems, evaluated against state-of-the-art tools.
+
+### Implementation plan
+
+In this project we are going implement a Homotopy Theory module to solve algebraic geometry problems, within the Julia programming language [2].
+
+### Background and Literature
+
+- [1] [Computational Algebraic Geometry](https://arxiv.org/abs/1409.1534)
+- [2] [Julia](https://julialang.org)
+- [3] [Homotopy](https://pdf.sciencedirectassets.com/272585/1-s2.0-S0001870800X04392/1-s2.0-S0001870804001513/main.pdf?X-Amz-Security-Token=IQoJb3JpZ2luX2VjEA0aCXVzLWVhc3QtMSJHMEUCIQCq8vC6%2BzkO9xAKPBmypKRs7pT4UJsKFqCoLEymeUQHiQIgBv9FpzdMAEB01GSZPA%2F3hyVyVgBPLRrfbcH2v6jOYw8qswUIdhAFGgwwNTkwMDM1NDY4NjUiDJLYkGQ%2FxuMgQda5IiqQBWSz%2FqSdpL93MDMeHPd2UI0dLppdX6dEhuSefAoykZ7D097d1vH6XXaLNXTBM55UB8jCP40dceUAcuoyt2CzNDN1pyZn42hAk4xpJbTtwaFW6A6BbHHEMWHlfjZrK8j1XrWPdMnVY1u6x4xgPlQV8PEFBXBPd%2BKk7MnVQNM7UQpp9zOMQm1f9%2FproBvdclaFotdbOWDQeOvUV2YyxC1%2Bs5fpJ5PYoBoe3%2BwneCTWC%2BB1KRcKklEM%2BA4odROmRA0OASBTsSTHDQk5YEnHXlmx9%2B55PZnmz7wvLDeVuhpcb87xlG%2FlSTR267jfjEXSSx9l6kyue%2B8fUChVPAicsApE2CW9dchhjO9jDl0uOKjUO%2BN6tUumzc3uQOqZc2iuQ6K5zvMWbmcPYmIVpVFJe%2Fy1ftG956uAStxLa8C%2BkFZPK9niEFQVsw%2Fy%2FbE366psvVDLCAr7rLkF5psis8W4mmGOJYvnr65m3f2Z%2BZPUhNU7sandlnTKsJ2HPTSHV0aNc7OmOn1pubIz%2ByN15GLfserK3XCXp5zUBp87zaEfj9ivNilso%2FFFnIkl%2FQtBv2pGyv8U9Yff7XfcXHXAr24SEUsdgEJvVGgIPiVjx6J7Uh%2FVCaX1kaH4V%2BnquBi8sfr2yn8ZdOAdHx8lEhB4dMWRKpKpeLdAQE1MQOMijmk8lzeZXA1jvaeBfNGWG0CvWEiZVbrGeoFfDL20ZT6EFhktBopp1qAXqlkXHIKBjUbLjGSyu85zpogHXfgBB1PrEU0RbaBYUf6qQ%2BW7LADPSBs0nvjtGjF0DM8NIIijddoCgJ8zw%2Bo89mOLz2ChxfVF5xoQCB3u4D3yhtA0ZnK8XEpTmsNC8nw42jpejinLEMcLQctQ%2BpDaMLm8vKsGOrEBdLqCZx8xnc9ETDwi7tY3fSQKnZ1rX4bW47TreujCROrPVYwS%2BJnObxB89aCufU%2Bxd9rGPDRfqACCdRRkgm30Qp6oAdfst5dh3trGgy4PtYjKsfFyGgWrGP8vpWoCMe1rkhNoYLfB0MMFwimIkJcoNUDVOtmbh3jir%2FralKUgqo34YTNWcFD%2BXEgHLOZIvhT%2BMw4AQcna9DUoS%2FLN9tM28rwWn5hLXJdWtJOZM76mbIAS&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Date=20231205T132819Z&X-Amz-SignedHeaders=host&X-Amz-Expires=300&X-Amz-Credential=ASIAQ3PHCVTYUB2OZHNS%2F20231205%2Fus-east-1%2Fs3%2Faws4_request&X-Amz-Signature=255d6f4b0614f3051571187f56a1617db252ed1ebb15fedef24e9bbbf057f0fb&hash=cd2b68ad9b7e3bdaa41fa875fdcda6fc9b15ecea759d36ddf1c8f44d3be737f4&host=68042c943591013ac2b2430a89b270f6af2c76d8dfd086a07176afe7c76c2c61&pii=S0001870804001513&tid=spdf-f00f23a5-f621-4440-8599-244e88704a0b&sid=3a0d947d2492a343006b5050ed61d9dc0497gxrqa&type=client&tsoh=d3d3LnNjaWVuY2VkaXJlY3QuY29t&ua=190959555402035e0054&rr=830ca1b05eaaf776&cc=co)
+
+### Contact
+
+n.cardozo

_thesistopics/selfhealing-detection.md

@@ -4,7 +4,7 @@ period: 2024
 level: undergrad
 area: pil
 abstract: Detect points of failure for running programs and generate the infrastructure to fix them automatically
-people: Nicolas Cardozo
+people: Mateo Sanabria, Nicolas Cardozo
 file: selfhealing-detection
 layout: default
 ---

_thesistopics/session-cop.md

@@ -0,0 +1,39 @@
+---
+title: Consistency verification of COP programs using session types
+period: 2024
+level: master
+area: pil
+abstract: Type systems are used to assure behavior of a system. This project will tackle the consistency and interaction of dynamic behavior for adaptive systems
+people: Nicolas Cardozo
+file: session-cop
+layout: default
+---
+
+### Context
+
+The high interaction of software systems requieres them adapt to their surrounding execution context. One technique to cope with this requirement is achieved, at the programming langauge level, using Context-oriented programming (COP) [2]. With the advancements of COP, it is possible to develop modular programs that can change their behavior in response to changes in the surrounding environment, or context.
+
+However, the dynamic modification of a program's behavior opens up the possibility of bugs during the execution of a program, due to inconsistencies or incompatibilities of the introduced behavior. This problem increases in the precence of multiple interacting contexts.
+
+### Project proposal
+
+The effect of bugs or inconsistent behavior in the execution of COP programs is a symptom of the lack of assurances present in the system, as no verification can take place on-line due to time complexity of such processes.
+
+In this project we aim to use session types [1] as a verification mechanims to assure the absense of inconsistencies of interacting contextual behavior. The use of session types in this context is of particular interest in this context, as session types are used to express interactions between entities, in our case, the interactions between the adapted behavior definitions.
+
+### Implementation plan
+
+The implementation plan of this thesis is as follows.
+
+- Development of session types into a COP programming language, as ContextScala
+- Design of a session type model for COP
+- Implementation of the verification behavior to detect inconsistencies in COP programs.
+
+### Background and Literature
+
+- [1] [Session types](https://dl.acm.org/doi/10.1145/2370776.2370794)
+- [2] [Context-oriented programming](https://dl.acm.org/doi/10.1145/2451436.2451461)
+
+### Contact
+
+n.cardozo