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
alcides
@alcides
Typing types. Associate Professor at the University of Lisbon.
jhemann
@jhemann
Professor of Computer Science @SetonHall. My other car is a cdr. | @jhemann.bsky.social | jhemann.bsky.social
Ezgi
@ezgicicek
⚓ London, tweets 🇬🇧🇹🇷🇩🇪 by day, catching bugs in programs & by night, in myself Previous life: PhD in PL @mpi_sws. #direnezgi
Aastha Mehta
@aasthakm
Assistant Professor, UBC CS, aasthakm.github.io | Past associations @mpi_sws, NetApp, @bitspilaniindia
Johnnatan Messias
@johnnatan_me
Research Scientist @mpi_sws_ PhD from @mpi_sws_ | @saar_uni prev @the_matter_labs | @chainlinklabs Opinions are my own. 🇧🇷🇩🇪
Manish
@manish_algomuse
Assistant Professor 👨🏼💻 @iitrpr | @cseiitrpr
Philippe Desjardins-Proulx
@lambdaphdp
Exploring {Probabilistic Programming w/ Typed λ-Calculi; Lean; Program Synthesis; Self-Improving A.I.; Evolutionary Genetics} @umontreal. Ph.D. @usherbrooke
M U R A D 🙏❤🙏
@findtabasum
LLB PESHAWAR UNIVERSITY
Hasan F. Enişer
@hfeniser
Applied Scientist @AmazonAlexa PhD from @mpi_sws_ AI Safety, Program Analysis, LLM4Code
Don
@xudon9w
Nothing special here
Reza Babaei
@mahmoudreza_b
Postdoc @Max_Planck_CHM PhD @socialmpi, @mpi_sws Researcher @ UCLA Human & AI Interaction, Computational Social Science, Fake News
Diego Manzanas
@dieman95
Deep Learning, Cyber-Physical Systems, Formal Methods. Research Scientist Vanderbilt University
Dirk Beyer
@beyer_dirk
Professor for Software Engineering and Formal Verification at Ludwig-Maximilians-Universität München (LMU)
Professor (Dr.) Arvind Luhar 🇮🇳
@luhararvind
Academician, Researcher and Legal Expert, PhD, M.Com, MBA, MJMC, LL.M, PGDS (OR), FDP-IIM, UGC-NET.
Rohit
@rohitum1986
Roboticist, PhD student in Active Perception Liberal, Opinions Personal
Formal Methods Europe
@formalmtds
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
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…
Vipul
@viptandel
Eva Darulova
@malyzajko
Assoc. prof. at Uppsala University. Programming languages, verification, approximate computing, finite-precision. Also @[email protected]
Vinay Vishwakarma
@timesismoney84
Personal Finance
Tewswaseal
@tewswaseal4ebk
小川 あさみ
@tairtesshlewfh
Heyang Li
@andylu44547216
Graph Database, DSL&SMT
Michael Kirsten
@mi_kirsten
PostDoc CS researcher @LMU_Muenchen 🇩🇪. Follow me on mstdn.science/@mi_ki to find out more 😃. (he/him)
Gurunath
@guru__nath
ML/AI Engineer | NLP, Deep Learning, LLMs, GenAI | MS CS from @UUtah Kahlert SoC | Prev - @slcut2034 | Ex- @Zoho
Amir
@amir_mashmool
Doctoral Researcher in SE | Uni of Bremen | interested in Software Engineering, Program Comprehension, Empirical Software Engineering and related topics.
Ramneet Singh
@ramneet_singhh
Research Fellow @MSFTResearch India | Ex RA @gatech_scs, (B. + M.) Tech. CSE IITD | PL, Verification and Theorem Proving | Sports + Music + Food (in that order)
cpp_ruins_life
@anjumm20
I dabble in computer security and machine learning compilers
Abhisek
@adash0193
Postdoc at MPI-SWS | Algorithmic Auditing | Platform governance | Previously IIT Kharagpur | IIEST Shibpur | IIIT Bhubaneswar
Sina Akbari
@sinakbari
Causality researcher, PhD in computer science @EPFL_en Lausanne🇨🇭
Prameshwar Thakur
@prameshwartha01
facebook.com/share/15sH9jap… tiktok.com/@thakurpk01?_t…
Georgios Tzannetos
@gtzannet
PhD Candidate @mpi_sws_ @maxplanckpress | Machine Teaching Group | Reinforcement Learning, Deep Learning | past: @TU_Muenchen @ntua
Khai Loong Aw
@khai_loong_aw
CS PhD student @Stanford. AI, cognitive science, and neuroscience. @NeuroAILab @StanfordAILab
Mermaid
@mermaid358
Feminist. Quintessential Nerd.
ICISS (Security) Conference
@icissconf
International Conference on Information Systems Security
Mohammad Hossein Khoshechin
@mh_khoshechin
PhD student @ MPI-SWS Interested in Formal Verification / Distributed Systems / Concurrency Theory / @[email protected]
Bernd Finkbeiner
@finkbeinerbernd
Computer scientist at @CISPA and @Saar_Uni. Formal methods, security, cyber-physical systems, and theory of computation.
Shri Roshan Singh
@_kalikho_
Visiting Researcher, CPL Madrid(Adjunct) | Research Engineer, Japan | CS @iitguwahati | Envisioning a better Bihar | Tweets are in personal capacity
FMICS 2023
@fmics_conf
28th International Conference on Formal Methods for Industrial Critical Systems
Adharsh Kamath
@adharshkamath
PhD student @IllinoisCDS | Previous: @MSFTResearch @surathkal_nitk | PL, FM, SE, AI4Code, Systems
Maria Christakis
@mchri5taki5
professor @tu_wien; previously @mpi_sws_, @UniKentComp, @MSFTResearch, @CSatETH, @ecentua; hiring!
Marcel Böhme👨🔬
@mboehme_
Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: mpi-softsec.github.io
Ayan Majumdar
@ayanmaj1992
Ph.D. Student in Computer Science @mpi_sws_, 🇩🇪. Interested in Responsible ML in particular fair and explainable ML systems.
Rosa Abbasi
@rosaabbasi
Ph.D. student at MPI-SWS
Filip Niksic
@filipniksic
Software Engineer at Google
Chandrakana Nandi
@chandrakananan
Director of US R&D, Certora Inc. Affiliate faculty, Allen School, UW, Seattle
Max Planck Institute for Software Systems
@mpi_sws_
We study the principles of efficient, dependable, secure, and usable computing systems.
Roberta De Viti
@rdeviti
PhD student @ MPI-SWS. DS, S&P groups. Passionate about movies, traveling, food, complaining, and complaining about food. Bad sense of humour.
Ahana Ghosh
@ahanag_
PhD Student | Max Planck Institute For Software Systems (@mpi_sws) | AI for Education