FLoC2022
@floc2022
Federated Logic Conferences 2022
Haifa, Israel
ID: 1251091607576891392
17-04-2020 10:14:49
31 Tweet
205 Takipçi
0 Takip Edilen
Eran Yahav
@yahave
Professor @TechnionLive & CTO @Tabnine
vaucouleur
@vaucouleur
Neha
@neharungta
Applied Science Director, AWS @[email protected]
Rob Stewart
@robstewartuk
Associate Professor in Computer science. Functional programmer, HPC, embedded systems, deep learning for Edge Computing. @[email protected]
A T
@idramedy
Remco
@recmo
🪩 World | Math & Engineering @ 2π.com
Mat Grainger
@mathewgrainger
Kuldeep S. Meel
@ksmeel
Associate Professor at Georgia Tech and University of Toronto (On Leave). meelgroup.github.io Automated Reasoning | Formal Methods + AI
Reynaldo Gil Pons 🇨🇺
@gilcu3
more active at [email protected]
Nicola Gigante
@gignico
Researcher (RTD/a) at the University of Bozen, Italy @unibz. This profile is on hold. Please do yourself a favour and quit using this platform.
Vitaly Lagoon
@lagoonv
cλbai
@_cybai
Taiwanese, never Chinese! λ. @ServoDev contributor, Mozillian. Opinions are my own. he/him
Emilio J. Gallego Arias
@ejgallego
Researcher. ejgallego @ bsky.social and mathstodon.xyz ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq, ARP 2600, Lean.
chris fraser
@cmfraser37
brought to you by Hidden Valley Ranch
Mate Soos
@soosmate
Hacker, security architect, and researcher. Hobbies: SAT solving, accident investigations, rc modeling, etc.
Tuo Chen Peng
@yfardsrqh417
anna
@aldlatour
Computer Scientist. Postdoc interested in Boolean satisfiability and counting. Feminist. Trekkie. Traveller. Opinions my own. @[email protected]
Josep Alòs
@alos95
Ignacio Ballesteros
@iballesteros_g
Me pillas con la bio en construcción. Vuelva usted mañana. bsky: @ignacioballesteros.es 🦋
Yang Fan
@yangfan879
Gabriele Masina
@gabrielemasina
Raven Beutner
@ravenbeutner
PhD Student @CISPA and @Saar_Uni
Pablo Castro
@pfcastro_
Formal Methods Europe
@formalmtds
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Luca Aceto
@aceto_luca
Jingbo Wang
@bobowang2014
Incoming Assistant Professor @PurdueECE, Ph.D. in formal verification, PL/SE @CSatUSC, fan of @vardi. Opinions my own
Aman Singh
@asingh_13
CS grad student
Tiago
@tiferrei2000
he/him • Computer Scientist @UCL_PPLV
Nikolaj Bjorner
@bjornernikolaj
Talia Ringer 🟣 🎗️
@taliaringer
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Rajeev Alur
@rajeevalur
Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems
Borzoo Bonakdarpour
@theborzoo
Husband, Dad, Associate Prof of Computer Science at Michigan State University. Computer and music nerd.
Stefan Szeider
@stefanszeider
So long, Twitter. Time to log off for good. Find me on Bluesky bsky.app/profile/szeide…
Yotam Feldman
@yotamfe
Postdocing in physical chemistry (molecular dynamics), PhD in computer science (formal verification). @SchmidtFellows 2023
VCLA at TU Wien
@vclatuwien
Vienna Center for Logic and Algorithms at TU Wien @tuvienna #ERC #MSCA #FWF funded #LogiCS Phd & @adaalgorithmen * vcla.at
Hila Peleg is not here 🦋
@hilacodes
Assistant Professor at @TechnionLive CS. Researches program synthesis and hopes to bring about the robot apocalypse. (she/her)
Anastasia Isychev
@izycheva
postdoc @tu_wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)
Tzu-Han👩🏻💻🎹
@tzuhanh
CS PhD student @TheBorzoo, interned at @MSFTResearch @AWScloud, plays piano & violin, into formal verification/security/hyperproperty, also 🎻🎹🎵🎬🌹🥑☕🥂🦙🦜
Mooly Sagiv @ NYU
@sagivmooly
CEO of @CertoraInc and a chair of software systems at @TelAvivUni
Rajdeep Baruri
@barurirajdeep
Ben
@naturegenius1
nobel mind, big fan of nature.
The Blue Elephant
@lllllllll3197
One world, One Heart, where is the love?🐢🌍❤️
tal
@tomertal4
SA
@genius__pg
Reliable Autonomous Systems Lab at MIT (REALM)
@mit_realm
Reliable Autonomous Systems Lab (REALM) @MIT. We design, analyze and verify safe control systems.
Manuel Carrasco
@manuelgcarrasco
PhD student at @SRGImperial
Thug Logician
@logicianthug
Anagha
@athavaleanagha
Dr Paola Cattabriga
@cattabrigapaola
Logician, working on diagonalization and self-referring procedures.
Milán Mondok
@mondokmilan
Master's student in computer engineering
babalwa_yemyem
@babalwayemyem
Solimul Chowdhury
@solimulc
CS Postdoc@Carnegie Mellon University. into Books and Movies, enamored with Philosophy and Poetry.
Brian Zhengyu Li
@brianforphd
Automated Reasoning + Neuro-symbolic AI | PhD Student in CS @georgiatech | Math @uwaterloo & @uoft Alum
Mitesh Jain
@miteshjainsk
MihirT
@mihirt002
Solving Problems...
Emmanuel Anaya González
@e_anaya_g
human
Shung-Hsi Yu
@shunghsiyu
Kernel Engineer @SUSE messing with BPF #StandWithUkraine 💙💛 Also at @[email protected]
Yang Hu
@huyangtweets
Applied Scientist at AWS, Ph.D. at UT Austin, Research on GenAI for Security, Automated Reasoning, Software Security
Kishor Jothimurugan
@keysshore
Quantitative Researcher @twosigma
asdansdas
@asdansdas
Skylee
@skyleebot
Chelsea Edmonds
@chelsealedmonds
Research Associate @shefcompsci working on formal verification & security. Passionate about CS Education. PhD (Cambridge), AFHEA. Bluesky: cledmonds.bsky.social
Mikolas Janota 🇵🇹🇨🇿
@janotamikolas
Computer Science researcher, automated reasoning enthusiast.
DvH
@hh_wandsbek
Software, Oil, Water, Math
Fauzia Ehsan🇵🇸🕊🤲
@fzehsan
KR
@kr_conference
Welcome to the official Twitter account of Int'l Conf. on Principles of Knowledge Representation and Reasoning. #KR2023: Sep. 2-8, 2023, Rhodes, Greece.