Theoretical Computer Science
selig's user avatar
selig's user avatar
selig's user avatar
selig
  • Member for 10 years, 5 months
  • Last seen more than 1 year ago
Profile Activity
Stats
333
reputation
4k
reached
4
answers
1
question
Communities
View all
About

I'm a computer scientist working in automated reasoning and program verification. More can be found elsewhere online.

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
10
bronze badges
Top tags
View all tags
4
Score
2
Posts
40
Posts %
3
Score
1
Posts
20
Posts %
3
Score
1
Posts
20
Posts %
2
Score
2
Posts
40
Posts %
2
Score
1
Posts
20
Posts %
1
Score
1
Posts
20
Posts %
Top posts
All Questions Answers
Score Newest
question
13
Difference between Types and Sorts
Jul 9, 2013
answer
3
Automatic theorem prover for first-order logic versus model checker
May 29, 2020
answer
2
Is there any second-order logic finite satisfiability checker?
Feb 25, 2021
answer
1
Determine if a structure is a model of an inductively defined predicate
Oct 13, 2017
answer
1
Can we verify satisfiability of first order statements via saturation in sub-exponential time?
Oct 13, 2017
Top network posts
View all network posts
199
Static method behavior in multi-threaded environment in java
24
Java lock concept how internally works?
15
Where is object's hash code stored if biased-locking is enabled in HotSpot JVM?
14
Are Java wait(), notify() 's implementation significantly different from locks?
13
Efficiency of temporary variables in Java

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.