kulczyn.ski

Website review kulczyn.ski

Dr. Mitja Kulczynski

 Generated on January 05 2026 08:41 AM

Old data? UPDATE !

The score is 43/100

SEO Content

Title

Dr. Mitja Kulczynski

Length : 20

Perfect, your title contains between 10 and 70 characters.

Description

Length : 0

Very bad. We haven't found meta description on your page. Use this free online meta tags generator to create description.

Keywords

Very bad. We haven't found meta keywords on your page. Use this free online meta tags generator to create keywords.

Og Meta Properties

This page does not take advantage of Og Properties. This tags allows social crawler's better structurize your page. Use this free og properties generator to create them.

Headings

H1 H2 H3 H4 H5 H6
1 3 0 63 0 0
  • [H1] Hi, I'm Mitja Kulczynski
  • [H2] About Me
  • [H2] Publications
  • [H2] Contact
  • [H4] FMCAD '25
  • [H4] Mitja Kulczynski, Kevin Lotz and Dirk Nowotka
  • [H4] s2s: An Eager SMT Solver for Strings
  • [H4] IJFCS '25
  • [H4] Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen and Anders Schlichtkrull
  • [H4] Certainty in Formalising SMT-LIB for Strings in Isabelle
  • [H4] SBMF '24
  • [H4] Mitja Kulczynski, Kevin Lotz, Florin Manea, Danny Bøgsted Poulsen and Paul Sarnighausen-Cahn
  • [H4] SMT-Query: Analysing SMT-LIB string benchmarks
  • [H4] CIAA '23
  • [H4] Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen and Anders Schlichtkrull
  • [H4] Verified Verifying: SMT-LIB for Strings in Isabelle
  • [H4] TCS '23
  • [H4] Murphy Berzish, Joel Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, and Dirk Nowotka
  • [H4] Towards more Efficient Methods for Solving Regular-Expression Heavy String Constraints
  • [H4] SPIN '22
  • [H4] Mitja Kulczynski, Kevin Lotz, Dirk Nowotka, and Danny Bøgsted Poulsen
  • [H4] Solving String Theories involving Regular Membership Predicates Using SAT
  • [H4] CAU '22
  • [H4] Mitja Kulczynski
  • [H4] Light On String Solving
  • [H4] JSEP '21
  • [H4] Mitja Kulczynski, Florin Manea, Dirk Nowotka, and Danny Bøgsted Poulsen
  • [H4] ZaligVinder: A Generic Test Framework for String Solvers
  • [H4] FM '21
  • [H4] Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, and Vijay Ganesh
  • [H4] Z3str4: A Multi-armed String Solver
  • [H4] RAMiCS '21
  • [H4] Rudolf Berghammer and Mitja Kulczynski
  • [H4] Experimental Investigation of Sufficient Criteria for Relations to Have Kernels
  • [H4] WORDS '21
  • [H4] Murphy Berzish, Joel Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, and Dirk Nowotka
  • [H4] String Theories involving Regular Membership Predicates: From Practice to Theory and Back
  • [H4] DLT '21
  • [H4] Yannik Eikmeier, Pamela Fleischmann, Mitja Kulczynski, and Dirk Nowotka
  • [H4] Weighted Prefix Normal Words: Mind the Gap
  • [H4] CAV '21
  • [H4] Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel Day, Dirk Nowotka, and Vijay Ganesh
  • [H4] An SMT Solver for Regular Expressions and Linear Arithmetic over String Length
  • [H4] F-IDE '21
  • [H4] Mitja Kulczynski, Axel Legay, Dirk Nowotka, and Danny Bøgsted Poulsen
  • [H4] Analysis of Source Code Using UPPAAL
  • [H4] SAT-COMP '20
  • [H4] Thorsten Ehlers, Mitja Kulczynski, Dirk Nowotka, and Philipp Sieweck
  • [H4] TopoSAT2
  • [H4] SMT-COMP '20
  • [H4] Murphy Berzish, Mitja Kulczynski, Federico Mora, Vijay Ganesh, and Dirk Nowotka
  • [H4] Z3str4: A Two-Armed String Solver
  • [H4] AST '20
  • [H4] Mitja Kulczynski, Florin Manea, Dirk Nowotka, and Danny Bøgsted Poulsen
  • [H4] The Power of String Solving: Simplicity of Comparison
  • [H4] FormaliSE '20
  • [H4] Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, and Danny Bøgsted Poulsen
  • [H4] Rule-based Word Equation Solving
  • [H4] LATA '20
  • [H4] Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, and Danny Bøgsted Poulsen
  • [H4] On Collapsing Prefix Normal Words
  • [H4] FMTea '19
  • [H4] Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, and Thomas Wilke
  • [H4] Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods
  • [H4] RP '19
  • [H4] Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, and Danny Bøgsted Poulsen
  • [H4] On Solving Word Equations Using SAT

Images

We found 1 images on this web page.

1 alt attributes are empty or missing. Add alternative text so that search engines can better understand the content of your images.

Text/HTML Ratio

Ratio : 6%

This page's ratio of text to HTML code is below 15 percent, this means that your website probably needs more text content.

Flash

Perfect, no Flash content has been detected on this page.

Iframe

Great, there are no Iframes detected on this page.

URL Rewrite

Good. Your links looks friendly!

Underscores in the URLs

Perfect! No underscores detected in your URLs.

In-page links

We found a total of 4 links including 0 link(s) to files

Anchor Type Juice
Learn More Internal Passing Juice
Dr. Mitja Kulczynski Internal Passing Juice
Publications Internal Passing Juice
Contact Internal Passing Juice

SEO Keywords

Keywords Cloud

nowotka mitja university especially kiel dirk solving formal formulae involving

Keywords Consistency

Keyword Content Title Keywords Description Headings
kiel 4
university 3
dirk 2
formal 2
nowotka 2

Usability

Url

Domain : kulczyn.ski

Length : 11

Favicon

Great, your website has a favicon.

Printability

We could not find a Print-Friendly CSS.

Language

Good. Your declared language is en.

Dublin Core

This page does not take advantage of Dublin Core.

Document

Doctype

HTML 5

Encoding

Perfect. Your declared charset is UTF-8.

W3C Validity

Errors : 0

Warnings : 0

Email Privacy

Warning! At least one email address has been found in the plain text. Use free antispam protector to hide email from spammers.

Deprecated HTML

Great! We haven't found deprecated HTML tags in your HTML.

Speed Tips

Excellent, your website doesn't use nested tables.
Perfect. No inline css has been found in HTML tags!
Too bad, your website has too many CSS files (more than 4).
Too bad, your website has too many JS files (more than 6).
Perfect, your website takes advantage of gzip.

Mobile

Mobile Optimization

Apple Icon
Meta Viewport Tag
Flash content

Optimization

XML Sitemap

Missing

Your website does not have an XML sitemap - this can be problematic.

A sitemap lists URLs that are available for crawling and can include additional information like your site's latest updates, frequency of changes and importance of the URLs. This allows search engines to crawl the site more intelligently.

Robots.txt

https://kulczyn.ski/robots.txt

Great, your website has a robots.txt file.

Analytics

Missing

We didn't detect an analytics tool installed on this website.

Web analytics let you measure visitor activity on your website. You should have at least one analytics tool installed, but It can also be good to install a second in order to cross-check the data.

PageSpeed Insights

Device
Categories

Free SEO Testing Tool

Free SEO Testing Tool is a free SEO tool which provides you content analysis of the website.