Rooba.Finance

Chief Executive Officer (CEO), Co-Founder

Creating a financially inclusive and equitable future through access to capital. As an lawyer, entrepreneur and technologist, I'm driven to leverage the power of Blockchain to shape the future of asset ownership. By launching Rooba.Finance, a real-world asset tokenization platform from India, we're now offering these services on a global scale.

Rooba.Finance provides a comprehensive tokenization journey that begins with Rooba Guild - a decentralized network of legal and financial validators that can give assets provenance & value. We then use our Rooba Mint off-chain to on-chain framework to enable secure self custody wallets via smart contract-based multi sig wallets, before finally making these assets available for trade through regulated exchanges across the world.

By building this on ERC 3643, we are ensuring a regulatable and compliant infrastructure for tokenization of real world assets. 

At Rooba.Finance I deal with strategy, legal and product. Reach out to me for Tokenization of Real World assets on the blockchain at arjun@rooba.finance

Co-Founder and Chief Legal and Strategy Officer

corridor.law

Created India's first private network for Lawyers, by lawyers and of lawyers. This private network enabled the education, discovery and networking of legal professionals in the country.

co-founder

Sehjaar

An end to end Solid waste management company to revolutionise how we segregate, collect, dispose and use waste by utilising technology, financial incentives and waste to energy. This enabled people in Pune and Gurgaon to have a relook at reduce, reuse and recycle.

Founder

Chambers of Rakesh Dwivedi, Senior Advocate. 

Researched and strategized on some of the country’s highest-stakes litigation like the constitutional
validity of the election bonds and insolvency and bankruptcy code, the Andhra Pradesh 3 Capital
case, Vodafone ‘Red’ case, Jaypee Group Insolvency case (at the Allahabad high court, NCLAT and
Supreme Court) U.P labor ordinance and the 9 Judge Constitutional reference in the Sabrimala Case.
Prepared legal opinions on highly confidential matters for the Central Government, Home Ministry,
and 13 State Governments.

Associate Advocate

High Court of Delhi

Researched a wide variety of legal issues especially in the areas pertaining to the judge's duty roster
like Company matters, Constitutional law, educational law, and Criminal Law. Preparation of case
briefs daily for matters listed on the next date. Approximately 80 distinct cases were listed in a day.
Worked extensively on the judgment writing process and the research and background work
involved.

Judicial Clerk-Law Researcher at the Chambers of Hon'ble Mr. Justice C. Hari Shankar

Chamber 20A

Substantive litigation experience in all sorts of Civil and Criminal cases including but not limited to
assisting the chamber in the drafting of SLP’s, Writs and Counter affidavits, making oral arguments
and carrying out legal research, preparing case briefs, synopsis and research on the subject as per the
requirement of cases and assisted in briefing Senior Counsels.
I led the strategy on numerous high profile and high stakes litigation in the Supreme Court of India
for Political Parties like the JD(U) in cases like the Sharad Yadav Anti-defection case and JDU
election symbol case. I have also worked closely with Maharatna Companies, State Governments,
and large public listed corporations on the BSE and NSE in the capacity of a litigator and strategist.

Counsel

Mandalā Law Offices

Trainee Associate

Symbiosis law School - Pune

Student

AZB & Partners

Internship

Luthra & Luthra Law Offices

Intern

Creating digital infrastructure for private market transactions. 

Im a lawyer turned entrepreneur striving to build a better global and regulated path for liquidity and information to flow efficiently in private markets leveraging tokenization. 

During my time as a lawyer I have had the privilege of  representing clients like the Reserve Bank of India, the Election commission of India, and large state governments in the Supreme Court of India. 

Area of practice includes blockchain, fin-tech, and constitutional law. 

I have also been an investor and trader in equity, commodities and cryptocurrencies with over a decade of experience in web3.

I have helped consult DAO’s and various web3 protocols in my days as a lawyer. 

Founder and CEO at Rooba.finance.

Arjun Khazanchi

IIT Indore

Researching and teaching: Formal verification, Cyber Physical Systems, IoT and Autonomous Vehicles. Specific research areas include: formal verification, model checking, CTL, autonomous systems. 

