Research Area and Skills

Programming Languages: Node.js, C#,  R.

• Blockchain: 

 Smart Contract Language: Cadence (for Flow), TEAL (for Algorand);

 Analysis of Requirements and Tokenomics Modeling; 

 Analysis of Vulnerabilities in Smart Contract Code;

• Formal Specification Languages: Insertion Modeling System (IMS), Alloy.

• Requirements Modeling Languages: UML, UMPLE, SysML, BPMN, URN, IDEF0, Planguage (for NFRs).

• Requirements Specification: EARS, IEEE Requirements Engineering.

• Acceptance Criteria Languages: Gherkin Language, Robot Framework.

• RESTful API Modeling Language: RAML, YAML, API Blueprint Language.

• Business Intelligence System: Power BI (DAX), Tableau, Google Data Studio.

• Data Base: MS SQL Server, MySQL, Database Markup Language (DBML).

• Antlr: Grammars For Languages

• API Testing: POSTMAN (Pre - request Script, Test Script).

• Markup Language: HTML, XHTML, XML.

• Ontology: RDF, SWRL.

• Pitch Deck Presentation: Reveal.JS.

• Ad hoc queries, FIX protocol