Top 100 alternative sites to canhminhdo.github.io
An Incomplete List of 173 Conferences in Computer Science
A list of conferences in formal methods, specification, verification and software engineering
Author: Étienne André
Domagoj Babic's Home Page
Domagoj Babic is a computer scientist. His research interests include verification, testing, and security of complex software (and hardware) systems, automated inference of system models, design and verification of distributed systems, and applied formal methods in general.
Runtime Verification Inc
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
Author: Runtime Verification Inc
Juan Pablo Royo Sales
FP, Haskell, some related math and Computer Science Blog Haskell, Scala, FP, Science, Functional Programming, Math, Formal Methods
Author: Juan Pablo Royo Sales
Daniela Kaufmann
Daniela Kaufmann I am currently a postdoctoral researcher at the Institute of Formal Models and Verification, lead by Armin Biere, at Johannes Kepler University (JKU) in Linz Austria. Prior to that I finished my PhD in Computer Science at JKU in April 2020. My PhD thesis is on formal verification of multiplier circuits using computer … Continue reading ""
Nikolai Kosmatov's homepage
Nikolai Kosmatov's homepage. Nikolai Kosmatov is a researcher in computer science, automatic software verification and testing.
Author: Nikolai KOSMATOV
D-RisQ | UK | High Tech | Aerospace & Defence | Automotive | Cyber
D-RisQ Ltd. is a leading UK software and verification system provider based in Malvern, Worcestershire. Using formal methods mathematical techniques, we’ve developed a suite of software verification products designed to help your organisation meet the toughest software behavioural assurance standards set by international regulators.
tech book club
Explore classic computer science literature and learn how to apply it to everyday software engineering.
Read PDF Formal Languages and Computation: Models and Their Applications
Formal Languages and Computation: Models and Their Applications gives a clear, comprehensive introduction to formal language theory and its applications in computer science.
Haoze Wu's Homepage - Stanford Computer Science
Welcome! I am a 4th-year Computer Science PhD student at Stanford University advised by Clark Barrett. I am interested in formal verification and machine learning. I work on a formal analyzer of deep neural network called Marabou. I did my undergraduate at Davidson College, where I majored in Mathematics and...
Author: Haoze Wu
Software and Computational Systems Lab
The Chair for Software and Computational Systems at LMU Munich represents the area of development, verification, and maintenance of software systems. Our research focuses on models, methods, and algorithms for the efficient analysis of software systems.
Katalin Fazekas receives Hertha Firnberg Fellowship
The FORSYTE group at Vienna University of Technology researches and provides teaching in the fields of software model checking, test case generation, static analysis, protocol verification, and formal methods for distributed and concurrent systems.
Onetug - Engineered For Excellence
Software engineering applies engineering principles and techniques to the design of large-scale, integrated software systems. The software engineer must be proficient in the theory and methods of computer science.
Author: Mildred Malave
Science of Software - Computing Education Research
Science of Software - Computing Education Research : Science of Software - Computing Education Research
ECCOMAS – European Community on Computational Methods in Applied Sciences
ECCOMAS, the European Community on Computational Methods in Applied Sciences, is a scientific organization grouping together European associations with interests in the development and applications of computational methods in science and technology. Know More News
Author: Andreu
André Platzer @ Carnegie Mellon University
André Platzer, Professor of Computer Science at Carnegie Mellon University. Research, publications, tools, and courses on logic, computer science, and mathematics. Especially, verification of cyber-physical systems.
Author: Andre Platzer
André Platzer @ Carnegie Mellon University
André Platzer, Professor of Computer Science at Carnegie Mellon University. Research, publications, tools, and courses on logic, computer science, and mathematics. Especially, verification of cyber-physical systems.
Author: Andre Platzer
Paul Estrada
... computer science, software and stuff ...
Author: Unknown
Books
Digital Systems Press publishes quality books on advanced computer science topics
Other sites like canhminhdo github io
Programming Book
Programming-Book.com Download free Lectures Notes, Papers and eBooks related to programming, computer science, web design, mobile app development, software engineering, networking, databases, information technology and many more
IT BOOKS
Computer books. ItBooks.net offer new computer books, software, hardware, graphics, database, networking, programming, operating systems, internet, games, applications software.
ChainSecurity
Smart contract audits with formal verification
Fares AlHarbi
Well, formally: a Mathematics student, with interest in Computer Science. Sometimes I work on the intersection between Mathematics & CS.
Simon Zeng | Software Engineer and Computer Science Student
Software Engineer and Computer Science Student
Author: Simon Zeng
About | Felipe Bañados Schwerter Personal Website
PhD Candidate at UBC. Research interests include Programming Languages, Type Systems, Gradual Typing, Abstract Interpretation, Formal Verification, Human Computer Interaction, Provenance, and Social Aspects of Computing.
Author: Felipe Bañados Schwerter
Tech Stuff and Notes
programming, software development, computing science, software technologies, learning, &c.
My hobby: proof engineering
Computer science, software engineering, math, and music.
Food Concerns - Random thoughts on software development and computer science
Random thoughts on software development and computer science
Author: Freddy S
Denis Kyashif's Blog
My personal blog on software development and computer science.
Author: Denis Kyashif
EnviroComp Consulting, Inc.
We master the proficient use of computational methods in environmental sciences. In particular, many of our investigations deal with atmospheric sciences and the computer simulation of transport and fate of pollutants in the atmosphere.
Author: EnviroComp Consulting; Inc
HandWiki - a wiki encyclopedia of science, technology and computing - HandWiki
HandWiki - Wiki Encyclopedia of Science, Technology and Computing for collaborative editing of articles dedicated to science and applications of computers, software and programming
Proofcraft
Commercial support, verification projects, training and consulting in formal verification in general and the seL4 microkernel in particular.
Tomáš Mikula
I am PhD student of Computer Science at Palacký University. My specialization is math psychology and Formal Concept Analysis. I also love Python programming ...
Author: Tomáš Mikula
Book benefits
bookbenefits is blog is interested in everything related to the field of electronics and computer science, programming and teaching lessons in that.
Author: Hassan hemmach
Montessori Computers | Screen Free Computer Science
A screen free computer science curriculum using Montessori teaching methods. Bring Montessori Computers to your students and show them what is behind the screen.
Sanori's Blog
Sanori's writings about software development and computer science.
Author: Joo-Won Jung
Samuel Haque - Portfolio Website
Software Developer/Engineer with a BSc Honours in Computer Science
Author: Samuel Haque
Engineering Kraken
A software engineer's voyage to obtaining a computer science education
Sayom Shakib
Full Stack Software Developer and Computer Science Enthusiast
Author: Sayom Shakib
What else canhminhdo.github.io alternative websites
Paul Schulte
Paul Schulte. Computer Science. Software Develop. Portfolio.
Lucas | KNWS: Software Developer & Student. | knws.dev
I'm a Software Developer & Student majoring in Computer Science.
Hi! I'm Anirudh
Computer Science Grad from UCLA. Software Engineer @ Plaid.
Author: Anirudh Veeraragavan
Home - Johannes Kinzigs Blog
This Blog is about Computer Sciences, Software Development and IT-Security
Nobile Engineering | Welcome
Embedded software development, Computer Vision & Data Science, High Performance Computing, Munich
Author: Andrea Nobile
Data Validation
Formal methods for validating data
Author: ClearSy
PE LitSoft
Development with engineer approach with latest achievements in computer sciences: model checking technique, symbolic technologies, algebraic methods. The main areas of development: verification and testing systems, cybersecurity application for communication protocols, reverse engineering methods, development of visualization tools, design and implementation of safety critical systems, internet of things, cyberphysical systems and other domains that required scientific approach combined with engineer methods.
Author: Super User
Home
COMPUTER SCIENCE Project Topics, Research Works, Materials, and software, Download COMPUTER SCIENCE Projects Topics and Materials. Generate thesis document.
Bentham Books - Bentham Science Publishers
Bentham Science publishes Books in all areas of Science, Technology, Medicine, including Agriculture, Chemistry, Computer & Information Sciences, Earth & Environmental Sciences, Engineering & Technology, Life Sciences, Material Sciences, Mathematics & Statistics, Medicine, Nanoscience, Pharmaceutical Sciences, Physics & Astronomy, Social Sciences.
Author: Release Date
Yonatan Bisk
Yonatan Bisk, Assistant Professor of Computer Science at CMU -- RoboNLP, NLProc, Grounded Language, Unsupervised Methods, and more
Leniel Maccaferri's blog
Everything software engineering with a strong background in computer engineering / science
Author: Leniel Maccaferri
Edmund Weitz
Math and computer science - books, videos, software, and interactive demonstrations
Matthew Walinga
I'm a software developer studying Computer Science at the University of Waterloo.
Mengqi's Tech Land
Share personal notes on Computer Science, Software Engineer, and the world.
Author: Mengqi Wang
Computer Science student & Software Engineer - Alexander von Studnitz
I'm a Computer Science student at TU Darmstadt and work as a Software Engineer.
Author: Follow
Weisser Zwerg
Blog about software development, computer science and technology in general.
Blake Khan
Blake Khan is a software engineer and a computer science graduate student.
Author: Blake Khan
Wilfrantz Dede - Personal Portfolio — dede.dev
UML Computer Science student, aspiring system software Engineer.
Author: Dede Dev
Antoine Latournerie | Résumé
Antoine Latournerie, engineer in computer science, web and software developer.
Making Dante correctly work with tests in Haskell project.
Blog about software engineering, Linux, computer science and other fun stuff.
Other websites similar as canhminhdo.github.io
Coding Out Loud
An exploration of various software engineering and computer sciences topics and ideas.
Author: David Poxon
Technological Thoughts by Jerome Kehrli
A blog about Computer Science, Software Engineering and Disruptive Technologies.
Dominique Wirz
Dominique Wirz is a software engineer with a BSc FHO in Computer Science.
Examotron - Past Concordia midterms and finals | Exam Bank | 2021
Study material for Software Engineering and Computer Science students at Concordia.
CMES 2021 - International Conference of Computational Methods in Engineering Science
International Conference of Computational Methods in Engineering Science (CMES 2021), concentrated on Analysis of engineering processes, Application of computer programs in technology, Artificial and computational intelligence, Computational fluid dynamics (CFD) and more.
Gowtham Kaki
I'm an Assistant Professor of Computer Science at the University of Colorado, Boulder. My research interests include Programming Languages, Program Verification, and Distributed Systems.
Software Engineer Insider
Software Engineer Insider is intended to be a best in class resource for learning about the profession and related professions like software development and computer science. SEI also offers the most comprehensive listings of software engineering, computer science and software development programs on the planet. Get Nerdy with us.
Sainag Shetty
Sainag Shetty's Personal Website | Software Development | Data Science | Student of Computer Science. Find out all about me!
Ritij Jain
Computer science major at Penn State with an interest in robotics, data science, and full-stack software development.
ICCQ-2022: 2nd International Conference on Code Quality
In cooperation with IEEE Computer Society the event is focused on static analysis, program verification, bug detection, and software maintenance.
Home
CECAM promotes fundamental research on advanced computational methods and their application to important problems in frontier areas of science and technology.
Author: Super User
Some websites with similar theme to canhminhdo.github.io include:
Dennis Soemers' Homepage
Dennis Soemers’ personal webpage (currently working towards a Ph.D. at Maastricht University).
Author: Dennis Soemers
Mk's Blog
personal web for Moonsoo Kim
Author: Moonsoo Kim
DEV HISTORY
꾸준히 남기는 기록
Author: Song
Codeseeder
Python & AI Enthusiast
Author: Atri Saxena
ZZEN's Blog
Hello! ZZEN의 개발 블로그입니다 :>
Author: ZZEN
alitursucular.github.io
Welcome to my GitHub Pages! I am a Front End Engineer and a contractor in London, UK
Author: Ali Tursucular; Ali Turşucular
InnovAnon, Inc.
InnovAnon,InnovAnon-Inc,Innovations Anonymous,Innovations,Anonymous,Free Code for a Free World,Free Code,Free World,Code Monks,Code Seva,Human Programming,Human Programming Technology,Adversarial,Sanatan,Dharma,Adversarial Sanatan Dharma,Sanatan Dharma,Shiva,Kali,LFS,Void
Author: Innovations Anonymous
Waldirio's Blog
An amazing website.
Author: Waldirio M Pinheiro
Red Team Blog
An amazing website.
Author: Zach Stein
More other alternatives for canhminhdo github io
노력하는 개발자
일주일에 한번씩은 포스팅하는게 목표인 대학생
Everyday Just a little bit
Oompu’s blog
Author: Surk Park Antonio; Surk Park
Jungsoo Yun
minimal-mistakes 테마를 사용한 블로그입니다.
Author: Jungsoo Yun
ZZAEBOK'S BLOG
zzaebok’s blog
Author: Zzaebok
Clearly Erroneous
A blog on Data Science and life in between
Author: Martina Pugliese
>> Coding4ever's Blog <<
Coding4ever’s Blog
Author: Kamarudin
JEVLOG
프로그래밍 이야기
Author: JEGYUN
러닝워터 개발 블로그
즐겁게 배워가고 있는 개발자의 블로그
TralahM
Mathematician and Computer Scientist ,Programmer, Author, Pan-African,Kenyan,Systems Engineer, Researcher, Machine Learning Engineer, NLP , Robotics, UNIX, Linux, VIM, Blockchain,
Author: Tralah M Brian
Wook's Blog - Data is the new oil
Interested in AI, Big Data, Data-Mining, Deep-Learning, NLP, Algorithm.
Author: Sw Yoo; Sungwook Yoo
Geumju's Week
Geumju’s DevLog.
Author: Geumju
JinHo Kang
새로운것을 배우는것을 좋아하고, 학습하는 것을 즐깁니다.
Author: JinHo Kang
호두코딩
경영학과를 다니다 개발에 눈을 뜬 Data Scientist 꿈나무. Data Science, Deep Learning을 공부합니다.
Author: Seoyoung H
공부를 좋아하는 개발자
기술 블로그
Author: GreatLaboratory
Origogi
Origogi’s blog.
Author: Origogi
잡다한 IT 개발 이야기
Author: Ricky Lee
혼자서하는 괴발개발 블로그
혼자서하는 괴발 개발 블로그
Author: Aisolab
게으름에 의한 게으름을 위한 기록소
공부해서 남주자
Author: Monetd
시행착오 모음집
초보자 홍주의 셀프 육성일기
Author: Hongju Kim
일일기록
그날그날의 정리
Author: Yooneun Heo
Way Back home
이것 저것 정리
Author: Suheyon Jin; Suhyeon Jin'S Blog