Logic of Autonomous Dynamical Systems Lab
Users following LS-Lab
forestfoxx
Researching all things security. Especially interested in hardware fuzzing, Linux kernel, eBPF and DevSecOps.
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Mohammadreza Dindarloo
MohammadrezaDindarloo
I'm Mohammadreza Dindarloo, a PhD student at the University of Edinburgh
Edinburgh University Edinburgh
eneoli
eneoli
Hi there! I'm a CS student from Germany, currently interested in PL theory and computational logic.
Karlsruhe Institute of Technology
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
Umer Huzaifa, PhD
umerhuzaifa
(Embedded | Robotics | AI) Engineer, Educator, Technical Consultant
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