Research expertise in:
1. New Systems Design and Development;
2. Modeling for Verification and Analysis of realtime systems;
2. Autonomous vehicles and algorithms (particularly intersection management);
3. IoT protocol development (forward compatible and IoT outage safe);
4. Blockchain applications for digitalisation of governance and businesses

Teaching courses to undergrad, grad and doctoral students and Research supervision.

Associate Professor

Researching and teaching: Formal verification, Cyber Physical Systems, IoT and Autonomous Vehicles. Specific research areas include: autonomous vehicles, formal verification, model checking, CTL.

Attended training in: ISO 26262 and DO178C/EUROCAE12B.

Research focussed on:
1. Verification of algorithms enabling autonomous vehicles with modelchecking (UPPAAL), CTL;
2. Autonomous vehicles and algorithms (particularly intersection management);
3. IoT protocol development (forward compatible and IoT outage safe);

Teaching courses to undergrad, grad and doctoral students

Assistant Professor

Samsung, India

Reporting directly to Managing Director.
i. Intellectual property generation
– One patent-filed in the area of mobile systems. An algorithm to discriminate between system rolled context switching and user-space controls;
ii. Worked on a mobile platforms' common framework for banking solutions;
iii. Liaising with Indian academia for research collaborations, paper reviewing etc.;

Chief Engineer

Cymbient Technologies P Ltd (Rooba.Finance)

IME, SDU Engineering 

Roskilde University

I am on a short term research stay at Roskilde University visiting Professor John Gallagher. My affiliation continues to be with IIT Indore as Associate Professor. During this research visit, working on advancing the applicability of static analysis and abstract interpretation based model checking for analysis systems correctness. It falls under the broad area of formal methods and formal verification. Focus is on analysis of model-based techniques.

Guest Researcher

National Aerospace Laboratories, Bangalore

A. Exploring rigorous mathematical modelling techniques for avionics i.e. embedded systems deployed in aerospace applications:
i. Explored various static analyses and model checking tools applicable to avionics systems;

Scientist Fellow

Multiple

Visited: TIFR Mumbai (Prof. P. Pandya), IIIT Hyderabad (Prof. V. Choppela), GM ISL (FV Lab) Bangalore, TRDDC (Prof. M. Joseph)

Visiting Researcher

Participated in the research efforts under the auspices of the EU-IST-Project titled “Advanced Specialisation and Analysis for Pervasive Systems” (ASAP)
1. ASAP-consortium included:
(i) Computer Science department, University Of Southampton, England, UK,
(ii) Computer Science department, Bristol University, England, UK,
(iii) Computer Science department, Technical University of Madrid, Spain,
(iv) Computer Science department, University of Düsseldorf, Germany and
(v) Computer Science department, Roskilde University, Denmark;
2. Carried out doctoral research in the area of formal verification of embedded systems;
3. Two-month research stay at the Software Engineering Group of Professor     
   Christo Angelov at University of Southern Denmark;
4. Lectured a graduate-level course titled “Introduction to parallel and distributed computing” worth 7.5 ECTS;
5. Supervised semester-level projects worth 15 ECTS each.

Contributions:
1. Developed a framework that makes it possible to verify embedded systems against requirements specified in temporal languages.
Developed tools such as: (i) a static analyser and (ii) an abstract interpretation -based model checker.
2. These tools are built around a state of the art SMT solver (called YICES) and a very efficient constraint library (called Parma Polyhedra Library (PPL)). 
3. Developed systems' software, tools and compilers during the PhD period. Extended the CTL semantics to accommodate the Hybrid systems and built a compiler that translates a visual spec. into constraint model. 
4. Co-authored 5 conference publications

PhD Dissertation
Published by Roskilde University Press with ISSN 0109-9779

Advisor: Professor Dr. John P. Gallagher 

Title: Modelling and Analysis of Real-time Systems with Logic Programming      and Constraints

Key words: Semantics, Model checking, Static analysis, Partial evaluation, Program analysis, Program transformation, Real-time Embedded Systems, Rigorous Software Engg

