Kai

less info

network profile

627 reputation

24

bio	website	cse.unsw.edu.au/~kaie
	location	Sydney, Australia
	age	46
visits	member for	2 years, 3 months
	seen	May 16 at 1:26
stats	profile views	83

summary answers questions tags badges favorites bounties reputation activity

11 Answers

votes activity newest

8	Reasoning about non-deterministically terminating loops
8	Applications of metric structures on posets/lattices in theoryCS
6	Sufficient conditions to guarantee unique fixpoint (not unique least/greatest fixpoint) for monotone functions on complete lattice
5	How to auto-derivate sequential iterative programs from a mathematical specification?
5	Decide if a given sequence is regular or context-free

view more

627 Reputation

+20	Does mathematical model for conccurent computations exist?
+50	How to auto-derivate sequential iterative programs from a mathematical specification?
+10	How hard is it to reduce termination to partial correctness?
+10	Decide if a given sequence is regular or context-free

view more

0 Questions

votes activity newest

This user has not asked any questions

26 Tags

19 reference-request × 3	9 lo.logic × 2
17 lattice × 3	8 fl.formal-languages × 3
17 order-theory × 3	8 pl.programming-languages × 2
11 metrics × 2	8 denotational-semantics
11 co.combinatorics × 2	6 algebra

view more

3 Accounts

	Theoretical Computer Science	627 rep	24
	Computational Science	101 rep
	Computer Science	101 rep

5 Badges

recent class name

Yearling × 2	Editor
Critic	Teacher
Supporter

0 Active bounties

active offered earned

This user has no active bounties

8 Votes Cast

all time			by type
5	up		2	question
3	down		6	answer

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Arqade (gaming) Bicycles Role-playing Games more (22)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.5.17.690

Theoretical Computer Science Stack Exchange works best with JavaScript enabled