Skip to main content
Software Engineering
Nicola Gigante's user avatar
Nicola Gigante's user avatar
Nicola Gigante's user avatar
Nicola Gigante
  • Member for 6 years, 11 months
  • Last seen more than a month ago
Profile Activity
Stats
342
reputation
2k
reached
2
answers
0
questions
Communities
View all
About

Researcher at the Free University of Bozen-Bolzano working on temporal reasoning in formal methods and AI.

Badges
This user doesn’t have any gold badges yet.
2
silver badges
5
bronze badges
Top tags
21
Score
2
Posts
100
Posts %
19
Score
1
Posts
50
Posts %
2
Score
1
Posts
50
Posts %
Top posts
answer
19
What is the reasoning behind making non-determinism a feature of Haskell?
Dec 30, 2017
answer
2
Is writing arithmetic functions to allow "type coercion" a good idea?
Feb 27, 2018
Top network posts
View all network posts
112
Hyperref warning - Token not allowed in a PDF string
39
How can I detect if a type can be streamed to an std::ostream?
27
Why can't TeX show us the actual "undefined control sequence"?
26
Why the libc++ std::vector internally keeps three pointers instead of one pointer and two sizes?
22
Has the semantics of TeX (as a programming language) ever been formalized?