Skip to content
View aogrcs's full-sized avatar
41 followers · 498 following

Block or report aogrcs

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@giaf
Gianluca Frison giaf

University of Freiburg Freiburg, Germany

@stephenrkell
Stephen Kell stephenrkell

Cambridge / London, United Kingdom

@CakeML
CakeML CakeML
A Verified Implementation of ML
@mit-pdos
MIT PDOS mit-pdos
Parallel and Distributed Operating Systems group at MIT CSAIL

Cambridge, MA

@less-lab-uva
Leading Engineering for Safe Software less-lab-uva

The University of Virginia

@AbLECPS
AbLECPS
@mww-aws
mww-aws
mww-aws is Mike Whalen's Amazon profile

Amazon Web Services Minneapolis, MN

@Boeing
Boeing
@pms67
Philip Salmony pms67
Electrical and Control Systems Engineer.

Germany

@acado
ACADO dev team acado

International

@atlanmod
Atlanmod atlanmod
(IMT-Atlantique, LS2N)

Nantes

@formal-verification-research
Formal Verification Research at Utah State University formal-verification-research
Zhen Zhang's Research Group

Utah State University

@LAVA-LAB
LAVA-LAB LAVA-LAB
The LAVA-LAB conducts research around Learning and Verification in decision-making under uncertainty.

Netherlands

@StanfordMSL
Stanford Multi-Robot Systems Lab StanfordMSL

Stanford University

@UCSD-PL
UCSD-PL
@space-ros
Space ROS space-ros
@riveras
RIVERAS riveras
Robust Integrated Verification of Autonomous Systems

University of Bristol

@haslab
High-Assurance Software Laboratory haslab

Portugal

@cesar-sanchez
Cesar Sanchez cesar-sanchez
Associate Research Professor at the IMDEA Software Institute

IMDEA Software Institute

@sandialabs
Sandia National Laboratories sandialabs
Exceptional service in the national interest.

United States

@sampollard
Sam Pollard sampollard
I am a scientist at Sandia National Labs researching formal methods applied to compilers and high-performance computing.

Sandia National Labs Berkeley, CA

@cea-wismar
CEA Wismar cea-wismar
The CEA group is an interdisciplinary research group of the Faculty of Engineering at the University of Wismar.

Wismar University of Applied Sciences Wismar, GERMANY

@ChuyueSun
Chuyue Sun ChuyueSun

Stanford University

@sbliudze
Simon Bliudze sbliudze
I am a Computer Science researcher at Inria, the French national research institute for the digital sciences, located in Lille metropolitan area.

Inria Lille -- Nord Europe (@Spirals-Team) Lille, France

@caterinaurban
Caterina Urban caterinaurban

Inria & École Normale Supérieure Paris, France

@amazon-science
Amazon Science amazon-science
@statinf-otawa
OTAWA for Statinf statinf-otawa
OTAWA for Statinf
@rems-project
REMS rems-project
@DiffEqML
DiffeqML DiffEqML
Research group for the intersection of deep learning, systems, numerics and signal processing.
@risherlock
Rishav Dhungel risherlock
Masters in Satellite Technology | Applied Mathematics | Control System | Estimation Theory

Würzburg, Germany

@odesca
ODESCA odesca

Wuppertal

@markuskreitzer
Markus markuskreitzer
* PhD student at Auburn University. Doing research in IoT Sensors

@cygnuls Auburn, Alabama

@GasserElAzab
Gasser ElAzab GasserElAzab
@ivanalberico
Ivan Alberico ivanalberico
Currently researcher with focus in Computer Vision for Robotics.

ETH Zürich Zürich, Switzerland

@JDatPNW
JD JDatPNW
BSc. Kempten University | MSc. Purdue University Northwest | MSc. Chonnam National University
@utiasDSL
Learning Systems and Robotics Lab (LSY) utiasDSL
@utwente-fmt
University of Twente - Formal Methods and Tools utwente-fmt

Enschede, The Netherlands

@Auterion
Auterion Auterion

Switzerland

@openxc
OpenXC Vehicle Platform openxc
@esbmc
esbmc
@xuhao1
XuHao xuhao1
PhD student @ HKUST.UAV http://www.xuhao1.me Check my swarm projects on https://github.com/HKUST-Swarm

HKUST Hongkong, China

@gabriele-galeotti
Gabriele Galeotti gabriele-galeotti
HW/SW engineer
@ada-lang-io
ada-lang-io ada-lang-io
Open source management of Ada language resources
@shield-h2020
shield shield-h2020
H2020 - SHIELD project. Mitigation of network threats based on secure NFV, Machine Learning and Trusted Computing
@bolderflight
Bolder Flight Systems bolderflight
We make flight control and data acquisition systems with unparalleled data quality and robustness.

Santa Fe, NM

@NeVerTools
NeVer Tools NeVerTools
@jaypmorgan
Jay Paul Morgan jaypmorgan
Machine Learning researcher with a focus its application to heliophysics.

University of Toulon France

@verivital
The Verification and Validation for Intelligent and Trustworthy Autonomy Laboratory (VeriVITAL) verivital
@ttj of Institute for Software Integrated Systems, Electrical Engineering & Computer Science, Vanderbilt University

Nashville, TN

@Verified-Intelligence
Verified Intelligence Verified-Intelligence
Formal verification tools for AI. Led by Prof. Huan Zhang at UIUC, developed by a multi-institutional team from UIUC/CMU/UCLA/Drexel/Colombia
@srg-imperial
Software Reliability Group srg-imperial

London, United Kingdom