CSTheory SE @StackCSTheory

A Q&A site for theoretical computer scientists and researchers in related fields cstheory.stackexchange.com The Stack Exchange network Joined January 2011

Tweets

8K
Followers

521
Following

0
Likes

0

CSTheory SE @StackCSTheory

3 years ago

Can you answer this? Is this a known problem, and is it NP-complete? cstheory.stackexchange.com/q/52453?atw=1 #nphardness

0 0 0 255 0

CSTheory SE @StackCSTheory

3 years ago

Is this problem involving the computation of the permanent of a matrix $NP$-hard? cstheory.stackexchange.com/q/52441?atw=1 #cccomplexitytheory

0 0 2 250 0

CSTheory SE @StackCSTheory

3 years ago

Can you answer this? Complexity of the unique homomorphism problem up to automorphisms cstheory.stackexchange.com/q/52437?atw=1 #cccomplexitytheory

0 0 0 130 0

CSTheory SE @StackCSTheory

3 years ago

Can you answer this? Error analysis of Estrin's method cstheory.stackexchange.com/q/52433?atw=1 #referencerequest

0 0 0 80 0

CSTheory SE @StackCSTheory

3 years ago

Can you answer this? Dynamic transitive closure with immediate new reachability facts cstheory.stackexchange.com/q/48167?atw=1 #graphalgorithms

0 0 0 97 0

CSTheory SE @StackCSTheory

3 years ago

Can you answer this? Relationship between the transition monoid of an automaton and its adj... cstheory.stackexchange.com/q/52417?atw=1 #referencerequest

0 0 0 55 0

CSTheory SE @StackCSTheory

3 years ago

Free type variables in Hindley-Milner type inference cstheory.stackexchange.com/q/52411?atw=1 #typetheory

0 0 0 53 0

CSTheory SE @StackCSTheory

3 years ago

Can you answer this? Fixpoint of a functor in the category of embeddings cstheory.stackexchange.com/q/52415?atw=1 #ctcategorytheory

0 0 0 55 0

CSTheory SE @StackCSTheory

3 years ago

Can you answer this? Advances in complexity by studying particular problems cstheory.stackexchange.com/q/32923?atw=1 #cccomplexitytheory

0 0 0 93 0

CSTheory SE @StackCSTheory

3 years ago

Hardness of Maximum Independent Set in 3-Colorable Graphs cstheory.stackexchange.com/q/52188?atw=1 #graphtheory

0 0 0 57 0

CSTheory SE @StackCSTheory

3 years ago

Can you answer this? Relativized world in which P ≠ NP = coNP cstheory.stackexchange.com/q/52408?atw=1 #complexityclasses

0 0 0 53 0

CSTheory SE @StackCSTheory

3 years ago

$\mathsf{NL}$ vs. $\mathsf{AC}^1$ cstheory.stackexchange.com/q/52404?atw=1 #cccomplexitytheory

0 0 1 116 0

CSTheory SE @StackCSTheory

3 years ago

Can you answer this? Arithmetization of finite automata cstheory.stackexchange.com/q/52378?atw=1 #lologic

0 0 0 91 0

CSTheory SE @StackCSTheory

3 years ago

Can you answer this? Can we do integer addition in linear time? cstheory.stackexchange.com/q/52391?atw=1 #referencerequest

0 0 0 72 0

CSTheory SE @StackCSTheory

3 years ago

Encoding of finite automata in Intersection Non-Emptiness problem cstheory.stackexchange.com/q/52341?atw=1 #cccomplexitytheory

0 0 0 63 0

CSTheory SE @StackCSTheory

3 years ago

Can you answer this? List Functions That Don't Depend on Length cstheory.stackexchange.com/q/52379?atw=1 #typetheory

0 0 0 77 0

CSTheory SE @StackCSTheory

3 years ago

Can the ellipsoid method be used with a randomized separation oracle? cstheory.stackexchange.com/q/52353?atw=1 #optimization

0 1 1 181 1

CSTheory SE @StackCSTheory

3 years ago

Algebraic equivalent of SAT? cstheory.stackexchange.com/q/52358?atw=1 #sat

0 0 1 101 0

CSTheory SE @StackCSTheory

3 years ago

Formula complexity of arithmetic multiplication cstheory.stackexchange.com/q/52335?atw=1 #circuitcomplexity

0 0 0 97 0

CSTheory SE @StackCSTheory

3 years ago

Intersection non-emptiness problem over regular expressions and NFA cstheory.stackexchange.com/q/52062?atw=1 #cccomplexitytheory

0 0 0 120 0

Professor @MITEECS and @MIT_CSAIL. Computational complexity, algorithm design, and related math. I'll let you know when P != NP is proved (and when it's not)

Ryan Williams @rrwill... @rrwilliams

8K Followers 451 Following Professor @MITEECS and @MIT_CSAIL. Computational complexity, algorithm design, and related math. I'll let you know when P != NP is proved (and when it's not)

Associate Professor, Department of Computer Science @CSAalto, @AaltoUniversity. Research interests: theory of distributed and parallel computing.

Jukka Suomela @JukkaSuomela

