Wikipedia:WikiProject Computer science/Participants
Appearance
The following table lists users who are active participants in the WikiProject Computer science. If you would like to join the project, please feel free to add yourself to the list. Instructions for doing this can be displayed by editing the page (if you can't figure out how to edit the table, just leave your info underneath the table, and someone will probably update the table for you).
If you are a participant, you can keep in touch with project developments by clicking here to add Wikipedia:WikiProject Computer science to your watchlist
User (T C)1 | Areas of interest | Comments | |
---|---|---|---|
Hasan Danish (T C) | 2D and 3D Animations, Graphics Design, Web Design, Game Design and Developing, Interested in latest technologies | Currently doing A - Level's in Computer Science and got distinction in Computer Science in 'O' Level's | |
A B Carter (T C) | functional programming, programming language theory | autodidact | |
Adam McCormick (T C) | Mostly here to expand tagging, do assessments and general updating. CG, Algorithms, Dynamical Simulation | Computer Graphics and Applied Algorithms Masters student at the Colorado School of Mines. | |
Alexander Schindler (T C) | Software Cost Estimation | Currently working on my Masterthesis at the Vienna University of Technology. | |
Adam Stevenson (T C) | Self Organizing Information Systems, Parallel Processing, Biological Inspired Systems | Working toward a interdisciplinary M.S. in Biology at Texas A&M University. It is my hope that by studying biology I can gain further insights into information theory. | |
Anthony Atkielski (T C) | All aspects of applied computer science | Varied continuous professional experience since 1973, most types and sizes of systems from mainframe to PC, mainly technical and mostly software | |
Arild Hystad (T C) | Anything related to computer science | Nothing yet | |
Allan McInnes (T C) | embedded systems, concurrency, theoretical computer science, formal specification, process calculi, software engineering | Embedded systems engineer with a multi-disciplinary product development company | |
Andre Oboler (T C) | software engineering, process improvement, programming, Empirical software engineering, Computer Science Education, Internet, Web 2.0 | PhD Lancaster University completed in 2007, supervised by Ian Sommerville and Simon Lock | |
Andrew Curioso (T C) | Software Engineering, Internet, Object-oriented programming, PHP | BS Computer Science Wentworth Institute of Technology. Software engineer and author. | |
Andrew Eisenberg (T C) | Aspect-oriented programming, Domain Specific Languages | Ph.D. Student at The University of British Columbia | |
Angus Lepper (T C) | General computer science; have pretty solid knowledge of C(99), the IA-32 architecture and operating system development | No formal education beyond current high school level, although I have a bit of experience and 'informal' education at under-grad. level | |
Ben Tillman (T C) | Programming languages, C++, Operating systems, | B Comp Sci, but headed into mathematics. | |
Betax (T C) | Python (programming language), JavaScript, HTML, AppleScript, XML,XHTML, Robotics, Autonomous robot | I am glad to be part of this WikiProject. | |
BlueLint (T C) | Programming languages, Operating systems, Computer architecture, Parallel computing | ||
Brad Beattie (T C) | All the formal jazz that UW taught (algorithms, AI, concurrency, etc) and currently involved in OSX development (Core Data, Cocoa, Objective-C) | BMath graduate in Computer Science from the University of Waterloo | |
Brozo M (T C) | I'm interested in mathematical web applications as well as in chess algorithm development. | Computer science and IT student at University of Maribor (FERI). I'm interested in mathematical web applications as well as in chess algorithm development. | |
Bubba73 (T C) | Algoritmns and the history of first and second generation computers | MS in CS from University of Illinois | |
Bryan Mills (T C) | type theory, formal specification, functional programming, programming language theory | BS (CMU SCS), current MS student at same | |
Arkan Hadi (talk) | Computer Science, Web Development, Mobile Computing | BSc in Computer Science (Sutlan Qaboos University) | |
CaptainMorgan (T C) | Anything to do with Computer Science, with special emphasis given to networking/network programming, cryptography/security, and Linux. | B.Sc, Dual Major in C.S. and Math. | |
C0N6R355 (T C) | C++ operating system development, security, kernel modification. | B.Sc, also work on math topics. | |
Cgsguy2 (T C) | All aspects of computer science, but especially software testing and test driven development | Studying for Bachelor's Degree in Software Engineering at Florida Tech. Not terribly active, but enough to help at times. | |
Charles Stewart (T C) | Logic in computer science, history of computer science, design and implementation of programming languages | Post-doc | |
Chad Seibert (T C) | Computer Programming, C++, Web Development, Theoretical Computer Science, Robotics, Bioinformatics, Genetic Programming | Studying at the University of Minnesota, Morris. | |
Chrislk02 | Programming and databases. | Bachelors of Science degree and Career Programmer | |
Delirium (T C) | artificial intelligence and machine learning, particularly as applied to videogames and creative design | Ph.D. candidate | |
Chunhua Liao (T C) | core curriculum in computer science such as data structures, algorithms, computer architecture, compiler, parallel computing,etc | Ph.D. candidate | |
Charley Quinton (T C) | UML, Perl Object Environment, Groupware for building eCommunity (electronic communities) | I'm only a self-educated layman and CS enthusiast. | |
Chris Martin (T C) | Mostly whatever I happen to be learning about in classes at the moment; also some math topics. | Currently a CS undergrad at GA Tech | |
Chris Purcell (T C) | concurrency | Doing a PhD in Computer Science at Cambridge University, UK | |
Diana Cionoiu (T C) | application programing | Marketing/manager for company Null Team the developer of VoIP software Yate. | |
Cjoev (T C) | programming languages, Programming language theory, compilers, type systems, type theory (also type theory), formal semantics of programming languages, Standard ML | Instructor of CS at Pomona College; finishing a Ph.D. from Carnegie Mellon University. | |
Clangin (T C) | Using Soft Computing for Intrusion Detection | Security Analyst and Ph.D. Student | |
Cybercobra (T C) | programming languages, Python, Ruby, OOP, type system | CS Undergrad at UCSD | |
dchmelik (T C.) | everything. Traditional liberal arts def.: trivium: grammar & abstract logic (foundations.) quadrivium. integrated: algorithmics (math & temporality. The hacker ethics & (meta)physics ('music'.) | My main skill is in college grammar (English & computer sci/eng) & logic, and various high school - college CS. I only like DOS & POSIX OSes and enjoy electronics, Slackware, X/KDE, BATCH, C, SGML*, *sh, Prolog, asm, Lisp, esoteric science & AI. | |
DaanS (T C) | programming, Java, Computer Science | Computer science student at Eindhoven University of Technology | |
User:Dank55 | AI, robotics, science journalism | ||
David Eppstein (T C) | Algorithms, especially computational geometry and graph algorithms | CS Prof. @ UC Irvine | |
Daydreamer302000 (T C) | Grammer, technical writing, general article and discussion cleanup. I'm getting into article assessment as well. | Software Engineer in Manchester, UK | |
Dcoetzee (T C) | Algorithms and data structures, theory, programming languages, databases, graphics | Software developer in Seattle, WA | |
decltype (T C) | C++, Cryptography | ||
Deryck C. (T C) | Programming, in particular C++ and VB.NET | High school computer fanatic, HKOI team member | |
Donner Grigsby (T C) | Interested in Computer Engineer ,NASA ,Ares I-X, and Space Exploration | NASA Computer Engineer, CISSP, Master of Science in Applied Physics and Computer Science from Christopher Newport University (CNU), Bachelor of Science in Mechanical Engineering from Old Dominion University (ODU), NASA Engineering Technician Apprentice School (Langley Research Center), Systems Engineering and Integration Office Data Controller for NASA's Ares I-X Development Flight Test Vehicle, Subject Matter Expert for NASA's Digital Learning Network | |
Dzonatas (T C) | object-orientated design, virtual machines, dynamic compilers, AI, cybernetic biotech | Computer Science & Biotech | |
electricRush (T C) (Inactive) | Computer science; programming in C# and designing websites; also an expert in TI calculators. Interested in physics and mathematics. | ||
EngineerScotty (T C) | programming language theory, object-oriented programming, type theory, runtime environments, Compiler theory | BSCS, BSEE, MSEE from Oregon State University, PLT junkie. | |
evanx (T C) | Java, computational theory, object-oriented programming, network design, HCI | Undertaking Specialist in Computer Science: Software Engineering at University of Toronto | |
ezrakilty | programming languages, operational semantics, software engineering, web programming | PhD student, University of Edinburgh | |
Faiz (T C) | C, C#, VB.NET, SQL, UML, SDLC, CS ethics, | B.Tech. in Computer Science & Engineering, currently working as Software Engineer | |
Fasten (T C) | C, C++, Java, CS ethics, technological impact assessment | http://savannah.gnu.org/users/fasten | |
FearedInLasVegas (T C) | Computational Theory, Automata, Logic, Information Theory | CS Undergraduate | |
FirebrandCK (T C) | Advancing the Software Architecture discipline, software engineering, measuring the impact of project politics on the SDLC. | Software Architectecture practitioner. MS in Software Engineering (Carnegie Mellon University). Microsoft MVP - Solutions Architect. SEI recognized Software Architecture Professional. | |
FinalMinuet (T C) | Object-oriented programming, UML, Java, Computer programming, 6502, GUI | I'm a computer science major at the University of Iowa and a C# programmer by occupation. I have experience in both composition and editing. | |
fintler (T C) | Assembly, C, Robotics, Distributed Computing, Linear Algebra, Combinatorics, Graph Theory | Student at Temple University and regional development for the US Government. | |
ftbhrygvn (T C) | Game Design, Computer programming and Scripting | none | |
Gary King (T C) | |||
George Marselis (T C) | ? | Double BS in Computer Science and Applied Mathematics, NJIT | |
General Eisenhower (T C) | I like to get on computers of all sorts. | NONE | |
Gflores (T C) | software engineering, object-oriented design, C#, UML, Graph theory | Junior in CS at Baylor University | |
Gleb (T C) | Simplicity | Random Engineer, MS CS | |
Grey Knight (T C) | Lots, but for now am concentrating on Lisp articles | Sometimes edits as tiny plastic Grey Knight (C) | |
Groupthink (T C) | Artificial intelligence, ERM, algorithms | BS from DePaul U., MS candidate at Texas State U. | |
Helohe (T C) | Mathematics, Computer Science, Programming, C++, Java, Assembly, Algorithms | ||
HHWhitePony (T C) | Visual BASIC, C++, software design, debugging | CS student at Sinclair Community College, AS degree in progress. | |
Ideogram (T C) | Programming paradigms, Programming languages, Operating systems, Computer architecture, Parallel computing, Distributed computing, Relational databases | I don't know a lot technically but I am good at copyediting and cleanup | |
Iknowyourider (T C) | Computer vision, a little Bioinformatics | ||
Inkington (T C) | C/C++, Java, PHP, algorithms, (X)HTML, some assembly code and some basic hardware design. | Currently a Computer Science undergrad at TCD. | |
Isikari (T C) | Whatever it is I'm delving into at the moment, for the moment primarily Java, C, Linux | Currently a CS undergrad. | |
JamesR (T C) | HTML and some PHP / MySQL. I am gradually also learning more languages such as C++. | NONE | |
James Bond (T C) | Anything that concerns the Computer Science area. | Currently Undergraduate at the University of Canterbury studying towards a BS in Computer Science. | |
JA.Davidson (T C) | System Architecture, Information Security System Security Engineering | ||
Jason Carreiro (T C) | All aspects of computer science and software engineering. | Software Development Engineer at Microsoft; BA in Comp Sci from Boston University. | |
Jesuschrist Superstar (T C) | computer generated graphics, augmented reality, robotics (mobile robots, robocup), digital electronics | B.S. Computer Engineering, UNAM. M.S. Computer Science and Engineering, IIMAS. | |
Jmsevits (T C) | Java, Perl, Web Programming, UI Engineering, Ergonomics, Human-Computer Interaction, Ethics and Cultural Impacts of Technology. | Computer Science undergraduate at North Carolina State University minoring also in political science. | |
John Pritchard (T C) | Interaction with respect to programming languages and software architectural theory (e.g. REST) | A Software Engingeer trained in Economics, working primarily in Java. | |
John Luetke (T C) | Programming, Embedded Systems, writing low-level functions | Studying for a Bachelors in CS at Marquette University </nowiki> | |
Jonathan Fluck (T C) | Progamming, C, C++, C#, and Software Engineering | I am currently a Software Engingeer for a company that designs and develops medical test instruments. | |
User:jtienter (T C) | Information Theory | ||
Jtkiefer (T C) | JavaScript, HTML, CSS Computer security Networking hardware Distributed computing | There's no place like 127.0.0.1 | |
JulesH (T C) | Compiler technology, Operating system kernels | BSc CS from University of Warwick | |
Justin (T C) | script kiddie, Linux, heterogeneous networks, computer networking and technical translation | AAS in Computer Networking Technology from WakeTech, BS candidate in physics | |
Kaine I (T C) | Minor computer programming, data compression, and general developement. | A mostly self-taught programmer, though still a neophyte of that facet (however determined). | |
Kbdguy (T C) | Operating Systems, Networking, Databases, Trading Systems. | Computer Science Bachelor and Senior Trading System Specialist in Investment Bank. (Covering Operating Systems, Database and Networking Technologies). | |
Leland McInnes (T C) | formal specification, type theory | Ph.D. candidate in Mathematics with interests in applications of Category theory and algebra to Computer Science. | |
Liberatore (T C) | artificial intelligence | ||
Linas (T C) | Topological dynamics, monoids, free objects, quantum finite automata,geometry, topology,algebra | PhD Physics, devolved into general Linux hacker with AI and general math interests; this week, at IBM. | |
M2Ys4U (T C) | A Jack of all trades | Has A-Levels in Computing, Maths and Physics | |
Malin Randstrom (T C) | Network Computing, Trading Systems Design, Electronic Trading, Scientific Computing | Mathematics and Computer Science major at Uppsala University with a speciality in Artificial Intelligence | |
Matt Oates (T C) | Where Computer Science meets Biology, specifically artificial life and genetic algorithms. | Computer Science and Artificial Intelligence graduate at University of Bristol working on a PhD in Complexity Sciences. | |
Michael Collie (T C) | All aspects of accessible web development/design & i'm thirsty to learn as many programming languages in my life time as possible, I am currently building a search engine & in the future I am interested in developing an open-source operating system. | I'm only 16 so no degrees yet, i'm currently working towards a higher computing studies qualification at high school and an advanced computing studies qualification next year. I will be going to university possibley abroad in either Ireland or Norway. | |
Metaleks (User_talk:Metaleks C) | Algorithm design, information secuirty, software development. | Currently studying at the University of Toronto. | |
Metatinara (T C) | User interface, usability, ASP.NET, Python, and general web programming. | Currently studying at Capital University. | |
Mgreenbe (T C) | theory: PLT, model checking; functional programming, anything without curly braces | Brown University (presently at the Technion) | |
Nachothecheesyone (T C) | Computing History, Internet Markup and Languages, and gleeful over the end of the BLINK tag. | My user page says it all. | |
Morana (T C) | Digital signal processing, Theoretical computer science, Assembly programming | Programmer at a company developing custom multimedia applications for phones / PDAs. | |
NDCompuGeek (or just "The Geek") (T C) | Information Management (document creation, manipulation, editing and layout, printing), Information Technology (CTI, cellular and wireless technologies, networking; pretty much anything that has to do with information moving from one place to another) | I've been in the CS and IT fields since 1982. I don't claim to be an expert in everything, but if you want to know something, the chances are pretty good that I either know the answer from experience or I can reference my IT library (of over 5,000 books) to get you the answer. | |
NerdyNSK (T C) | theory, discrete mathematics, graph theory, AI, algorithms, genetic algorithms, programming, Ergonomics, HCI, software engineering | Bachelor of Science (Honours) in Computer Science, Free Libre Open Source Software contributor, worked on European Union projects in the past, now an independent IT consultant and entrepreneur. | |
Niaz (T C) | Algorithm, Programming, Distributed systems, Networking and Wireless Communication | Postgraduate student in the department of Computer Science at Trinity College Dublin. | |
NotQuiteEXPComplete (T C) | compilers, operating systems, processor architecture, languages, parallelization, strong type systems, distributed systems | Currently an undergrad in CS at Caltech | |
Oravec (T C) | computer science, discrete mathematics, T-theory | Bachelors in Computer Science. | |
Ozgurgerilla (T C) | Data Structures, Theory of Computation, Programming Languages, Discrete Mathematics and Cryptography | Compsci student at KCL | |
DSParillo (T C) | Process, Modeling, AI, Automation | Software Developer, San Diego, CA | |
Pegasus1138 (T C) | Programming languages, Windows, Unix, BSD, HTML | All your base are belong to us | |
Matt Peteritis (T C) | Most aspects of Computer Science | ||
powo (T C) | Complexity, distributed algorithmics, mathematics | Ph.D in CS, currently post doc-ing | |
Pradeep Arya (T C) | Everything computer science but especially artificial intelligence, cryptology, information theory, software engineering, and theory of computation. | BS Computer Sciences, University of Wisconsin-Madison. Began programming at age 5 on a Commodore 64, 22 years later still going strong. | |
Professor Olson (T C) | Various obscure languages, history of computer science, as well as more modern interests such as open source software and how it develops. | Looking forward to seeing what I can do on CS pages in what spare time I have. | |
Quarl (T C) | ? | PhD candidate in Computer Science | |
QTJ (T C) | Parsing, formal languages, compiler-compilers, general CS | NONE | |
Raph G. (T C) | 3D Interaction, Virtual Reality, Augmented Reality (expert), Mixed Reality. | Phd in Computer Science. Senior Researcher. | |
Ray-Ray (T C) | I like to get on computers of all sorts. | NONE | |
Rob Wahl (T C) | Database management, network security, and all other areas of computer science that I have time to research & I am currently a college student in Washington State USA working towards a BA in English and a BS in Computer Science and I am taking upper division classes in both | NONE | |
Robert Whitcomb (T C) | Computational Theory, Algorithm Design and Analysis, Programming Language Design, Operating Systems, Hardware | Dual BS/MS from the Rochester Institute of Technology. | |
rspeer (T C) | Natural language processing, AI, Structure and Interpretation of Computer Programs | CS major at MIT | |
Rursus the semi-troll (T) |
everything (don't forget the humans!) | Maths·50, CompSci·200. Lesser hacx0r (Lawful Good). | |
Ruud (T C) | theoretical computer science, Haskell | Student in mathematics and computer science at Utrecht University | |
sahra (T C) | computer science esp programmimg in C,C++,JAVA,software engineering AND mathematics concepts calculus,algebra etc | i study at the Kenya methodist university and it is my dream that i do what i love most and enjoy and further my knowledge in the evolving technology. | |
Sapeur (T C) | Computational complexity | ||
Scope_Creep (T C) | Compiler Theory, Programming Languages, Formal Methods particularly with Semantics, Computer Architecture, .NET and C# | BSc(Hons) Computer Science and Microsystems. | |
Shreevatsa (T C) | algorithms, complexity, programming languages | Was undergrad in maths and CS. | |
Sigmalmtd (T C) | Most areas of Computer science | CS Student at Rice University | |
SilverStar (T C) | Programming languages, algorithms, AI | none | |
SolelyFacts (T C) | Almost everything, with focus on Information Systems and related | Information Systems (IS) Major | |
Some Old Man (T C) | General Interest | I am just Some Old Man who likes his cane, rocking chair, and rational thought. | |
Stan Shebs (T C) | programming languages, compilers, Lisp, AI, History of computing | PhD CS Utah 1988, now GNU hacker for Apple | |
stevekimcomcastnet (T C) | Lisp, AI | CS Utah 1990, just like to use logic and patterns. I am specially interested in understanding relationship between context semantic language patterns via logical/perception vision. | |
Simon Eichenauer (T C) | web technologies, social networks, pattern, security, tamper-resistant audit data | Work as a software engineer for Kinamik Data Integrity | |
sungur (T C) | Software Engineer & Architect, Areas of Interest: Design Patterns, Object Oriented Methodologies, Software Architectures, CORBA [email: darkstar29@gmail.com] | B.S. in Electrical and Electronics Engineering, M.S. in Information Systems | |
Takhisis (T C) | Design Patterns, Object Oriented Methodologies, Robotics, AI | M.S. in Electrical and Electronics Engineering, specialising in Robotics and AI | |
Tanjstaffl (T C) | UNIX kernel SMP and NUMA, Computer Security, Arpanet, Computer forensics, takedown | BA CIS, 20 years IT security experience, uber-hacker | |
Thunder (T C) | All aspects of computing and programming | Currently taking an advanced level course in computing | |
TaborL (T C) | Programming, Networking, a little bit of graphic/web design here and there | Currently a MIS student with an emphasis on networking, previously computer programming. </nowiki> | |
Tompsci (T C) | computer insecurity, computer security, programming, Java, Operating systems, Compiler theory | 2nd year Compsci student at Cambridge University | |
Toussaint (talk · contribs) | software, operating systems, web design | Diploma program in Internet Specialist - Website Design at Middle Georgia Technical College | |
Tparameter (T C) | differential equations, numerical analysis, complex analysis, computer science | B.S. Applied Math & B.A. Computer Science. | |
Twistme (T C) | Most areas of computer science | 3rd year CS student at Oxford University | |
Warrush (T C) | Anything really. | Assistant district technology coordinator at Erie High School in Erie, Kansas. | |
WDavis1911 (T C) | Mostly machine learning, pattern classification, etc. | We like the moon, 'cuz it is close to us. | |
Widefox (T C) | Broad technical interest in computer science and software engineering, especially Linux, and kernels | SMP since 2.0.x | |
Xsmith (T C) | software engineering, measurement, process improvement | BS CS Duke University, MS CS Naval Postgraduate School | |
Zawersh (T C) | Most areas of computer science, including AI and programming languages; miscellaneous | CS student working towards BS at Eckerd College; AST in Computer Programming from Allentown Business School | |
ZeWrestler (T C) | ? | Compsci student at Montclair State University | |
xDanielx (T C) | Windows and Linux programming, server back-end programming, game development, database programming, algorithms, computer graphics, etc. | I like cheese. | |
Debeo Morium 20 August 2007 (UTC) | All topics but a focus on Artificial Intelligence | ||
Ojii-san (T C) | Bioinformatics, genomics, computer graphics, functional languages | PhD candidate in Biophysics at Ohio State University | |
User:Susanlesch (T C) | computer science | no comments at this time | |
User:Dannygutters (T C) | |||
venu gopal (T C) | software engineering,computer networks,network security intrested in new technologies | completed engineering in computer science | |
Indeterminate (T C) | Linux, AI, networking | ||
— master sonT - C | Software engineering, op systems, various programming languages | BS in Software Engineering May 2008 | |
L46kok (T C) | Interested in most areas of computer science and programming languages. | Senior majoring in Computer Engineering at University of Wyoming. | |
Atyndall (T C) | Nearly all areas of CS | I'm going to try and write articles that need to be created. | |
Matthew Orlinski (T C) | Networking and complexity theory. Recently reading about Number theory and Cryptography | :) | |
Tinucherian (T C) | Computer networks ,programming | Software Engineer from Bangalore | |
Vikram Gaur (T) | Mathematics and Computer Science (Software Engineering, Windows Programming) reading about Linux | 2nd Year Computer Engineering Student from MNIT, Jaipur | |
halon (T C) | Hacking, A.I. Research, SAP | L6. | |
Tolkien_fan (T) | Anything computer science-related | Nothing yet | |
Tyw7 (T C) | Security software Symantec and anything computer related | I know how to write in MediaWiki Language | |
Weclome12 (T C) | cmd | I know a few commands | |
johng1970 (T C) | Primaraly Programming, Embedded systems and 80x86 Based Arcitechtures | Mainly Hobby, I have done some contract programming and computer repair work.Johng1970 (talk) 21:59, 9 June 2008 (UTC) | |
Diego Moya (T C) | Constraint programming, Programming language theory, Human-computer interaction | Software engineer in Spain | |
Delmania (T C) | Computational Theory, Programming language theory, Operating Systems | Application Developer | |
Unforgiven24 (T C) | Web Development, Databases, Programming, Linux, Most anything else CS and computer related. | Web Developer. BS in Computer Science in August 2008, Wayne State University | |
Thomas E. Acker (T) | Virtualization, Unattended Installation, Data Protection | BSBA University of Denver, Systems Engineer (MCSE) MSFT | |
Myrecovery (T) | Computer Programming, Software Development, Security. | ||
Tzeentch42 (T C) | Physics, Science Fiction, Math, Science, and Computers. | Glad to join the crew! </nowiki> | |
Bharathprime (talk) | VBA, Math, Science, and Computers | Happy to join the team | |
Vuerqex (talk) | |||
Sergio Ledesma (T C) | Artificial Intelligence, Artificial Neural Networks, Programming language | Ph.D., from Stevens Institute of Tech. and Software engineering in U.S. | |
Mjquin_id (T C) | Programming, New ideas, process | Since 1987 </nowiki> | |
Radu Grigore (T C) | Program verification, Programming languages, Algorithms | PhD student in University College Dublin |