Content-Length: 192007 | pFad | http://github.com/trash627

28 trash627 (Promit Panja) · GitHub

trash627

Follow

🧑‍🦯

huh~

Promit Panja trash627

🧑‍🦯

huh~

Follow

PhD Student at Karlsruhe Institute of Technology (KIT).

1 follower · 2 following

KASTEL-VADS (KIT)
Karlsruhe, Baden-Württemberg

Achievements

Achievements

Highlights

Pro

trash627/README.md

👋 Hi, I’m @trash627
👀 I’m interested in Formal Methods, Safe Autonomous Systems, Cyber-Physical Systems, and Safe AI.
🌱 I’m pursuing my PhD in Theoretical Computer Science from Karlsruhe Institute of Technology (KIT).
📫 Reach me via email at promit [dot] panja [at] kit [dot] edu

Pinned Loading

Emotion-Detector Emotion-Detector Public

CV project

Python
GBDI_MemoryCompress GBDI_MemoryCompress Public

Global Base-Delta Immediate (GBDI) Memory Compression Algorithm, implemented in software using C.

C
Pirce-Tracker Pirce-Tracker Public

Python
RMS-DMS-EDF_FreeRTOS RMS-DMS-EDF_FreeRTOS Public

RMS, DMS, and EDF scheduling algorithms implemented in FreeRTOS source.

C++
sbac-premium sbac-premium Public

Markup Blog Website built using Bootstrap and JS (Front End) and Express.js, Node.js, MongoDB (Back End)

EJS
Truck_Platoon Truck_Platoon Public

Modeling and Formal Verification of truck platooning system.