Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
Loading…
  1. 0
  2. +0
    • Back to Computer Science Stack Exchange Return to the main site
    • Tour Start here for a quick overview of the site
    • Help Center Detailed answers to any questions you might have
    • What's Meta? How Meta is different from the main site
    • About Us Learn more about Stack Overflow the company
    • Business Learn more about hiring developers or posting ads with us
  3. Log in Sign up
  4. current community

    • Computer Science
      help chat
    • Computer Science Meta

    your communities

    Sign up or log in to customize your list.

    more stack exchange communities

    company blog

By using our site, you acknowledge that you have read and understand our Cookie Policy, Privacy Policy, and our Terms of Service.

Computer Science
  1. Home
    1. Questions
    2. Tags
    3. Users
    4. Unanswered
Profile Activity
Main user
Network profile
13,671
reputation
6
1

Shaull

Assistant Professor at the Technion, Israel.

Research interests: Dynamical Systems, Formal Verification, Temporal Logic, Automata Theory, Weighted Automata and Weighted Logics, and all things theoretical.

  • Israel
  • shaull.github.io
  • Member for 6 years, 10 months
  • 0 profile views
  • Last seen Dec 26 '18 at 12:56

Communities (6)

  • Computer Science 13.7k 13.7k 11 gold badge2121 silver badges5050 bronze badges
  • Theoretical Computer Science 3.8k 3.8k 11 gold badge1414 silver badges2323 bronze badges
  • Mathematics 181 181 44 bronze badges
  • MathOverflow 171 171 55 bronze badges
  • English Language & Usage 121 121 11 gold badge11 silver badge55 bronze badges
  • View network profile →

Top network posts

  • 37 Can a language have more than one DFA?
  • 28 What's an example of an unsatisfiable 3-CNF formula?
  • 28 Hardest known natural problem in P?
  • 18 Is Dijkstra's algorithm just BFS with a priority queue?
  • 17 A simple decision problem whose decidability is not known
  • 17 Finite state automata: final states
  • 16 Teaching high school TCS - existing programs
  • View more network posts →

Keeping a low profile.

This user hasn't posted yet.

Badges (7)

Gold

—

Silver

6

Rarest

  •  Yearling
    × 6
    Feb 15

Bronze

1

Rarest

  •  Autobiographer
    Sep 24 '14
View all badges →
Computer Science Meta
  • Help
  • Chat
  • Contact
  • Mobile
Company
  • Stack Overflow
  • Stack Overflow Business
  • Developer Jobs
  • About
  • Press
  • Legal
  • Privacy Policy
Stack Exchange
Network
  • Technology
  • Life / Arts
  • Culture / Recreation
  • Science
  • Other
  • Stack Overflow
  • Server Fault
  • Super User
  • Web Applications
  • Ask Ubuntu
  • Webmasters
  • Game Development
  • TeX - LaTeX
  • Software Engineering
  • Unix & Linux
  • Ask Different (Apple)
  • WordPress Development
  • Geographic Information Systems
  • Electrical Engineering
  • Android Enthusiasts
  • Information Security
  • Database Administrators
  • Drupal Answers
  • SharePoint
  • User Experience
  • Mathematica
  • Salesforce
  • ExpressionEngine® Answers
  • Stack Overflow em Português
  • Blender
  • Network Engineering
  • Cryptography
  • Code Review
  • Magento
  • Software Recommendations
  • Signal Processing
  • Emacs
  • Raspberry Pi
  • Stack Overflow на русском
  • Code Golf
  • Stack Overflow en español
  • Ethereum
  • Data Science
  • Arduino
  • Bitcoin
  • Software Quality Assurance & Testing
  • Sound Design
  • Windows Phone
  • more (27)
  • Photography
  • Science Fiction & Fantasy
  • Graphic Design
  • Movies & TV
  • Music: Practice & Theory
  • Worldbuilding
  • Video Production
  • Seasoned Advice (cooking)
  • Home Improvement
  • Personal Finance & Money
  • Academia
  • Law
  • Physical Fitness
  • Gardening & Landscaping
  • Parenting
  • more (11)
  • English Language & Usage
  • Skeptics
  • Mi Yodeya (Judaism)
  • Travel
  • Christianity
  • English Language Learners
  • Japanese Language
  • Chinese Language
  • French Language
  • German Language
  • Biblical Hermeneutics
  • History
  • Spanish Language
  • Islam
  • Русский язык
  • Russian Language
  • Arqade (gaming)
  • Bicycles
  • Role-playing Games
  • Anime & Manga
  • Puzzling
  • Motor Vehicle Maintenance & Repair
  • Board & Card Games
  • Bricks
  • Homebrewing
  • Martial Arts
  • The Great Outdoors
  • Poker
  • Chess
  • Sports
  • more (16)
  • MathOverflow
  • Mathematics
  • Cross Validated (stats)
  • Theoretical Computer Science
  • Physics
  • Chemistry
  • Biology
  • Computer Science
  • Philosophy
  • Linguistics
  • Psychology & Neuroscience
  • Computational Science
  • more (8)
  • Meta Stack Exchange
  • Stack Apps
  • API
  • Data
  • Blog
  • Facebook
  • Twitter
  • LinkedIn

site design / logo © 2019 Stack Exchange Inc; user contributions licensed under cc by-sa 4.0 with attribution required. rev 2019.12.12.35634