Computer Science
ahelwer's user avatar
ahelwer's user avatar
ahelwer's user avatar
ahelwer
  • Member for 3 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
207
reputation
697
reached
1
answer
4
questions
Communities
View all
About

Software engineering consultant specializing in formal methods & distributed systems, especially Z3 and TLA+.

Badges
View all badges
This user doesn’t have any gold badges yet.
1
silver badge
9
bronze badges
Top tags
View all tags
1
Score
1
Posts
20
Posts %
1
Score
1
Posts
20
Posts %
0
Score
2
Posts
40
Posts %
0
Score
2
Posts
40
Posts %
0
Score
2
Posts
40
Posts %
0
Score
1
Posts
20
Posts %
Top posts
All Questions Answers
Score Newest
question
3
What are some examples of proofs that are also themselves "useful" programs?
Oct 7, 2022
question
2
Calculating probability of reaching state in DTMC
Oct 8, 2019
question
2
Modeling a set of probabilistic concurrent processes
Oct 20, 2019
question
2
What is an explanation of the replace operator in the Pie language?
Oct 3, 2022
answer
1
Regular expressions cannot be used to express context free grammars. Is there a similar notation that can?
Oct 7, 2022
Top network posts
View all network posts
32
How to derive the CNOT matrix for a 3-qubit system where the control & target qubits are not adjacent?
19
Copying or moving a remote file using SSH.NET with C#
17
Tools for creating quantum circuit diagrams
13
What do they mean by "qubit can't be copied"?
12
How would I implement the quantum oracle in Deutsch's algorithm?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.