PostDoc CS researcher @KIT 🇩🇪. Interested in the efficient application of formal methods for making collective decision aggregation trustworthy.
Researcher in formal methods @kastel-security. (he/him)
-
Karlsruhe Institute of Technology (KIT)
- Karlsruhe, Germany
-
10:52
- 1h ahead - https://formal.kastel.kit.edu/~kirsten
- https://orcid.org/0000-0001-9816-1504
- @mi_ki@mstdn.science
Highlights
- Pro
Popular repositories Loading
-
cardCryptoVerification
cardCryptoVerification PublicThis program introduces formal verification to card-based cryptography by providing a technique which automatically finds new protocols using as few as possible operations and searches for lowest b…
-
voting-rule-argumentation
voting-rule-argumentation PublicTowards automatic voting rule argumentation by using computer-aided verification such as software bounded model checking.
-
-
disproveJavaDataDepViaKeyAndJoanaGui
disproveJavaDataDepViaKeyAndJoanaGui PublicForked from bigolol/disproveJavaDataDepViaKeyAndJoanaGui
Java
-
-
minisat
minisat PublicForked from niklasso/minisat
A minimalistic and high-performance SAT solver
C++
140 contributions in the last year
Day of Week | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Contribution activity
March 2025
Created 20 commits in 3 repositories
Opened 2 pull requests in 1 repository
VeriVote/ViRAGe
1
closed
1
merged
-
Update
This contribution was made on Mar 13
-
Fixing code generation for isabelle2023
This contribution was made on Mar 13
11
contributions
in private repositories
Mar 13 – Mar 14