Benjamin Lucien Kaminski
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Education | RWTH Aachen University |
| Affiliations | Saarland University |
| Interests | Formal Methods |
| Quantitative Verification | |
| Program Verification | |
| Program Logic | |
| Probabilistic Programming | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3953833 |