Debasmita Lohar
@debasmitalohar
Postdoctoral Researcher at Karlsruhe Institute of Technology. Interested in Program Verification and Testing techniques for safe Approximate Computing.
ID: 1117774209999044609
http://dlohar.github.io 15-04-2019 12:58:33
13 Tweet
65 Followers
95 Following
Morabijn
@morabbin
Haskeller working on @fbinfer @ Meta; Galois Co-Founder; Ex-Head of SCB Strats; Husband; Dad; vintage geek. Views my own. He/him. #BlackLivesMatter
PHD Comics
@phdcomics
Life (or the lack thereof) in Academia. Comic strip by Jorge Cham. Instagram.com/phd_comics
Galois
@galois
Galois applies cutting edge computer science and mathematics to solve difficult technological problems.
Ezgi
@ezgicicek
⚓ London, tweets 🇬🇧🇹🇷🇩🇪 by day, catching bugs in programs & by night, in myself Previous life: PhD in PL @mpi_sws. #direnezgi
Andreas Zeller
@andreaszeller
Software researcher at @CISPA. Testing and analyzing software for a better world. Find me at @[email protected] or @[email protected].
Microsoft Research
@msftresearch
We advance science and technology to benefit humanity.
Swarat Chaudhuri
@swarat
Professor at @UTCompSci, Research Scientist at @GoogleDeepmind. Automated Reasoning + Machine Learning + Programming Languages.
Santosh Nagarakatte
@santoshgnag
Professor and undergraduate program director, Computer Science, Rutgers University, New Brunswick. See my group RAPL: go.rutgers.edu/o15qqq45
Aws Albarghouthi 🍉 أوس
@awsto
computer scientist, professor, palestinian
Loris D'Antoni
@lorisdanto
A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Somesh Jha
@jhasomesh
Professor of Computer Science and a music lover. Interested in formal methods, security, and Trustworthy ML. Oh yes, and classical music and jazz.
Kuldeep S. Meel
@ksmeel
Associate Professor at Georgia Tech and University of Toronto (On Leave). meelgroup.github.io Automated Reasoning | Formal Methods + AI
Tom Henzinger
@thenzinger
Computer scientist @ISTAustria @forwit_at @ERC_Research @theNASciences @royalsociety @Leopoldina @oeaw @acad_euro
Shweta Shinde
@shw3ta_shinde
Assistant Professor at ETH Zurich @CSatETH, Security Researcher. @[email protected]
Ranjit Jhala
@ranjitjhala
curmudgeon
Hasan F. Enişer
@hfeniser
Applied Scientist @AmazonAlexa PhD from @mpi_sws_ AI Safety, Program Analysis, LLM4Code
Sriram Rajamani
@sriramrajamani
Geek, technologist, research junkie. Dad, husband, son, brother & uncle. CVP, Microsoft Research. Working with wonderful colleagues and friends.
Azadeh Farzan
@azadehfarzan
Computer Science Professor
Caterina Urban
@caterinaurban
Research scientist at @inria_paris and @ENS_ULM. Left-handed 🤚, in the footsteps of Alan Turing and Marie Curie. I want a dog 🐕.
László Szekeres
@lszekeres
Fuzzing at @Google.
Martin Vechev
@mvechev
Professor of Computer Science, ETH Zurich. Founder of INSAIT (insait.ai). Works on Safe/Secure AI, LLMs, Quantum. Co-founder of 6 Deep-Tech start-ups.
Alexandra Silva
@alexandra8silva
Computer scientist, loves traveling and food tasting!
Mike Hicks
@michael_w_hicks
Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar cedarpolicy.com. Inactive: see my WWW for new location
Catalin Hritcu
@chritcu
Tenured Faculty at Max Planck Institute for Security and Privacy (MPI-SP) pronoun.is/he
Burcu Kulahcioglu Ozkan
@burcu_at_world
Assistant Professor in Software Engineering at @serg_delft at TU Delft.
Michael Schwarz
@93mschwarz
PhD Student in Computer Science @TU_Muenchen working on Static Program Analysis. Also at: bsky.app/profile/93msch…
ACM-Women
@acm_women
ACM-W (UNC Charlotte chapter) is an organization that supports, celebrates, and advocates the full engagement of women in all aspects of computing.
Suguman Bansal
@sugumanbansal
Assistant Professor at @gatech_scs | Postdoc @Penn | NSF/CRA #CIFellow 2020 | PhD from @RiceCompSci
Cristian Cadar
@c_cadar
Eva Darulova
@malyzajko
Assoc. prof. at Uppsala University. Programming languages, verification, approximate computing, finite-precision. Also @[email protected]
IEEE Computer Architecture Letters
@ieeecal
CAL is a journal for publishing 4-page high impact, high novelty Computer Architecture papers.
PhD_Genie
@phd_genie
The PhD_Genie is here to support academics - from early career researchers to well established scholars. Operated by @IdoRosenzweig. #PhDgenie
Veridise
@veridiseinc
Hardening blockchain security with Formal Methods — Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge.
ACM/IEEE Embedded Systems Week (ESWEEK)
@es_week
Premier conference for software & hardware design of intelligent, connected computing systems. Includes CASES, CODES+ISSS, EMSOFT, MEMOCODE, NOCS.
ACMW Europe
@acm_w_eu
ACM Women Chapters across Europe
Abhik Roychoudhury
@abhikroychoudh1
Professor of Computer Science at National University of Singapore
Norine
@norinecoenen
Computer Science PhD Student @CISPA Helmholtz Center for Information Security and @Saar_Uni
Mayur Naik
@ai4code
Misra Family Professor @CIS_Penn. I do research on neurosymbolic AI and cybersecurity.
Adharsh Kamath
@adharshkamath
PhD student @IllinoisCDS | Previous: @MSFTResearch @surathkal_nitk | PL, FM, SE, AI4Code, Systems
Felix Stutz
@felix_stutz_
PhD Student at MPI-SWS | festutz.github.io | Former Research Intern at MIT | Working on Formal Methods for Distributed Computing
Mainack Mondal
@_mainack
Faculty of Computer Science @IITKgp. Usable security & privacy. Tinkering with systems. Data science. Social media. he/him/his.
Google DeepMind
@googledeepmind
We’re a team of scientists, engineers, ethicists and more, committed to solving intelligence, to advance science and benefit humanity.
Maria Christakis
@mchri5taki5
professor @tu_wien; previously @mpi_sws_, @UniKentComp, @MSFTResearch, @CSatETH, @ecentua; hiring!
Rosa Abbasi
@rosaabbasi
Ph.D. student at MPI-SWS
Marcel Böhme👨🔬
@mboehme_
Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: mpi-softsec.github.io
Amazon Science
@amazonscience
The latest news and research from Amazon's science community. #AmazonScience
Rajeev Alur
@rajeevalur
Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems
Ayan Majumdar
@ayanmaj1992
Ph.D. Student in Computer Science @mpi_sws_, 🇩🇪. Interested in Responsible ML in particular fair and explainable ML systems.
Chandrakana Nandi
@chandrakananan
Director of US R&D, Certora Inc. Affiliate faculty, Allen School, UW, Seattle
Filip Niksic
@filipniksic
Software Engineer at Google