-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
79 lines (79 loc) · 3.75 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
<!DOCTYPE html>
<html>
<head>
<!-- Global site tag (gtag.js) - Google Analytics -->
<script async src="https://www.googletagmanager.com/gtag/js?id=UA-114342299-1"></script>
<script>
window.dataLayer = window.dataLayer || [];
function gtag(){dataLayer.push(arguments);}
gtag('js', new Date());
gtag('config', 'UA-114342299-1');
</script>
<link rel="stylesheet" type="text/css" href="style.css">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<meta charset="UTF-8">
<meta name="description" content="Fedor Shmarov personal webpage">
<meta name="author" content="Fedor Shmarov">
<title>Fedor Shmarov, School of Computing, Newcastle University</title>
</head>
<body>
<div class='content'>
<div class='right_align'>
<img class='photo' src='img/photo.jpg'/>
</div>
<div class='left_align'>
<h1>Fedor Shmarov</h1>
I am a Lecturer in the <a href='https://www.ncl.ac.uk/computing/'>School of Computing</a> at Newcastle University
and a member of the <a href='https://www.ncl.ac.uk/computing/research/amber/'>Advanced Model-Based Engineering and Reasoning (AMBER)</a> research group.
My research interests include cyber-physical systems, formal methods, model checking, software verification and computational modelling.
[<a href='cv/'><strong>Academic CV</strong></a>].
</div>
<div class='left_align'>
<h3>Teaching Activities</h3>
<ul>
<li class='bottom_margined'>
<a href='https://www.ncl.ac.uk/module-catalogue/module.php?code=CSC8404'>CSC8404: Advanced Programming in Java</a> [Module Leader]
</li>
<li class='bottom_margined'>
<a href='https://www.ncl.ac.uk/module-catalogue/module.php?code=CSC1035'>CSC1035: Programming Portfolio 2</a> [Lecturer]
</li>
<li class='bottom_margined'>
<a href='https://www.ncl.ac.uk/module-catalogue/module.php?code=CSC1036'>CSC1036: Programming Portfolio</a> [Lecturer]
</li>
</ul>
</div>
<div class='right_align'>
<h3>My Profiles</h3>
<a href='https://scholar.google.com/citations?hl=en&user=Yh91CZMAAAAJ'>Google Scholar</a><br>
<a href='https://www.linkedin.com/in/fedor-shmarov-5172b7107/'>LinkedIn</a><br>
<a href='https://orcid.org/0000-0002-3848-451X'>ORCID</a><br>
<a href='https://www.researchgate.net/profile/Fedor-Shmarov'>ResearchGate</a><br>
<a href='https://github.com/shmarovfedor'>GitHub</a><br>
<a href='https://www.ncl.ac.uk/computing/staff/profile/fedorshmarov.html'>Newcastle University Profile</a><br>
</div>
<div class='left_align'>
<h3>Software Projects</h3>
<div class='bottom_margined'>
<a href='https://github.com/esbmc/esbmc'>ESBMC</a> - bounded model checker based on
satisfiability modulo theories for the verification of single- and multi-threaded C/C++ programs
</div>
<div class='bottom_margined'>
<a href='https://github.com/dreal/probreach'>ProbReach</a> -
application for computing probabilistic bounded reachability in stochastic parameteric hybrid systems
</div>
<div class='bottom_margined'>
<a href='https://github.com/dreal/biology'>BioPSy</a> - application for guaranteed parameter set synthesis in biological systems.
</div>
</div>
<div class='right_align'>
<h3>Contact information</h3>
<div class='bottom_margined'>
Address: Urban Sciences Building, 1 Science Square, Newcastle upon Tyne, NE4 5TG
</div>
<div class='bottom_margined'>
Email: [email protected]
</div>
</div>
</div>
</body>
</html>