pierg

Postdoctoral Researcher at EECS Department of UC Berkeley

Pinned Repositories

berkeley-cps-symbiotic-design
DARPA Program 2023 for Symbiotic Design for Cyber Physical Systems
Language:Python11
pacti
A package for compositional system analysis and design
Language:Python19 6 1625
anomaly-detection
Anomaly Detection in Event Streams: Leveraging advanced deep learning for anomaly detection in event streams, with metrics evaluation, Slurm support, and Hadoop HDFS validation.
Language:Python1 1 00
cloud-guardian
Modeling and analysis of IAM security policies
Language:Python1 1 20
crome-cgg
Contract-Based Goal Graph Implementation. Combining LTL synthesis and contract-based design to model and analysis complex systems
Language:Python11 1 01
crome-contracts
Contracts operations tools, based on LTL
Language:Python10 1 01
crome-logic
Language:Python10 1 01
crome-synthesis
Language:Python10 1 01
fact-fortress-dapp
Zero-Knowledge Proof Framework - Winner of 2023 UC Berkeley ZKP Hackathon
Language:Solidity3 1 51
GPTLabs
Building and Training Transformers Step-by-Step
Language:Python20

pierg's Repositories

pierg/pvsio-web
A javascript library to connect to and communicate with a pvsio process using websockets
Language:JavaScript2 0
pierg/TorcsProject
Language:Python1