جستجوی استاد راهنمای دانشگاهی

• Environmental Economics
• Spatial Econometrics
• Regional Economics
• +۳ مورد دیگر

Henk Folmer is a part-time Professor at the Faculty of Spatial Sciences, University of Groningen , with concurrent part-time roles at Wageningen University and Tilburg University. He serves as Editor-in-Chief for multiple journals including The International Review of Environmental and Resource Economics and Letters in Spatial and Resource Sciences , and holds advisory positions at institutions like the Regional Research Institute West Virginia University . His research spans environmental economics, spatial econometrics, and game theory. Education: Not explicitly mentioned Research interests include: Environmental and resource economics Spatial econometrics and regional modeling Game-theoretic approaches to environmental problems Climate change policy and sustainable development Resource management in developing countries Methodological aspects of regional science Recent publications focus on spatiotemporal forecasting models, Bayesian risk prediction for pandemics, environmental policy impacts, and applications to air quality in Jakarta and epidemiology in Indonesia. His scientific awards include a Fulbright Scholar grant, Honorary Doctorate from Gothenburg University, and Honorary Professorship in China. Teaching includes courses in Microeconomic Theory, Environmental Economics, and Spatial Econometrics. He has supervised over 25 PhD theses on topics ranging from agricultural sustainability to climate policy and regional inequality. His professional service includes founding the European Association of Environmental and Resource Economics and advising the Dutch government on Wadden Sea policy.

• Soybean Genetics
• Plant Breeding
• Drought Tolerance
• +۵ مورد دیگر

Dr. Benjamin Fallen is a Research Geneticist at the USDA-ARS Soybean and Nitrogen Fixation Research Unit in Raleigh, NC, and concurrently serves as Assistant Professor at Clemson University's College of Agriculture, Forestry and Life Sciences, Department of Plant and Environmental Sciences. He leads the Soybean Breeding and Genetics program focusing on genetic solutions for improved soybean production. Educational background includes: Ph.D. in Plant Sciences (Soybean Breeding & Genetics) from University of Tennessee (2012) M.S. in Plant Sciences from University of Tennessee (2009) B.S. in Crop and Soil Environmental Sciences from Virginia Tech (2006) Research expertise spans: Genetic diversity enhancement : Utilizing wild soybean germplasm to improve pest resistance, seed composition, and stress tolerance Drought tolerance mechanisms : Developing slow-wilting soybean lines that increase yields by 5-8 bu/ac under stress Flood tolerance : Investigating connections between drought and flood response pathways Seed quality improvement : Enhancing oleic acid, meal protein, and oil content traits Recent publications (2018-2020) predominantly focus on soybean stress tolerance mechanisms, genomic selection strategies, pest resistance, and lipidomic responses to environmental stresses. Research demonstrates strong emphasis on field validation of genetic improvements. Professional activities include extensive collaboration networks and development of 6 commercial soybean varieties. Manages field evaluation programs screening thousands of soybean lines annually for stress tolerance traits.

Mohammad Ali Darvishمشاهده پروفایل

مدرس ارشد

• Software Engineering
• Software Testing
• Computer Science Education
• +۲ مورد دیگر

Mohammad Ali Darvish is a Senior Lecturer in the Department of Computer Science at Johns Hopkins University , specializing in software engineering , software testing , and computer science education . He has held teaching positions since at least 2006 and currently works from Malone Hall in Baltimore, Maryland. Education PhD in Computer Science (2015), Iowa State University MSc in Software Engineering (2010), Chalmers University of Technology, Sweden His research focuses on improving software testing methodologies , particularly for graphical user interfaces , and developing automated testing frameworks . He also contributes to computer science education reform , most notably through the Gateway Computing curriculum for engineering majors. Recent publications demonstrate expertise in: GUI Testing (2014-2015) Health Informatics (2011) Software Verification (2010) AI Research Frameworks (2006) Contact: darvish@jhu.edu | Department Website | Google Scholar

Georg Weissenbacherمشاهده پروفایل

استاد

• Formal Methods in Systems Engineering
• Software Verification
• Concurrency
• +۵ مورد دیگر

