Skip to content
View inquisitour's full-sized avatar
🤔
Thinking...
🤔
Thinking...
3 followers · 0 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2

Block or report inquisitour

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
inquisitour/README.md

🎓 MSc candidate in Logic and Artificial Intelligence at TU Wien, specializing in mathematical logic, verification and automated reasoning.

💻 B.E. in Computer Engineering, with expertise in AWS ☁️, IoT 🔌, Data Science 📊, ML/DL 🤖 and Linux 🐧 systems.

💭 My favorite quote: You cannot verify a verifier, that will put you in an infinite regress.

Pinned Loading

  1. Knowledge-Based-Agent Knowledge-Based-Agent Public

    Autonomous AI agent augmented with RAG and a knowledge base.

    Python 3

  2. veriphi-verification veriphi-verification Public

    Neural Network Robustness Verification Tool with Attack-Guided Verification

    Python 2

  3. reflection-types reflection-types Public

    OCaml reflection types

    OCaml

  4. ThoughtLink ThoughtLink Public

    Intent infrastructure for intelligent machines: from brain to robot, at the speed of thought.

    Python

  5. ESP_SIM800 ESP_SIM800 Public

    The standalone system based on esp-32 and sim800 module to read digital meters and send the payload to the cloud through MQTT.

    C++

  6. ESP32_CAM ESP32_CAM Public

    The esp32 camera to take photos on detecting any motion through PIR motion sensor with 3 hour deepsleep timer wakeup.

    C++