Skip to content

@imandra-ai Imandra

Users following imandra-ai

@duncan020313
Dongjae Lee duncan020313
Ph.D Student at the School of Computing, KAIST

KAIST ProsysLab Daejeon, South Korea

@DjentlemenH
Hunter M Walker DjentlemenH
Im new to using the PC for anything accept gaming. Im 6 months in and hooked tho. It all started because Avowed wouldnt run on my 3070 TI and Im poor

Indeed United States

@iAmiteshKumar
Amitesh Kumar iAmiteshKumar
Global Freelancer and accepts local transaction like USD to USD. Expert in CLI, OpenWRT, Linux Embedded, Network Prog, Cryptography (PQC) and automation

Global Freelancer India

@elijahkagan
Elijah Kagan elijahkagan

Earth

@Geerayef
Tibor Geerayef
@elijah
Elijah Wright elijah

Tennessee

@yoshiok
YOSHI yoshiok
@JeffCarpenter
Jeff Carpenter JeffCarpenter

True North

@MasterOfCrows
D MasterOfCrows
@ahuoguo
Alex Bai ahuoguo

New York University

@ymwsimon
ymwsimon
@gcjordi
Jordi Garcia Castillon gcjordi
AI, Cybersecurity & Cloud · Chief AI Scientist (CibraLAB) · CEO CiberTECCH · Founder eHealthAI & CyberAssistant · Consultant, instructor & speaker in Secure AI.

@eHealthAI @CiberTECCH Catalonia

@velascogus
velascogus
@jmsdnns
Jms Dnns jmsdnns
If I had to live my life again, I'd make the same mistakes, only sooner. FKA @j2labs

NYC

@bmorphism
Barton Rhodes bmorphism
"Parametrised optics model cybernetic systems, namely dynamical systems steered by one or more agents. Then ⊛ represents agency being exerted on systems"

@plurigrid san francisco

@Daylyt247
Daylyt247
@timdoma
Heonseong Park timdoma
@janisaiad
janis janisaiad
math, physics & cs.

Ecole Polytechnique, ENS Paris

@sbranson-Imandra
Sam sbranson-Imandra
Marketing Manager at Imandra

@imandra-ai Austin, TX

@jurisgpt
jurisgpt

Legal Decision Analytics , Legal Research San Francisco, CA

@lucasbrixner
Lucas Brixner Riça lucasbrixner

@FazCapital Porto Alegre, Brazil

@ghishadow
Suraj ghishadow
我也爱你

Independent

@fraware
Matéo H. Petel fraware
Curiosity. ________________________________________________________________________________________ Stanford | NASA JPL | Oxford | ENS

Stanford

@sukant-imandra
sukant-imandra
@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@prince-ph0en1x
Aritra Sarkar prince-ph0en1x
Senior Researcher @FRIPL-Quantum

Fujitsu Research India Private Limited Bengaluru, India

@jiseongg
Jiseong Bak jiseongg
Program Analysis Engineer @jiseongg-ftg

Seoul, South Korea

@mimidbe
mimidbe mimidbe
@jevinskie
Jevin Sweval jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer.

Lafayette, Indiana

@ichxorya
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form ichxorya
WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLDI, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022). Welcome to Rokkenjima.

@vnu-frsl @vnu-sme @SEhumantics @ISE-Lab-AI4LIFE Ichvers, Esteh, Enurbahnhof, Azeroy

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@TateStaples
Tate Staples TateStaples

Duke University

@jongleb
jongleb
@gborough
Geoffrey Borough gborough
@WeetHet
Stanislav Alekseev WeetHet
@000MatthewJamesKalasky
000MatthewJamesKalasky
@jamesgsmith
Jamie Smith jamesgsmith

Imandra

@viniciusbrollo
@viniciusMoretti viniciusbrollo
Hi, mine is Vinicius Brollo. Here I will tell a brief story of who I am. I started programming when I was 15, because I was curious about how a Blockchain was.

Rio Grande do Sul

@muandane
ZIne Moualhi muandane
Container-dwelling sorcerer crafting Kubernetes and Terraform enchantments 🧙‍♂️ 🔮.

IT Challenge

@Penza90
Ilya Stepannikov Penza90

Moscow, Russia

@hon-gyu
Hongyu Lin hon-gyu

London

@gpetiot
Guillaume Petiot gpetiot

United Kingdom

@danielclarke
Daniel Clarke danielclarke

Gold Coast

@numairmansur
Numair Mansur numairmansur
Research Interests: Automatic testing, debugging, formal analysis and verification of complex software systems

Amazon Web Services Berlin, Germany

@vale1410
Valentin Mayer-Eichberger vale1410
SAT Programmer

Isotronic GmbH / University of Potsdam Berlin, Germany

@wisn
Wisnu Adi Nurcahyo wisn
An idiot bastard. Opinions and outside work activities are my own.

Indonesia

@wintersteiger
Christoph M. Wintersteiger wintersteiger

@imandra-ai London, UK

@00mjk
00mjk
@benbellick
Ben Bellick benbellick
Software engineer @DataDog
@lzy0505
Zongyuan Liu lzy0505
Post Doc in formal verification of software @ Aarhus University

@logsem Aarhus