Georg Weissenbacher is a Professor at Vienna University of Technology , affiliated with the Network Lab and the research area of Formal Methods in Systems Engineering . His academic work focuses on software verification , formal methods , and concurrent systems . University: Vienna University of Technology Research Area: Formal Methods in Systems Engineering Academic Rank: Professor Education: D.Phil. Univ.Prof. Dipl.-Ing. Research Interests : Weissenbacher's work centers on formal verification techniques for software and hardware systems. Key areas include: Hyperproperties : Analyzing properties of systems involving multiple execution traces, such as security and robustness. Model Checking : Applying bounded model checking to automotive software (e.g., AUTOSAR components) and concurrent systems. Symbolic Execution : Leveraging symbolic execution for bug detection in programs with complex behaviors like speculative execution. Concurrency Bugs : Formalizing heisenbugs and developing methods to extract safe thread schedules from incomplete model checking results. Automated Reasoning : Improving interpolation-based techniques and SAT solvers for program analysis and fault localization. Publication Trends : His recent articles (2024-2025) emphasize symbolic execution for hyperbug detection, machine learning in security verification, and automotive software validation. Earlier works (2023-2021) explore model checking , mutation testing , and concurrent system analysis . Projects : He leads initiatives such as: Abstraction-based Parameterized TLA Checker Bit-level Accurate Reasoning and Interpolation Tools for Concurrent and Distributed Systems LogiCs-Stipendien (Formal Methods in Computer-Aided Design) Collaboration and Supervision : Weissenbacher co-edits conference proceedings (e.g., FMCAD 2023 , CAV 2018 ) and supervises students in formal verification, including Andreas Fellner (model-based mutation testing), Emmanuel Pescosta (speculative non-interference), and Tobias Nießen (hyperproperty counterexamples).

KC Sivaramakrishnanمشاهده پروفایل

استادیار

• Functional Programming
• Language Runtimes
• Concurrency
• +۵ مورد دیگر

KC Sivaramakrishnan is an Assistant Professor at the Indian Institute of Technology Madras and Chief Technology Officer (CTO) of Tarides. His research focuses on the intersection of programming languages and systems, particularly in the areas of Functional Programming , Language Runtimes , Concurrency/Parallelism/Distribution , and Weak Memory/Consistency .

Burcu Kulahcioglu Ozkanمشاهده پروفایل

استادیار

• software testing
• program analysis
• concurrency
• +۵ مورد دیگر

