Skip to content
View alawein's full-sized avatar
11 followers · 11 following

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: Galaxy BrainAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: Galaxy BrainAchievement: Quickdraw

Highlights

Block or report alawein

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
alawein/README.md

Meshal Alawein

I build evidence-first scientific software and AI systems whose claims can be checked. At Kohyr, I work on verifying agent actions with gates and signed records that remain checkable offline.

Computational physicist turned AI systems engineer. PhD, EECS, UC Berkeley. Founder of Kohyr. 12 years in scientific computing; 6+ in ML/AI.

I build at the intersection of physics, machine learning, and auditable software, from micromagnetic simulators and quantum transport frameworks to LLM evaluation and agent-action verification.

meshal.ai | kohyr.ai | Scholar | contact@meshal.ai

Research & Scientific Computing

Repo Lifecycle Claim
qmatsim Maintenance Multiscale DFT+MD toolkit for strain engineering in 2D materials (Phys. Rev. Materials 2025)
spincirc Maintenance Spintronic device modeling via spin-circuit methods (IEEE J-XCDC 2018)
maglogic Maintenance Nanomagnetic logic simulation with OOMMF/MuMax3 (IEEE Magnetics Letters 2019)
scicomp Maintenance Scientific computing library: PDE solvers, PINNs, and HPC in Python, MATLAB, and Mathematica
fallax Active Multi-step LLM reasoning evaluation: step-level correctness across logic, math, and causal inference
chshlab Active Quantum foundations education site for CHSH and Bell inequality experiments.
qubeml Maintenance Quantum-classical ML interface: VQE, materials informatics, Qiskit/PennyLane

AI Systems & Products

Project Status Claim
outpost Active Prompt kit and installers for coding-agent workflows, with drift checks
alembiq Private LLM training, alignment, evaluation, and synthetic data platform
attributa Private Privacy-first attribution intelligence with AI detection and CWE scans
llmworks Private LLM evaluation, benchmarking, and security testing
provegate Private Epistemic reasoning framework and agent belief infrastructure

Private product repositories are listed for context. See kohyr.ai for Kohyr.

Working On

Quantum computing | AI assurance | HPC | Web systems

Stack: Python | TypeScript | MATLAB | CUDA | PyTorch | Next.js | Supabase

Pinned Loading

  1. qmatsim qmatsim Public

    Quantum materials simulation toolkit

    Shell

  2. spincirc spincirc Public

    Spin circuit simulation framework — quantum transport and magnetic device modeling

    MATLAB 1

  3. maglogic maglogic Public

    Magnetic logic simulation framework

    Python

  4. scicomp scicomp Public

    Scientific computing library — numerical methods, PDE solvers, and HPC utilities

    Python 1 1

  5. fallax fallax Public

    Fallax — LLM Adversarial Reasoning Evaluation

    Python

  6. chshlab chshlab Public

    Interactive CHSH inequality lab: physics rebuttal of Bell inequality experiments with live demos, annotated figures, and theorem cards

    JavaScript