Doctoral Fellow

Towards:
A European Union – Information Society Technologies - Project titled “Advanced Specialisation and Analysis of Pervasive Systems”.
Duties:
Work package 5 of ASAP project involving Deliverable Nr. 19, specifically towards the Task 5.3 'Analysis of High Level Specification Languages'.

Research Assistant

Universtity of Southern Denmark

TA to graduate students in the laboratory sessions for Mechatronics engg. stream. This involved  introducing the tools such as Atmel AVR micro-controllers programming with IAR WorkBench and GNUGCC compiler.
1. Designed and developed the HARTEXµ kernel with novel Boolean vector data structures and the sophisticated content-oriented message addressing, resulting in a very safe, very fast, yet very small (code foot print< 7KB and data memory < 200 bytes) kernel. This work is undertaken in my MSEngg dissertation. It is accessible via the citeseer link
http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=84D11348847CDC13691DFAED09883FCB?doi=10.1.1.118.1909&rep=rep1&type=pdf;
2. Implementation is completely free from in-line assembly code;
3. The kernel (code) is both compatible across different C compilers and   portable across different micro-controllers and
4. The algorithm designed guarantees hard-real-time-functionality with overheads at the scales of less than 3 processor cycles.

M.S.Engg. Dissertation
Title: Scalable Real-Time Kernel For Embedded Systems
Advisor: Professor Dr. Christo Angelov, Head Software Engg. Group, Uni. Of Southern Denmark, Denmark. 

Other Projects:
SLC Static, HARTEX, Embedded programming for Atmel micro-controllers.

Teaching Assistant

> SDV SME, V2X SME, Researcher, Innovator, and Academic
> Developing (SWIFT + EFFICIENT) solutions with Proven Safety
> Trained Scientist, Engineer and Technologist
> SDV: direct DIGITAL twin integration.

Example projects: 
> Software and HW configuration for STM and NXP MCUs
> Medical diagnostics system and device with STM and Rust, also worked on Assisted living systems
> Digital Trust and Accountability systems based on Blockchain Tech stack
> Developed protocols and verification strategies for Autonomous cars
> several practical approaches to safety for ISO 26262. Model-based dev.
> granted patents in the mobile software systems
> FuSa and ISO26262 qualification of systems 

I believe technology makes it possible to solve most, if not all problems, provided systems are engineered  by exploiting the underlying scientific concepts. 

Interested in leadership, managerial, innovation and/or research directorial roles along:
Robotics, (I)IoT, CPS, Mechatronics, Digital Transformation, Autonomy verification, Realtime kernels, Adv. Manufacturing stack,..., "Automation Everywhere" including moonshot efforts. 

Holds an interdisciplinary academic profile (Computer science and engineering, Mechatronics and Mechanical Engineering) propels me to innovate, ideate, conceptualise and realise systems. I am strong in systems engineering, with expertise in both high level design and implementation of a range of systems deployed in real time applications, energy conservation, safety critical analysis, IoT, CPS runtime kernels, etc. 

I have deep knowledge in formal verification and realtime embedded systems, which are going to be at the heart of the technologies that are being developed to address concerns about autonomous medical devices, robotics, self-driving vehicles, safety critical systems. 

As a researcher, manager and supervisor, guided research projects in the areas of medical devices, assisted living systems, autonomous cars, blockchain tech applications for digital governance chore trust framework (taper-proof email ecosystem, health documentation, land registration, etc.), realtime runtime, android stack, ... 

Taught courses to several bright under/gradS and doctoral students.    

Formal qualifications: PhD:Computer Science:Formal verification, MSEngg:Mechatronics:Realtime systems design) and BTech:Mechanical Engg.:Process quality control

Demonstrated achievements: via conference and/or journal publications, two granted patents (in sustainable and green tech), two other in advanced stages (in brain interfaced control and health diagnostics), many NPDs

taplio

The Battle

Arjun Khazanchi

Dr Gourinath B.

Followers

Posts

Engagements

Likes

Ready to grow your LinkedIn presence?