Oslo Computer Science Research Group (OCSRG) – Martin Fagereng Johansen's Homepage

Welcome to the home page of the Oslo Computer Science Research Group (OCSRG).

Principles

Computers can be fully understood and controlled.
Creating timeless libraries and programming technologies.
Create code that can be reused accross space and time.

Current Research Program

Building the library of timeless, reusable and bug free code. This includes identifying new libraries, functions and implementing them using the timeless programming language “progsbase”.
Identifying the timeless instruction set and create drivers for it.
Build the infracore modular operating system “NoOS”.
Identify the simplest timeless code that gives O(log n) CRUD operations on a map (Currently the Red Black Trees Library, but it is currently unverified and seemingly too complicated for such an important feature.
Identify the smallest set of Imperative building blocks of relational algorithms.
Identify the smallest set of Imperative building blocks for non-relational algorithms.
Build the I/x86 language for creating optimized code for the x86 platform. Also start similar projects for I/ARM, I/Power and I/Z.
Research custom allocators in the timeless language.
Research byte-array-based building blocks and algorithms.
Research algorithms on dynamic data.
Memory safety with raw pointers, including double-free, use-after-free, and out of bounds access.

Published Texts

Book: Foundations of Computer Science (Book launch talk)
Websites: Progsbase, Infracore, I/x86

Current Members

The team has room for five members in total. If you would like to join the team, reach out to Martin F. Johansen. We are currently assembling a group of five.

Martin F. Johansen – Research Leader