2K Followers 1K Following Associate Professor, Department of Computer Science @CSAalto, @AaltoUniversity. Research interests: theory of distributed and parallel computing.

Professor. Complexity Theorist @iitcomputing @fortnow@fediscience.org
@lance.fortnow.com

Lance Fortnow @fortnow

6K Followers 370 Following Professor. Complexity Theorist @iitcomputing @[email protected] @lance.fortnow.com

Nerd, computer scientist (https://t.co/HTZHaHNoS7), Cornell CS prof. I spend a lot of time thinking about lattices and sometimes other things. @NoahSD@mathstodon.xyz

Noah @NoahSD@mathstod... @NoahSD

3K Followers 2K Following Nerd, computer scientist (https://t.co/HTZHaHNoS7), Cornell CS prof. I spend a lot of time thinking about lattices and sometimes other things. @[email protected]

Hung Le @hunglvosu

638 Followers 218 Following Assistant Prof. at Umass CICS, interested in theoretical stuffs. Moving to https://t.co/mD3wXVxSFR

Information Geometry, Information Theory, and Geometric Science of Information (GSI) for machine learning and AI, visual computing, HPC, pyBregMan lib @SonyCSL

Frank Nielsen @FrnkNlsn

36K Followers 2K Following Information Geometry, Information Theory, and Geometric Science of Information (GSI) for machine learning and AI, visual computing, HPC, pyBregMan lib @SonyCSL

Faculty at the University of Colorado. Interested in theoretical computer science, and especially lattices. Also: mountains, running, music.

Huck Bennett @huckbennett

645 Followers 554 Following Faculty at the University of Colorado. Interested in theoretical computer science, and especially lattices. Also: mountains, running, music.

AI Bill of Rights coauthor. Prof@BrownUniversity. Former tech advisor to President Biden @WHOSTP. He/him/his. Tweets my own.

Suresh Venkatasubrama... @geomblog

12K Followers 934 Following AI Bill of Rights coauthor. Prof@BrownUniversity. Former tech advisor to President Biden @WHOSTP. He/him/his. Tweets my own.

Sagnik Chatterjee @chatsagnik

298 Followers 585 Following Ph.D. candidate @IIITDelhi, Theoretical CS, Quantum Computing, Learning Theory.

Physicist. Founder and CEO @horizon_quantum. Former @quantumlah PI and associate professor. Slowly drifting south-east (Dublin-Oxford-Singapore).

Joe Fitzsimons @jfitzsimons

8K Followers 583 Following Physicist. Founder and CEO @horizon_quantum. Former @quantumlah PI and associate professor. Slowly drifting south-east (Dublin-Oxford-Singapore).

Randomname @Randomname59452

0 Followers 6 Following

liyu @qskyliyu

0 Followers 8 Following

nufd @nufd342391

32 Followers 739 Following

Cryptography Researcher @MNNIT Allahabad Prayagraj. Secure Multiparty Computation (MPC), Fully Homomorphic Encryption (FHE)

Rohitkumar R Upadhyay @math4rohit

34 Followers 412 Following Cryptography Researcher @MNNIT Allahabad Prayagraj. Secure Multiparty Computation (MPC), Fully Homomorphic Encryption (FHE)

Building trust through integrity , honest , responsible and resilient client service . Empowering our people and products to drive success.

Malahlela LaboTeK @MLabotek82435

11 Followers 546 Following Building trust through integrity , honest , responsible and resilient client service . Empowering our people and products to drive success.

@vky🧉 @utso_11

93 Followers 2K Following Exploring the world beyond abstraction

CS Theory Fan @CSTheoryFan

79 Followers 1K Following

Alecs P. Hacker @KleeneAlgebra

167 Followers 190 Following stuff that computes.

事実を知りたい @hole42689763

400 Followers 2K Following 事実を捻じ曲げるのは好きでは無いです。ちゃんとした事実を知りたい。間違いは誰でもある事です。その時はごめんなさいしましょう(自分含む)。

Sumi @SumiQvQ

2 Followers 203 Following 雨降る窓辺で

∤∤∤∤∤ @punishdtriangls

1K Followers 3K Following he undertakes with enthusiasm what he holds in horror r/acc Prime Hermeticon

Armando Angrisani @acl_angrisani

363 Followers 1K Following Postdoc at @QSECenter_EPFL He/him

David Young @roboguy20

503 Followers 1K Following Computer science PhD student focusing in programming languages

Computer Science student at the University of Toronto. Enjoys probability theory, comic books, jazz, and the oxford comma. 🇨🇦

Mark Bedaywi @BedaywiMark

31 Followers 203 Following Computer Science student at the University of Toronto. Enjoys probability theory, comic books, jazz, and the oxford comma. 🇨🇦

Alstor Selva @4bsolu7

302 Followers 4K Following United against Trump-Musk-Vance we stand.

Sepehr Heidari @SepehrHeidari81

346 Followers 6K Following Interested in Physics🔭, Mathematics🧮, Computer Science 💻, and Dad Jokes🥸 https://t.co/jtKArilTEr

Code synthesizing Carbon-Silicon based lifeform 🖥️🧬
#Coding #Math #Physics
#HPC & #AI
#RetroTech
#Aerospace
#ＡＥＳＴＨＥＴＩＣＳ
Random #Nerdiness & #Shitposting

ＳＴ０１０－１... @st01014

751 Followers 5K Following Code synthesizing Carbon-Silicon based lifeform 🖥️🧬 #Coding #Math #Physics #HPC & #AI #RetroTech #Aerospace #ＡＥＳＴＨＥＴＩＣＳ Random #Nerdiness & #Shitposting

The Intelligent Systems Program (ISP), a multidisciplinary graduate program at the University of Pittsburgh dedicated to applied Artificial Intelligence (AI).

Intelligent Systems @ISPPitt

514 Followers 2K Following The Intelligent Systems Program (ISP), a multidisciplinary graduate program at the University of Pittsburgh dedicated to applied Artificial Intelligence (AI).

Amanda Chew @chewamanda

229 Followers 117 Following VP of Product at @horizon_quantum. Enjoys the messy process of building things, Math, Tech, and Nature.

A B @A_B346

0 Followers 352 Following

Brian Brost @brost_brian

1 Followers 120 Following

MageCoin @MageCoin_MAG

8 Followers 894 Following MageCoin (MAG) https://t.co/V3nXBb01O3

Yiannis Psarros @giannis_psarros

0 Followers 42 Following

Mary_P_Dolciani @Mary_P_Dolciani

3 Followers 143 Following

Ajay @abitajay

71 Followers 827 Following Theoretical Computer Science (Personal Account)

Hao Sun @HaoSun95713629

84 Followers 213 Following

Amritesh @AmriteshSSL

28 Followers 329 Following Dilettante. Life-long Student! Patterns amuse me.

Physics PhD student at UNM. Quantum computing & quantum error correction

Personal site: https://t.co/lg6wlFQOSO
Blog: https://t.co/RlFBTwVOu6

Alex Fischer @_Alex_Fischer

17 Followers 88 Following Physics PhD student at UNM. Quantum computing & quantum error correction Personal site: https://t.co/lg6wlFQOSO Blog: https://t.co/RlFBTwVOu6

Mantık Araştırmala... @MantikArastirma

2K Followers 96 Following Association for Research in Logic

Alexander Bridges @alexbridgeshere

30 Followers 198 Following Something witty

Sameep Dahal @sameep_dahal1

5 Followers 90 Following

Nichlas @LanghoffNichlas

6 Followers 354 Following CS @ DIKU

Angelos Korakitis @akorakitis

43 Followers 876 Following MSc Student @ University of Athens and National Technical University of Athens

Random Proof @randomproof8

63 Followers 2K Following Notes on Maths, Theory CS & Economics etc. - 📚⚔️🎲

unnatural_log @dejank5

60 Followers 2K Following An orphan of CS and Math. The soul of the science is it's middle finger.

Soumik Ghosh @ghosh_quantum

487 Followers 528 Following Ph.D. student @UChicagoCS. Uses math to peek into the quantum world.

Jian-tao Xiao @aabrielian

250 Followers 2K Following Still a human person...

Vinayak @vinaaayak

14 Followers 558 Following

NP-Soft @spectral_graphs

22 Followers 352 Following Mirror on my wall Casts an image dark and small But I'm not sure at all it's my reflection

Interests: Information retrieval, Systems for Deep learning
Experiences: IIT Kharagpur, Microsoft Turing team, UMass Amherst

vishal @sirsystems2

87 Followers 4K Following Interests: Information retrieval, Systems for Deep learning Experiences: IIT Kharagpur, Microsoft Turing team, UMass Amherst

ANONYMOUS CHE @ptahnam

72 Followers 4K Following ????

Lazar Milenkovic @lazarTCS

28 Followers 121 Following PhD student in theoretical CS.

Prathamesh Dharangutt... @prathameshtd

68 Followers 312 Following PhD student in CS at Rutgers University

Assistant Professor in Computer Science at Boston University @BU_CDS. I'm interested in quantum computing and its impact on physics and cryptography.

Alexander Poremba @aporemba_

1K Followers 1K Following Assistant Professor in Computer Science at Boston University @BU_CDS. I'm interested in quantum computing and its impact on physics and cryptography.

xzx217 @xzx18217

8 Followers 253 Following

Mohandeep Singh @mathephysicist

217 Followers 5K Following "If I feel unhappy, I do mathematics to become happy. If I am happy, I do mathematics to keep happy." - Alfréd Rényi (and me 😄)

Jialiu @jialiuamy

13 Followers 472 Following

Abrahim Ladha @abrahimladha

59 Followers 431 Following complexity @[email protected]

Founder of Ai000 Cybernetic QLab. I am interested in Vulnerability Research, Binary Analysis, Software Architecture, AI, and Low-Level Development.

Milad Kahsari Alhadi @milad_kahasri

47 Followers 532 Following Founder of Ai000 Cybernetic QLab. I am interested in Vulnerability Research, Binary Analysis, Software Architecture, AI, and Low-Level Development.