Burcu Kulahcioglu Ozkan is an Assistant Professor at Delft University of Technology (TU Delft), Netherlands, where she leads the FORSE (Lightweight Formal Methods for Software Engineering) lab and co-directs Ripple's UBRI blockchain research initiative. Her research bridges formal methods and software engineering to enhance reliability in concurrent/distributed systems, blockchain, and software testing. Research Focus: Her work spans model checking, fuzzing, concurrency debugging, and distributed systems verification. Key interests include developing automated tools for testing blockchain implementations, randomized testing methodologies, and fault injection techniques. She integrates runtime data with AI to improve software quality through the TU Delft-JetBrains AI4SE collaboration. Recent Publication Trends: Her 15 most recent articles emphasize fuzzing techniques (e.g., model-guided fuzzing), blockchain consensus testing (Ripple, Byzantine fault tolerance), concurrency bug analysis (Kotlin Coroutines), and graph database verification. Work consistently applies formal methods to real-world distributed systems. Awards & Honors: Amazon Research Award (2023) for coverage-directed testing of distributed systems Stellar Academic Research Grant (2023) for blockchain fault injection Best Software Science Paper at ICGT'25 for graph database fuzzing Students & Funding: Advises PhD/Master's students (e.g., Melchior Oudemans, Levin Winter) on distributed systems testing. Research supported by Amazon, Stellar Development Foundation, and Ripple. Leads teams in FORSE lab and UBRI blockchain projects. Leadership: Regularly serves on PCs for ICSE, OOPSLA, CAV; keynote speaker at FORTE'25; co-chairs workshops (e.g., DEBT'25). Develops open-source tools like DSTest for concurrency testing.

José Eduardo Maté Sánchez de Valمشاهده پروفایل

استاد

• Biomaterials Engineering
• Dental Implantology
• Periodontics
• +۳ مورد دیگر

Prof. Dr. José Eduardo Maté Sánchez de Val serves as Professor of Biomaterials Engineering and Deputy Director of the Chair of Biomaterials Engineering at Catholic University of Murcia (UCAM), concurrently holding the position of Co-Director for the Master's Degree in Implantology, Periodontics, Bone and Tissue Regeneration and Implant-Supported Prosthetics within the Department of Surgery, Implantology and Periodontics. His academic credentials include: PhD in Bioengineering Doctor of Dentistry Graduate in Dentistry Postgraduate in Prosthodontics and Occlusion Postgraduate degree in Animal Protection and Experimentation (Categories B and C) His research integrates biomaterials science with clinical dentistry, specializing in novel ceramic composites for bone regeneration and dental implant optimization. Key focus areas include dicalcium silicate bone cements, Si-aTCP scaffolds, and cervical implant designs that enhance peri-implant tissue integration. His work bridges experimental materials engineering with translational dental applications, emphasizing biomechanical performance and tissue response. Publication analysis reveals consistent experimental methodology using rabbit tibia models and powder metallurgy techniques to evaluate ceramic composites. Research trends emphasize in vitro/in vivo validation of doped alpha-TCP systems for bone regeneration, with growing interest in problem-based learning frameworks for implantology education. As Co-Director of UCAM's Master's program, he oversees advanced training in implantology and tissue regeneration. His research group Research in Clinical and Experimental Dentistry drives preclinical studies translating biomaterial innovations into clinical dental practice, with emphasis on hard/soft tissue behavior around implants.

Jaime Ariasمشاهده پروفایل

پژوهشگر

• Formal Methods
• Interactive Systems
• Concurrency
• +۵ مورد دیگر

Jaime Arias is a CNRS Research Engineer affiliated with the SAFER research group at LIPN (Laboratoire d'Informatique de Paris Nord) at Université Sorbonne Paris Nord. His work focuses on formal methods and interactive systems, particularly in verifying concurrent and multimedia systems. Education: PhD in Computer Science (2015, Université de Bordeaux), Engineer degree in Computer Science and Electronics (2013, Universidad Javeriana). His research spans formal specification, verification of concurrent systems, and interactive multimedia applications. He actively contributes to academic committees, including artifact evaluation at POPL, ICFP, and PLDI conferences. Jaime's recent work involves symbolic analysis for test path generation and formal verification of parametric timed automata. His projects, such as PISTACHE and MEASURE, explore state-space reduction and formal models for music improvisation. He leads initiatives at LIPN, including the Software Committee and Development Team, and collaborates with the AVISPA research group. His grants include funding from Université Sorbonne Paris Nord and MSH Paris Nord for formal methods and multimedia projects.

Clément Aubertمشاهده پروفایل

دانشیار

• Formal Methods
• Complexity Theory
• Reversible Computing
• +۴ مورد دیگر

Clément Aubert is an Associate Professor with tenure at Augusta University's School of Computer and Cyber Sciences. He specializes in formal methods, complexity theory, and reversible computing, with significant contributions to concurrency theory and implicit computational complexity. His research bridges theoretical computer science with practical applications in programming languages and security. Aubert's research focuses on reversible concurrent calculi, computational complexity analysis, and formal verification. His work explores how reversibility can provide insights into traditional computing problems, with applications in security protocols and distributed systems. He has developed static analysis techniques like the mwp-analysis for determining polynomial growth bounds in programs, contributing to the field of implicit computational complexity. His publication record shows consistent contributions to top theoretical computer science venues including CONCUR, RC (Reversible Computation), and POPL-affiliated workshops. His research combines deep theoretical insights with practical implementations, as evidenced by tools like pymwp. The publications demonstrate a clear trajectory from foundational work in complexity theory to applied research in concurrency and security. Tenure at Augusta University (2023) NSF funding for 'Concurrency in Reversible Computations' project Two research grants from Augusta University Research Development Travel Grant for NSF visit Aubert actively mentors students including Neea Rusch, Assya Sellak, and Gabriele Cecilia. He has organized multiple ICE (Interaction and Concurrency Experience) conferences and served on numerous program committees. His research group focuses on reversible computing implementations and complexity analysis tools. He collaborates extensively with researchers across Europe and the United States, maintaining strong connections with French institutions through CNRS.

Junghwan Rheeمشاهده پروفایل

استاد

• System Security
• System Reliability
• System Diagnosis
• +۹ مورد دیگر

Junghwan Rhee is a Professor and Assistant Chair in the Department of Computer Science at the University of Central Oklahoma, where he also serves as Director of the Center for Cybersecurity Leaders, Education, and Research (CLEAR) and Assistant Director of the Center for Research and Education in Interdisciplinary Computation (CREIC). Previously, he spent nine years as a senior researcher and security team lead at NEC Laboratories America. Ph.D. in Computer Science from Purdue University (2011) M.S. in Computer Science from The University of Texas at Austin (2005) B.S. in Electrical Engineering from Korea University, Seoul, South Korea (2003) Dr. Rhee's research focuses on System Security and Reliability, tackling challenges in System Diagnosis, End-host Security, and System Provenance through program analysis, runtime systems, operating systems, and increasingly AI techniques. His work bridges theoretical security concepts with practical applications in enterprise environments, IoT, and cyber-physical systems. He has developed innovative approaches for malware detection, system provenance analysis, and security diagnostics that have been adopted in both academic and industry settings. An analysis of his recent publications reveals a strong trajectory toward applying machine learning to traditional security problems, with significant work in autonomous vehicle security, embedded systems security, and enterprise threat detection. His research consistently appears in top-tier security venues including IEEE S&P, NDSS, and USENIX Security, demonstrating both technical depth and practical relevance to real-world security challenges. Dr. Rhee has received several prestigious awards including the 2017 and 2015 Business Contribution Awards from NEC Laboratories America and the 2016 CEATEC Award. 2017 Business Contribution Award. NEC Laboratories America, January 2018 2016 CEATEC Award, October 2016 2015 Business Contribution Award. NEC Laboratories America, April 2015 He actively mentors students through research assistantships and has developed a strong cybersecurity program at UCO, including courses that align with industry certifications like CompTIA CySA+, Pentest+, and Security+. Dr. Rhee serves on program committees for major security conferences including NDSS, ESORICS, and ACM ASIACCS, where he has held leadership roles such as Technical Program Chair for SERA conferences. As Director of CLEAR, Dr. Rhee leads initiatives that integrate cybersecurity education, research, and workforce development, creating hands-on learning experiences that prepare students for real-world security challenges.

Cameron Downingمشاهده پروفایل

مدرس

• Reading Development
• Writing Development
• Dyslexia
• +۵ مورد دیگر

Dr Cameron Downing is a Lecturer in the Department of Education at the University of York. He holds a PhD in Psychology and completed post-doctoral training at Bangor University. Prior to his current role, he taught at Bangor University and Leeds Trinity University. Education: PhD in Psychology Post-doctoral training at Bangor University Dr Downing's research focuses on understanding typical and disordered reading and writing development. Key areas include: the co-development of spelling and handwriting skills, disorders like dyslexia affecting literacy acquisition, and the creation/evaluation of school-based assessment and intervention tools. His methodological approach combines correlational studies and experimental designs, including randomized controlled trials. Recent research outputs include the development of the Spelling and Handwriting Legibility Test (SaHLT), investigations into remote literacy instruction efficacy, and studies on handwriting fluency correlations with cognitive skills. His work bridges cognitive psychology and educational practice, emphasizing practical applications for teaching professionals. Scientific Awards & Funding: Economic and Social Research Council (ESRC) Welsh Government Nuffield Foundation Waterloo Foundation Dr Downing supervises PhD students interested in literacy development disorders, educational interventions, and assessment tool validation. His laboratory work focuses on creating evidence-based literacy solutions for schools. Contact: cameron.downing@york.ac.uk, D/L/207, Department of Education, University of York, YO10 5DD, UK.

• Geothermal Energy
• Thermal Engineering
• Biomass Drying
• +۳ مورد دیگر

Pedro José Casanova Peláez serves as a University Professor in the Department of Electronic and Automatic Engineering at the University of Jaen, Spain. His research activities are centered within the Mechanical and Energy Engineering research group, where he investigates thermal processes and renewable energy systems with emphasis on sustainable industrial applications. His academic foundation includes a PhD from the University of Jaen (2009), awarded for his thesis "Contribution to the analysis and modeling of the drying process of wet olive pomace" under the supervision of Dr. Fernando A. Cruz Peragón and Dr. José Manuel Palomar Carnicero. Dr. Casanova's research program integrates geothermal energy systems and biomass processing technologies. He has pioneered experimental methodologies for vertical ground heat exchangers, developing advanced thermal response testing protocols and uncertainty quantification frameworks. Concurrently, his work on olive oil industry byproducts focuses on drying kinetics of olive pomace and olive stone, establishing critical parameters for moisture diffusivity and energy-efficient biomass valorization. These dual research streams converge in sustainable energy recovery systems for agricultural waste. Analysis of his publication trajectory reveals a strategic shift toward geothermal engineering since 2020, with five high-impact papers on thermal response functions and heat exchanger characterization. This complements his foundational work on biomass drying (2008-2019), demonstrating consistent expertise in experimental thermal engineering across multiple renewable energy domains. His laboratory contributions include the development of specialized equipment such as experimental rotary dryers for olive stone processing, ground thermal response test devices, and FPGA-based solar tracking systems. These innovations reflect his hands-on approach to bridging theoretical modeling with practical engineering solutions for renewable energy implementation.

Daniel Andersonمشاهده پروفایل

استاد آموزشی

• Parallel Computing
• Algorithm Design
• Concurrent Memory Management
• +۴ مورد دیگر

Daniel Anderson is an Assistant Teaching Professor in the Computer Science Department at Carnegie Mellon University's School of Computer Science. He teaches Algorithm Design and Analysis (15-451) and previously taught at Monash University in Australia. His academic journey includes a PhD from CMU under Professor Guy Blelloch and a Bachelor of Science (Honours) in Applied Mathematics from Monash University. His research spans multiple areas of computer science with a strong focus on parallel computing. Anderson develops practical libraries like ParlayLib to make parallel programming more accessible, works on concurrent memory management techniques including "smarter atomic smart pointers," and explores parallel graph algorithms. His work bridges theoretical algorithm design with practical implementation challenges, particularly in making high-performance parallel computing more approachable for programmers. Anderson's publications reveal a strong trajectory in parallel algorithms and memory management, with significant contributions to wait-free algorithms, reference counting techniques, and batch-dynamic data structures. His research consistently appears in top venues like PLDI, SPAA, and EuroPar, demonstrating both theoretical rigor and practical relevance. Recent work focuses on making reference counting as efficient as manual memory reclamation while maintaining usability. Scientific Awards: Herbert A. Simon Award for Teaching Excellence in Computer Science (2024) Alan J. Perlis Graduate Student Teaching Award (2022) While Anderson currently focuses primarily on teaching, he remains active in research supervision, particularly for undergraduate and master's projects related to parallel computing. His work with the ParlayLib research group continues to advance the state of parallel programming tools. Anderson also has experience coaching the Monash University Programming Team for the International Collegiate Programming Contest (ICPC) and serving as a judge for South Pacific Programming Contests.

• Distributed computing
• Systems software
• Information systems
• +۶ مورد دیگر

Jade Alglave is a Professor of Computer Science at University College London, working within the Department of Computer Science. She is affiliated with the PPLV research group led by Peter O'Hearn, focusing on foundational aspects of programming languages and verification. Her work bridges the gap between theoretical computer science and practical systems implementation, particularly in the domain of memory models and concurrency. Alglave's research spans distributed computing, systems software, information systems, theory of computation, and software engineering, with a particular emphasis on weak memory models and concurrent systems . Her work develops formal methods for specifying, verifying, and testing memory models across various hardware architectures including ARM, POWER, and x86. She has made significant contributions to understanding the formal semantics of concurrent programming and has developed tools like the diy7 suite for generating and analyzing litmus tests that expose subtle concurrency behaviors. Her publications reveal a consistent research trajectory focused on creating rigorous formal frameworks for understanding weak memory behaviors, with applications to hardware verification, compiler design, and operating system development. The work has significant implications for ensuring correctness in concurrent and parallel systems where memory consistency is critical. Alglave actively contributes to the research community through professional activities including serving as a conference referee for major venues, participating in the ERC member DAC, reviewing for journals like TOPLAS, serving on program committees for JFLA and PLDI, and organizing workshops like CAV.

• Microfluidic Technology
• Tissue Engineering
• Stem Cell Research
• +۳ مورد دیگر

Ken-ichiro Kamei is a Professor at Shenyang Pharmaceutical University's Wuya College of Innovation and holds concurrent Associate Professor roles at New York University (Tandon School of Engineering and Faculty of Arts & Science) and Kyoto University's Institute for Advanced Study. His research focuses on integrating microfluidic technology with stem cell biology to advance organ-on-a-chip platforms and drug discovery systems. Key Research Areas: Microfluidic Technology, Tissue Engineering, Human Pluripotent Stem Cells, Bioengineered Disease Models, Drug Delivery Systems, and Multi-Organ Microphysiological Systems. His recent publications emphasize 3D bioprinting, liver disease modeling, and cancer nanotherapy, with a trend toward temperature-regulated stem cell differentiation and solvent-free microdevice fabrication. Peer review activity spans journals like Lab on a Chip and Biomaterials . His work has been supported by multiple Japan Society for the Promotion of Science grants, including projects on synthetic biology, tissue engineering, and microenvironmental control of cell regulation. He has also contributed to developing corneal epithelium-on-a-chip systems and heart/liver microdevices for drug toxicity testing.