farnazusefi

Ph.D. student at Johns Hopkins University

Johns Hopkins UniversityBaltimore, MD, US.

Pinned Repositories

ehsankhamespanah.github.io
Language:CSS0 0 00
farnazusefi.github.io
Homepage
Language:HTML0 0 00
faultTolerantChatService
Language:C0 2 00
fbSymbolicInterpreter
0 1 00
propertyDecomposer
Language:Java1 1 00
reliable_ordered_multicast
Language:CMake10
test
1 0 00
Veriflow
Language:Java2 0 00
org.rebecalang.compiler
Language:Java4 2 03
org.rebecalang.rmc
Language:Java3 3 22

farnazusefi's Repositories

farnazusefi/Veriflow
Language:Java2 0 00
farnazusefi/propertyDecomposer
Language:Java1 1 00
farnazusefi/reliable_ordered_multicast
Language:CMake10
farnazusefi/test
1 0 00
farnazusefi/farnazusefi.github.io
Homepage
Language:HTML0 0 00
farnazusefi/faultTolerantChatService
Language:C0 2 00
farnazusefi/fbSymbolicInterpreter
0 1 00