Skip to content

@LS-Lab Logic of Autonomous Dynamical Systems Lab

Users following LS-Lab

@eneoli
eneoli eneoli
Hi there! I'm a CS student from Germany, currently interested in PL theory and computational logic.

Karlsruhe Institute of Technology

@drzo
drzo
@mroximut
oguzmu mroximut
@SafariBookingsHub
MB SafariBookingsHub
@lucasbrixner
Lucas Brixner Riça lucasbrixner
@ismailp145
Ismail Patel ismailp145
CS Grad DePaul '25
@jamestiotio
James R T jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke

@facebook The edge of knowing

@noahaew
Noah Abou El Wafa noahaew
@BrentKylling
BrentKylling
@maniroudsari
Mani maniroudsari
Master of Science in Mechanical Engineering
@caesar0301
xmingc caesar0301
freelance researcher on cognitive intelligence, ph.d @sjtu, data & ai guy @aliyun

Shanghai

@siddharthdeore
Siddharth Deore siddharthdeore
Aerospace Engineer, Maker, Coder! Neural Network, AOCS, GNC, Space Robotics

Italian Institute of Technology, Genova Genova, Italy

@umerhuzaifa
Umer Huzaifa, PhD umerhuzaifa
(Embedded | Robotics | AI) Engineer, Educator, Technical Consultant
@ramonfmir
Ramon Fernández Mir ramonfmir

London

@briegema
Marvin Brieger briegema
PhD student at LMU Munich • Part of the DFG Research Training Group ConVeY • Working on the logical foundations of concurrent cyber-physical systems